name:                   prim-uniq
version:                0.2
stability:              provisional

cabal-version:          >= 1.6
build-type:             Simple

author:                 James Cook <mokus@deepbondi.net>
maintainer:             Obsidian Systems, LLC <maintainer@obsidian.systems>
license:                PublicDomain
homepage:               https://github.com/obsidiansystems/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.

extra-source-files:     README.md
                        ChangeLog.md

tested-with:            GHC == 8.0.2,
                        GHC == 8.2.2,
                        GHC == 8.4.3,
                        GHC == 8.6.3,
                        GHC == 8.8.3

source-repository head
  type:     git
  location: https://github.com/obsidiansystems/prim-uniq

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 >= 0.7 && < 0.8,
                        primitive