prim-uniq-0.2: Opaque unique identifiers in primitive state monads
Opaque unique identifiers in primitive state monads and a GADT-like type using them as witnesses of type equality.
Modules
- Data
- Unsafe
Opaque unique identifiers in primitive state monads and a GADT-like type using them as witnesses of type equality.
Modules