string

Source code

This file contains functions for manipulating strings

Index

• string::drop-index
• string::random
• string::indent
• string::trim-left
• string::trim-right
• string::trim

string::drop-index

drops length characters from the string at index

Example

string::drop-index "hello" 1 2 # hlo

Arguments

• $1 (string): The string to drop characters from
• $2 (integer): The index to start dropping characters
• $3 (integer): The number of characters to drop

Output on stdout

• The string with characters dropped

string::random

Generate a random string. First character is always a letter.

Example

string::random 10 # a2jKl9C4bs
string::random    # t4UsOP3z5Rd8sW6nX2t1C7z9L0s3R4d8cAH32ns2Ds

Arguments

• $1 (integer): [42] The length of the string
• $2 (string): [a-zA-Z0-9] The characters to use in the string

Output on stdout

• The random string

string::indent

Left trim all lines in a string

Example

string::indent "  hello\n  world" # "hello\nworld"

Arguments

• $1 (string): The string to trim
• $2 (int): [0] Indent the string by this amount

Output on stdout

• The trimmed string

string::trim-left

Left trim a string

Example

string::trim-left "  hello  " # "hello  "

Arguments

• $1 (string): The string to trim
• $2 (string): [ \n\t] The characters to trim

Output on stdout

• The trimmed string

string::trim-right

Right trim a string

Example

string::trim-right "  hello  " # "  hello"

Arguments

• $1 (string): The string to trim
• $2 (string): [ \n\t] The characters to trim

Output on stdout

• The trimmed string

string::trim

Trim a string

Example

string::trim "  hello  " # "hello"

Arguments

• $1 (string): The string to trim
• $2 (string): [ \n\t] The characters to trim

Output on stdout

• The trimmed string