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
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.i32ToHex v

Full Usage: String.i32ToHex v

Parameters:
    v : int32

Returns: string
v : int32
Returns: string

String.i32ToHexNoPrefix v

Full Usage: String.i32ToHexNoPrefix v

Parameters:
    v : int32

Returns: string
v : int32
Returns: string

String.i64ToHex v

Full Usage: String.i64ToHex v

Parameters:
    v : int64

Returns: string
v : int64
Returns: string

String.i64ToHexNoPrefix v

Full Usage: String.i64ToHexNoPrefix v

Parameters:
    v : int64

Returns: string
v : int64
Returns: string

String.toBytes str

Full Usage: String.toBytes str

Parameters:
    str : string

Returns: byte[]

Convert a string to a byte array.

str : string
Returns: byte[]

String.u32ToHex v

Full Usage: String.u32ToHex v

Parameters:
    v : uint32

Returns: string
v : uint32
Returns: string

String.u32ToHexNoPrefix v

Full Usage: String.u32ToHexNoPrefix v

Parameters:
    v : uint32

Returns: string
v : uint32
Returns: string

String.u64ToHex v

Full Usage: String.u64ToHex v

Parameters:
    v : uint64

Returns: string
v : uint64
Returns: string

String.u64ToHexNoPrefix v

Full Usage: String.u64ToHexNoPrefix v

Parameters:
    v : uint64

Returns: string
v : uint64
Returns: string

String.wrapAngleBracket s

Full Usage: String.wrapAngleBracket s

Parameters:
    s : string

Returns: string
s : string
Returns: string

String.wrapParen s

Full Usage: String.wrapParen s

Parameters:
    s : string

Returns: string
s : string
Returns: string

String.wrapSqrdBracket s

Full Usage: String.wrapSqrdBracket s

Parameters:
    s : string

Returns: string
s : string
Returns: string