Idris2Doc : UUID.Support.C

UUID.Support.C

(source)

Definitions

sizeOfUUID_t : Bits64
prim__uuidSetByte : GCAnyPtr->Bits64->Bits8->PrimIO ()
prim__uuidCompare : GCAnyPtr->GCAnyPtr->Int
prim__uuidGenerateRandom : GCAnyPtr->PrimIO ()
prim__uuidGenerateTimeSafe : GCAnyPtr->PrimIOInt
prim__uuidGenerateMD5 : GCAnyPtr->GCAnyPtr->String->Bits64->PrimIO ()
prim__uuidGenerateSHA1 : GCAnyPtr->GCAnyPtr->String->Bits64->PrimIO ()
prim__uuidParse : String->GCAnyPtr->PrimIOInt
prim__uuidUnparse : GCAnyPtr->PrimIOString