@hackage prim-uniq0.1

Opaque unique identifiers in primitive state monads

Categories
License
LicenseRef-PublicDomain
Maintainer
James Cook <mokus@deepbondi.net>
Links
Versions
- 0.2 Wed, 15 Apr 2020
- 0.1.0.1 Wed, 10 Aug 2011
- 0.1 Wed, 13 Jul 2011

Opaque unique identifiers in primitive state monads and a GADT-like type using them as witnesses of type equality.