-
Notifications
You must be signed in to change notification settings - Fork 1
/
red-black-record.cabal
84 lines (74 loc) · 3.23 KB
/
red-black-record.cabal
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
cabal-version: 3.4
name: red-black-record
version: 2.1.6.0
synopsis: Extensible records and variants indexed by a type-level Red-Black tree.
description: A library that provides extensible records and variants,
both indexed by a type-level red-black tree that maps
Symbol keys to value types of any kind.
The keys correspond to fields
names in records, and to branch names in variants.
At the term level, value types come wrapped in a type
constructor of kind @q -> Type@, where @q@ is the kind of
value types.
The records and variants can be converted to and from
regular Haskell datatypes; also to and from the unlabelled
n-ary products and sums of the @sop-core@ package.
license: BSD-3-Clause
license-file: LICENSE
author: Daniel Diaz
maintainer: [email protected]
category: Data
extra-source-files: CHANGELOG.md,
README.md
build-type: Simple
tested-with: GHC ==9.8.1 || ==9.6.3
source-repository head
type: git
location: https://github.com/danidiaz/red-black-record.git
library
exposed-modules: Data.RBR
Data.RBR.Subset
Data.RBR.Internal
Data.RBR.Examples
build-depends: base >= 4.10.0.0 && < 5,
sop-core >= 0.4.0.0 && < 0.6
hs-source-dirs: lib
default-language: Haskell2010
library dot
exposed-modules: TypeLevelRecordDot
build-depends: base >= 4.10.0.0 && < 5,
red-black-record,
hs-source-dirs: lib-dot
default-language: Haskell2010
visibility: public
library demoted
exposed-modules: Data.RBR.Demoted
build-depends: base >= 4.10.0.0 && < 5,
sop-core >= 0.4.0.0 && < 0.6,
red-black-record
hs-source-dirs: lib-demoted
default-language: Haskell2010
test-suite tests
type: exitcode-stdio-1.0
hs-source-dirs: tests
main-is: tests.hs
build-depends:
base >= 4.10.0.0 && < 5,
sop-core >= 0.4.0.0 && < 0.6,
tasty >= 0.10.1.1,
tasty-hunit >= 0.9.2,
red-black-record,
red-black-record:demoted
default-language: Haskell2010
test-suite tests-generically
type: exitcode-stdio-1.0
hs-source-dirs: tests
main-is: tests-generically.hs
build-depends:
base >= 4.10.0.0 && < 5,
sop-core >= 0.4.0.0 && < 0.6,
tasty >= 0.10.1.1,
tasty-hunit >= 0.9.2,
red-black-record,
red-black-record:dot,
default-language: Haskell2010