encode : List Nat -> StringEncode des octets (0..255) en Base64. Octets hors 0..255 = entrée invalide (non garantie ; la loi de round-trip couvre les octets valides).
importPour l'utiliser :
import Data.Base64import Data.Base64encode : List Nat -> StringEncode des octets (0..255) en Base64. Octets hors 0..255 = entrée invalide (non garantie ; la loi de round-trip couvre les octets valides).
decode : String -> Maybe (List Nat)Décode du Base64 en octets. Nothing si invalide (caractère hors alphabet, longueur non multiple de 4, bourrage = mal placé).