String Module
Extended String.
Functions and values
Function or value | Description |
Full Usage:
String.explode str
Parameters:
string
Returns: char list
|
|
Full Usage:
String.fold folder acc str
Parameters:
'a -> char -> 'a
acc : 'a
str : string
Returns: 'a
Modifiers: inline Type parameters: 'a |
|
|
|
Full Usage:
String.toBytes str
Parameters:
string
Returns: byte array
|
|
Full Usage:
String.wrapAngleBracket s
Parameters:
string
Returns: string
|
|
Full Usage:
String.wrapParen s
Parameters:
string
Returns: string
|
|
Full Usage:
String.wrapSqrdBracket s
Parameters:
string
Returns: string
|