EN
importPour l'utiliser : import Data.Hex

Data.Hex — encodage hexadécimal d'octets (RFC 4648 §8)

Synopsis 
encode : List Nat -> String

Encode des octets en hexadécimal minuscule.

encodeUpper : List Nat -> String

Encode des octets en hexadécimal MAJUSCULE.

decode : String -> Maybe (List Nat)

Décode de l'hexadécimal (n'importe quelle casse) en octets. Nothing en cas de longueur impaire ou de caractère non hexadécimal.