ref: e047274e8dedebb9588a82e48e6cd9d7e50cae79
dir: /module/string.m/
String: module
{
PATH: con "/dis/lib/string.dis";
# the second arg of the following is a character class
# e.g., "a-zA-Z", or "^ \t\n"
# (ranges indicated by - except in first position;
# ^ is first position means "not in" the following class)
# splitl splits just before first char in class; (s, "") if no split
# splitr splits just after last char in class; ("", s) if no split
# drop removes maximal prefix in class
# take returns maximal prefix in class
splitl: fn(s, cl: string): (string, string);
splitr: fn(s, cl: string): (string, string);
drop: fn(s, cl: string): string;
take: fn(s, cl: string): string;
in: fn(c: int, cl: string): int;
# in these, the second string is a string to match, not a class
splitstrl: fn(s, t: string): (string, string);
splitstrr: fn(s, t: string): (string, string);
# is first arg a prefix of second?
prefix: fn(pre, s: string): int;
tolower: fn(s: string): string;
toupper: fn(s: string): string;
# string to int returning value, remainder
toint: fn(s: string, base: int): (int, string);
tobig: fn(s: string, base: int): (big, string);
toreal: fn(s: string, base: int): (real, string);
# append s to end of l
append: fn(s: string, l: list of string): list of string;
quoted: fn(argv: list of string): string;
quotedc: fn(argv: list of string, cl: string): string;
unquoted: fn(args: string): list of string;
};