Protocol.Hex

Definitions

asHex : Bits64 -> String

  Convert a Bits64 value into a list of (lower case) hexadecimal characters

Totality: total
Visibility: export

leftPad : Char -> Nat -> String -> String

Totality: total
Visibility: export

fromHexDigit : Char -> Maybe Int

Totality: total
Visibility: export

fromHexChars : List Char -> Maybe Integer

Totality: total
Visibility: export

fromHex : String -> Maybe Integer

Totality: total
Visibility: export