nil : Uuid
L'UUID tout à zéro (00000000-0000-0000-0000-000000000000).
import Data.Uuidnil : 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.