Data.Hex — oppi

importPour l'utiliser : import Data.Hex

Data.Hex — hexadecimal encoding of octets (RFC 4648 §8)

Synopsis

encode : List Nat -> String

Encode octets as lowercase hex.

encodeUpper : List Nat -> String

Encode octets as UPPERCASE hex.

decode : String -> Maybe (List Nat)

Decode hex (either case) to octets. Nothing on an odd length or a non-hex character.