Applies a strategy to all lines in a string.

Lines are expected to be separated by a single '\n'.The last line may be ended by a newline, or not. In the former case, thelast line in the resulting string will also be ended by a newline,otherwise not.Initial or intermediate newlines are preserved.The strategy is applied to each line (even the empty ones), *excluding*the newline character. The newline is appended again after application of s

Applies a strategy to the upper-case variants of two characters.

This is useful for doing case-insenstive operations.

Concats a tuple of two Strings.

Concats a list of Strings

Adds double quotes to the start and end of a string.

Adds double quotes to the start and end of a list of characters.

Escapes double quotes, backslash and linefeed to C like escape sequences.

Escapes double quotes, backslash and linefeed to C like escape sequences.

Explodes a String to a list of chars.

Gets all newline(\n, \r\n or \r)-separated lines in a string.If the string is ended by a newline, the last element of the returned listis the empty string.

Implodes a list of chars to a string.

Indents every line in a string with spaces.

Succeeds if the character is part of the lowercase oruppercase alphabet.

Succeeds if this string only contains printable ASCII characters.

The letters 32 through 126, in total 96 characters, are definedas printable.

Predicate that checks if the supplied term is a printable character.

Predicate that checks if a character list is double quoted. Thatis, if the first and last character are both double quotes.

Succeeds if applied to a character that is a hexidecimaldigit, i.e. either of the characters in the range '0'-'9'or 'A'-'F' or 'a'-'f'.

Succeeds if this character is lower-case.

Predicate that checks if a string is quoted with the given character.

The character c is the quotation character to check for.

Predicate that checks if a list of characters is quoted withthe character given by the term argument. That is, if thefirst and last character of the list are both equal to c.

Predicate that checks a string is quoted with single quotes.

Predicate that checks if a character list is single quoted. That is,if the first and last character are both single quotes.

Predicate that checks if the supplied term is a string.

Succeeds if the string produced by s is a substringof the argument string.

Succeeds if this character is upper-case.

Succeeds if the character is whitespace.

Whitespace is a space (32), or a tab (9)

Succeeds if the first list of terms starts with the second list of terms.

Returns the suffix of the first list that is not matched.

Makes one newline-separated string out of a list of strings.

Converts all characters of this string to lower case

Converts a list of characters to lower case.

Example: <explode-string ; lower-case-char ; implode-string> "STRATEGO" => "stratego"

Trims leading characters from a string. The characters to to trim are given by the strategy argument.

Removes from the left-hand side all characters matched bystrategy s.

Example: <ltrim-chars(?' ')> " fred " => "fred "

Generates a unique new string of the form 'c_d',where c is one char and d is a positive integer.

Generates a unique new string with user-defined prefixthe form 'sd', where s is a string and d is a positive integer.The produced string is *always* unique across a program run.

The prefix comes in front of an increasing number, which isseparately maintained and started at 0 for each prefix.

Examples (results are shown in comment)<newname; debug> "a" // produces "a0"; <newname; debug> "a" // produces "a1"; <newname; debug> "a" // produces "a2"; <newname; debug> "b" // produces "b0"; <newname; debug> "b" // produces "b1"; <newname; debug> "b_2" // produces "b_20"; <newname; debug> "b_2" // produces "b_21"; <newname; debug> "b_a" // produces "b_a0"; <newname; debug> "b_a" // produces "b_a1"; <newname; debug> "a_" // produces "a_0"; <newname; debug> "a_1" // produces "a_10"

Prefixes all lines in a string with a string.

Succeeds if the first list of terms ends with the second list of terms.

Returns the prefix of the first list that is not matched.

Trims trailing characters from a string.

Removes from the right-hand side all characters matched bystrategy s.

Example: <rtrim-chars(?' ')> " fred " => " fred"

Adds single quotes to the start and end of a listof characters.

Splits a string at each occurrence of a whitespace. Theresulting list of string does not contain any of thewhitespaces. Two adjacent whitespaces will result inan empty string in the result.

Example: <split-at-space> "foo bar" => ["foo", "", "bar"]

Compares two lists of characters lexicographically, ignoring case.

Returns:-1 if first is smaller than the second.0 if the strings are equal.1 if the first is larger than the second.

Concats a tuple of two Strings.

Wraps a strategy on a list of chars in a strategy on a string.

Succeeds if the first String ends with the second String.

If the strategy succeeds, the current term is left untouched.

Example: <string-ends-with(|"bar")> "foobar"

Compares two strings or lists of characters lexicographically and succeeds ifthe first one is larger than the second, ignoring case.

Returns the number of characters in a string.

Compares two strings or lists of characters lexicographically and succeeds ifthe first one is smaller than the second, ignoring case.

Sorts a list of strings lexicographically ignoring case, descending.

Succeeds if the first String starts with the second String.

If the strategy succeeds, the current term is left untouched.

Example: <string-starts-with(|"foo")> "foobar"

Breaks a string into tokens.

Given a list of possible delimiters (characters thatseparate tokens), string-tokenize returns a list oftokens for a given string.

Splits a string into a list of tokens, keeping the separating elements as1-char-strings within the results list, *and* also keeping the empty"" tokens.

Example:<string-tokenize-keep-all(|['\n'])> "fu\n\nbar\n" => ["fu","\n","","\n","bar","\n",""]

Splits a string into a list of tokens, including the empty ones.

This strategy differs from string-tokenize in that it produces an empty ""token when two separator chars are encountered, or after a final separator.

Example:<string-tokenize-keep-empty(|['\n'])> "fu\n\nbar\n" => ["fu","","bar",""]

Returns the number of characters in a string.

Compares the n first characters of two character lists, nis given by the last argument. If the two lists are identical,the integer 0 is returned, otherwise the integer 1 is returned.

Ensures that a character is lower-case.

This strategy returns the input character if thischaracter is already lower-case.

Ensures that a character is upper-case.

This strategy returns the input character if thischaracter is already upper-case.

Trims leading and trailing characters from a string. Thecharacters to trim is given by the strategy argument.

Removes from both ends all characters matched by strategys.

Example: <trim-chars(?' ')> " fred " => "fred"

Trims all leading whitespace in a (single-line) string.

Trims all trailing whitespace in a (single-line) string.

Trims all trailing and leading whitespace in a (single-line) string.

Removes double quotes from the start and end of a string Fails if the string is not properly quoted.

Removes double quotes from the start and end of a list of characters. Fails if the list is not properlyquoted.

Removes single quotes from the start and end of a string Fails if the string is not properly quoted.

Removes single quotes from the start and end of a list of characters. Fails if the list is not properlyquoted.

Unescapes double quotes, backslash, linefeed and tabs.

Unescapes characters using a specified unescape strategy.

Unescapes double quotes, backslash, linefeed and tabs.

Removes the first and last character of a string.The characters must satisfy s.

Removes the first and last character of a string.The first character must satisfy s1.The last character must satisfy s2.

Removes the first and last character of a list of characters.The characters must satisfy s.

Removes the first and last character of a list of characters.The first character must satisfy s1.The last character must satisfy s2.

Converts all characters of this string to upper case

Converts a list of characters to upper case.

Example: <explode-string ; upper-case-chars ; implode-string> "stratego" => "STRATEGO"