UUID

Come get your UUIDs.

Definitions

record UUID : Type

Totality: total
Visibility: export
Constructor: 

MkUUID : GCAnyPtr -> UUID

Projection: 

.ptr : UUID -> GCAnyPtr

Hints:

Eq UUID

Ord UUID

fromBytes : Vect 16 Bits8 -> UUID

  A UUID from a byte vector.

Visibility: export

uuid1 : IO (UUID, Bool)

  UUID version 1.
  
  Uses the current time and the local ethernet MAC address.
  
  If the `Bool` is `True`, it is possible that two concurrently running processes obtained the
  same UUID.

Visibility: export

uuid3 : UUID -> String -> UUID

  UUID version 3.
  
  Deterministic UUID created by MD5 hashing `namespace'` and `name`.

Visibility: export

uuid4 : IO UUID

  UUID version 4.
  
  Generates a UUID using high-quality randomness.
  
  **Note**: If none of libc `getRandom`, /dev/urandom or /dev/random are available,
  a pseudo-random generator will be substituted, which may compromise UUID uniqueness.

Visibility: export

uuid5 : UUID -> String -> UUID

  UUID version 5.
  
  Deterministic UUID created by SHA1 hashing `namespace'` and `name`.

Visibility: export

parse : String -> Maybe UUID

  Try to parse a UUID string (e.g. "1b4e28ba-2fa1-11d2-883f-b9a761bde3fb") as a UUID.

Visibility: export

unparse : UUID -> String

  Convert a UUID to string format.

Visibility: export