1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
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
|
