Idris2Doc : Protocol.Hex

Protocol.Hex

(source)

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->MaybeInt
Totality: total
Visibility: export
fromHexChars : ListChar->MaybeInteger
Totality: total
Visibility: export
fromHex : String->MaybeInteger
Totality: total
Visibility: export