The prim-uniq package
Opaque unique identifiers in primitive state monads and a GADT-like type using them as witnesses of type equality.
Properties
| Versions | 0.1, 0.1.0.1 |
|---|---|
| Dependencies | base (≥3 & <5), dependent-sum, primitive |
| License | PublicDomain |
| Author | James Cook <mokus@deepbondi.net> |
| Maintainer | James Cook <mokus@deepbondi.net> |
| Stability | provisional |
| Category | Data, Dependent Types |
| Home page | https://github.com/mokus0/prim-uniq |
| Source repository | git clone git://github.com/mokus0/prim-uniq.git |
| Upload date | Wed Aug 10 14:47:39 UTC 2011 |
| Uploaded by | JamesCook |
| Built on | ghc-7.2 |
Modules
- Data
- Unsafe
Downloads
- prim-uniq-0.1.0.1.tar.gz (Cabal source package)
- package description (included in the package)