EN
importPour l'utiliser : import Data.Uuid

Data.Uuid — UUID, version 4 (aléatoires), RFC 4122

Synopsis
nil : Uuid

L'UUID tout à zéro (00000000-0000-0000-0000-000000000000).

toBytes : Uuid -> List Nat

Les 16 octets d'un UUID.

fromBytes : List Nat -> Maybe Uuid

Construit à partir d'exactement 16 octets (chacun réduit mod 256) ; Nothing sinon.

v4 : Int -> (Uuid, Int)

Un UUID v4 aléatoire et le germe suivant.

version : Uuid -> Int

Le quartet de version (4 pour un UUID v4).

variant : Uuid -> Int

La variante (2 = la variante 10x de la RFC 4122).

format : Uuid -> String

La forme canonique (chaîne de caractères en minuscules).

parse : String -> Maybe Uuid

Analyse la forme canonique (quelle que soit la casse hexadécimale). Nothing si mal formée.