Spaces:
Sleeping
Sleeping
Adding a padding tool
Browse files
app.py
CHANGED
@@ -9,14 +9,21 @@ from Gradio_UI import GradioUI
|
|
9 |
|
10 |
# Below is an example of a tool that does nothing. Amaze us with your creativity !
|
11 |
@tool
|
12 |
-
def
|
13 |
-
|
14 |
-
|
|
|
15 |
Args:
|
16 |
-
|
17 |
-
|
|
|
|
|
|
|
18 |
"""
|
19 |
-
|
|
|
|
|
|
|
20 |
|
21 |
@tool
|
22 |
def get_current_time_in_timezone(timezone: str) -> str:
|
|
|
9 |
|
10 |
# Below is an example of a tool that does nothing. Amaze us with your creativity !
|
11 |
@tool
|
12 |
+
def pad_string(input_string: str, min_length: int) -> str:
|
13 |
+
"""
|
14 |
+
Pads the input string with spaces on the right to ensure it has at least min_length characters.
|
15 |
+
|
16 |
Args:
|
17 |
+
input_string: The string to pad
|
18 |
+
min_length: The minimum length the returned string should have
|
19 |
+
|
20 |
+
Returns:
|
21 |
+
The padded string
|
22 |
"""
|
23 |
+
if len(input_string) >= min_length:
|
24 |
+
return input_string
|
25 |
+
else:
|
26 |
+
return input_string + ' ' * (min_length - len(input_string))
|
27 |
|
28 |
@tool
|
29 |
def get_current_time_in_timezone(timezone: str) -> str:
|