name: prim-uniq version: 0.1.0.1 stability: provisional cabal-version: >= 1.6 build-type: Simple author: James Cook maintainer: James Cook license: PublicDomain homepage: https://github.com/mokus0/prim-uniq category: Data, Dependent Types synopsis: Opaque unique identifiers in primitive state monads description: Opaque unique identifiers in primitive state monads and a GADT-like type using them as witnesses of type equality. tested-with: GHC == 7.2.1, GHC == 7.0.4, GHC == 6.12.3, GHC == 6.10.4 source-repository head type: git location: git://github.com/mokus0/prim-uniq.git Library hs-source-dirs: src exposed-modules: Data.Unique.Prim Data.Unique.Tag Unsafe.Unique.Prim Unsafe.Unique.Tag build-depends: base >= 3 && <5, dependent-sum, primitive