The prim-uniq package

[Tags: library, public-domain]

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


Properties

Versions0.1, 0.1.0.1
Dependenciesbase (>=3 && <5), dependent-sum, primitive
LicensePublicDomain
AuthorJames Cook <mokus@deepbondi.net>
MaintainerJames Cook <mokus@deepbondi.net>
Stabilityprovisional
CategoryData, Dependent Types
Home pagehttps://github.com/mokus0/prim-uniq
Source repositoryhead: git clone git://github.com/mokus0/prim-uniq.git
Upload dateWed Aug 10 14:47:39 UTC 2011
Uploaded byJamesCook
Downloads157 total (12 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees