prim-uniq-0.1: prim-uniq.cabal

name:                   prim-uniq
version:                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.

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