prim-uniq: Opaque unique identifiers in primitive state monads

[ data, dependent-types, library, public-domain ] [ Propose Tags ]

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

Modules

Data
- Unique
  - Data.Unique.Prim
  - Data.Unique.Tag
Unsafe
- Unique
  - Unsafe.Unique.Prim
  - Unsafe.Unique.Tag

Downloads

prim-uniq-0.1.0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

BertramFelgenhauer, JamesCook, RyanTrinkle

For package maintainers and hackage trustees

edit package information

Candidates

0.2

Versions [RSS]	0.1, 0.1.0.1, 0.2
Dependencies	base (>=3 && <5), dependent-sum, primitive [details]
License	LicenseRef-PublicDomain
Author	James Cook <mokus@deepbondi.net>
Maintainer	James Cook <mokus@deepbondi.net>
Category	Data, Dependent Types
Home page	https://github.com/mokus0/prim-uniq
Source repo	head: git clone git://github.com/mokus0/prim-uniq.git
Uploaded	by JamesCook at 2011-08-10T14:47:39Z
Distributions	Arch:0.2, Debian:0.2, LTSHaskell:0.2, NixOS:0.2, Stackage:0.2
Reverse Dependencies	4 direct, 53 indirect [details]
Downloads	6983 total (51 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs uploaded by user Build status unknown [no reports yet]