Header menu logo B2R2

String Module

Extended String.

Functions and values

Function or value Description

String.explode str

Full Usage: String.explode str

Parameters:
    str : string

Returns: char list
str : string
Returns: char list

String.fold folder acc str

Full Usage: String.fold folder acc str

Parameters:
    folder : 'a -> char -> 'a
    acc : 'a
    str : string

Returns: 'a
Modifiers: inline
Type parameters: 'a
folder : 'a -> char -> 'a
acc : 'a
str : string
Returns: 'a

String.fromBytes bs

Full Usage: String.fromBytes bs

Parameters:
    bs : byte[]

Returns: String

Convert a byte array to a string.

bs : byte[]
Returns: String

String.toBytes str

Full Usage: String.toBytes str

Parameters:
    str : string

Returns: byte array

Convert a string to a byte array.

str : string
Returns: byte array

String.wrapAngleBracket s

Full Usage: String.wrapAngleBracket s

Parameters:
    s : string

Returns: string

Wrap a string with a pair of curly brackets.

s : string
Returns: string

String.wrapParen s

Full Usage: String.wrapParen s

Parameters:
    s : string

Returns: string

Wrap a string with a pair of parentheses.

s : string
Returns: string

String.wrapSqrdBracket s

Full Usage: String.wrapSqrdBracket s

Parameters:
    s : string

Returns: string

Wrap a string with a pair of square brackets.

s : string
Returns: string

Type something to start searching.