-
Notifications
You must be signed in to change notification settings - Fork 0
/
zm.cabal
204 lines (189 loc) · 5.01 KB
/
zm.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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
name: zm
version: 0.3.11
synopsis: Language independent, reproducible, absolute types
description: See the <http://github.com/Quid2/zm online tutorial>.
homepage: http://github.com/Quid2/zm
category: Data,Reflection
license: BSD3
license-file: LICENSE
author: Pasqualino `Titto` Assini
maintainer: tittoassini@gmail.com
copyright: Copyright: (c) 2016-2023 Pasqualino `Titto` Assini
cabal-version: >=1.10
build-type: Simple
tested-with: GHC ==8.10.7 || ==9.2.5 || ==9.4.3
extra-source-files: README.md
-- stack.yaml
source-repository head
type: git
location: https://github.com/Quid2/zm
library
exposed-modules:
Data.Digest.Keccak
Data.List.Extra
Data.These.Extra
ZM
ZM.Abs
ZM.AsValue
ZM.BLOB
ZM.BLOB.BLOBList
ZM.Model
ZM.Parser
ZM.Parser.ADT
ZM.Parser.Bracket
ZM.Parser.Doc
ZM.Parser.Env
ZM.Parser.Exp
ZM.Parser.Lexer
ZM.Parser.Literal
ZM.Parser.Op
ZM.Parser.Pretty
ZM.Parser.Types
ZM.Parser.Util
ZM.Parser.Val
ZM.Parser.Value
ZM.Pretty
ZM.Pretty.Base
ZM.To.Decoder
ZM.To.Encoder
ZM.Transform
ZM.Type.Array
ZM.Type.Bit
ZM.Type.Bits11
ZM.Type.Bits23
ZM.Type.Bits52
ZM.Type.Bits8
ZM.Type.BLOB
ZM.Type.Char
ZM.Type.Float32
ZM.Type.Float64
ZM.Type.Function
ZM.Type.Generate
ZM.Type.List
ZM.Type.Map
ZM.Type.NonEmptyList
ZM.Type.Prims
ZM.Type.Repo
ZM.Type.Repo0
ZM.Type.String
ZM.Type.Tuples
ZM.Type.Unit
ZM.Type.Words
ZM.Types
ZM.Util
-- ZM.Parser.Constr
-- ZM.Dynamic
-- ZM.Pretty.Value
-- ZM.Pretty.Value
-- ZM.Coerce
if impl(ghcjs)
build-depends: ghcjs-base >=0.2 && <0.3
else
build-depends:
cryptonite >=0.22 && <1
, memory
build-depends:
base >=4.8
, bytestring >=0.10.6.0
, containers
, data-fix
, deepseq >=1.4
, deriving-compat
, directory
, either >=4.3.2.0 && <6
, extra
, flat >=0.6 && <0.7
, megaparsec >=9 && <10
, model >=0.5 && <0.6
, parser-combinators
, pretty >=1.1.2
, prettyprinter
, prettyprinter-ansi-terminal
, scientific
, text
, these-skinny
, transformers >=0.4.2.0
js-sources: jsbits/sha3.js
default-language: Haskell2010
hs-source-dirs: src
-- ghc-options: -O2 -funbox-strict-fields -Wall -fno-warn-orphans -fno-warn-name-shadowing
-- if impl(ghc >8)
ghc-options:
-Wall -funbox-strict-fields -fno-warn-orphans
-Wincomplete-record-updates -Wincomplete-uni-patterns
-Wredundant-constraints
-- -Werror
-- -fno-warn-name-shadowing
test-suite spec
type: exitcode-stdio-1.0
main-is: Spec.hs
build-depends:
base
, bytestring
, containers
, flat
, model
, pretty
, tasty
, tasty-hunit
, tasty-quickcheck
, text
, timeit >=1
, zm
default-language: Haskell2010
hs-source-dirs: test
other-modules:
Info
Test.Data
Test.Data.Flat
Test.Data.Model
Test.Data2
Test.Data2.Flat
Test.Data3
Test.Data3.Flat
Test.ZM.ADT.AbsRef.K4bbd38587b9e
Test.ZM.ADT.ADT.K3e8257255cbf
Test.ZM.ADT.ADTRef.K07b1b045ac3c
Test.ZM.ADT.Array.K2e8b4519aeaa
Test.ZM.ADT.BLOB.Kf139d4751fda
Test.ZM.ADT.Bool.K306f1981b41c
Test.ZM.ADT.Bytes.Kf8844385a443
Test.ZM.ADT.Char.K066db52af145
Test.ZM.ADT.ConTree.K86653e040025
Test.ZM.ADT.Either.K6260e465ae74
Test.ZM.ADT.Filler.Kae1dfeece189
Test.ZM.ADT.FlatEncoding.K982148c09ddb
Test.ZM.ADT.Identifier.Kdc26e9d90047
Test.ZM.ADT.LeastSignificantFirst.K20ffacc8f8c9
Test.ZM.ADT.List.Kb8cd13187198
Test.ZM.ADT.Maybe.Kda6836778fd4
Test.ZM.ADT.MostSignificantFirst.K74e2b3b89941
Test.ZM.ADT.NonEmptyList.Kbf2d1c86eb20
Test.ZM.ADT.PreAligned.Kb2f28cf37d12
Test.ZM.ADT.SHAKE128_48.K9f214799149b
Test.ZM.ADT.Tuple2.Ka5583bf3ad34
Test.ZM.ADT.Type.K7028aa556ebc
Test.ZM.ADT.TypedBLOB.K614edd84c8bd
Test.ZM.ADT.UnicodeLetter.K3878b3580fc5
Test.ZM.ADT.UnicodeLetterOrNumberOrLine.K33445520c45a
Test.ZM.ADT.UnicodeSymbol.K801030ef543c
Test.ZM.ADT.Word.Kf92e8339908a
Test.ZM.ADT.Word32.K2412799c99f1
Test.ZM.ADT.Word7.Kf4c946334a7e
Test.ZM.ADT.Word8.Kb1f46a49c8f8
ZM.Prim
ghc-options: -threaded -rtsopts -with-rtsopts=-N
-- test-suite doc
-- default-language: Haskell2010
-- type: exitcode-stdio-1.0
-- ghc-options: -threaded
-- main-is: DocSpec.hs
-- hs-source-dirs: test
-- build-depends:
-- base
-- , directory
-- , doctest ==0.16.3.1
-- , filemanip >=0.3.6.3
-- , QuickCheck >=2.14.2
-- , quickcheck-instances >0.3.27
-- , text