Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

35 lines (28 sloc) 1.201 kB
name: prim-uniq
version: 0.1.0.1
stability: provisional
cabal-version: >= 1.6
build-type: Simple
author: James Cook <mokus@deepbondi.net>
maintainer: James Cook <mokus@deepbondi.net>
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
Jump to Line
Something went wrong with that request. Please try again.