-
Notifications
You must be signed in to change notification settings - Fork 7
/
Copy pathlambda-n-ways.cabal
282 lines (271 loc) · 6.12 KB
/
lambda-n-ways.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
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
cabal-version: 1.12
name: lambda-n-ways
version: 0.0.1
homepage: https://github.com/sweirich/lambda-n-ways
bug-reports: https://github.com/sweirich/lambda-n-ways
build-type: Simple
source-repository head
type: git
location: https://github.com/sweirich/lambda-n-ways
library
hs-source-dirs: lib
exposed-modules:
Auto.Env
Auto.Bind
Auto.Subst
Auto.Lazy.Env
Auto.Lazy.Bind
Auto.Lazy.Subst
Auto.Manual.Eval
Auto.Manual.Env
Auto.Manual.Bind
Auto.Manual.Subst
Auto.Manual.Lazy.Eval
Auto.Manual.Lazy.Env
Auto.Manual.Lazy.Bind
Auto.Manual.Lazy.Subst
Core.Core
Core.CoreFVs
Core.FV
Core.Nf
Core.Subst
Core.UniqDFM
Core.UniqFM
Core.UniqSet
Core.Unique
Core.VarEnv
Core.VarSet
DeBruijn.Bound
DeBruijn.Cornell
DeBruijn.CPDT
DeBruijn.Kit
DeBruijn.Krivine
DeBruijn.KrivineScoped
DeBruijn.Lazy.Bound
DeBruijn.Lazy.Cornell
DeBruijn.Lazy.CPDT
DeBruijn.Lazy.Kit
DeBruijn.Lazy.Lennart
DeBruijn.Lazy.Lift
DeBruijn.Lazy.Nested
DeBruijn.Lazy.Par.B
DeBruijn.Lazy.Par.Fun
DeBruijn.Lazy.Par.GB
DeBruijn.Lazy.Par.L
DeBruijn.Lazy.Par.P
DeBruijn.Lazy.Par.Scoped
DeBruijn.Lazy.TAPL
DeBruijn.Lennart
DeBruijn.Lift
DeBruijn.Nested
DeBruijn.Par.B
DeBruijn.Par.Fun
DeBruijn.Par.GB
DeBruijn.Par.L
DeBruijn.Par.P
DeBruijn.Par.Scoped
DeBruijn.TAPL
Lennart.DeBruijn
Lennart.HOAS
Lennart.Simple
Lennart.SimpleOrig
Lennart.Unique
LocallyNameless.GenericInstOpt
LocallyNameless.GenericOpt
LocallyNameless.Lazy.GenericInstOpt
LocallyNameless.Lazy.GenericOpt
LocallyNameless.Lazy.Opt
LocallyNameless.Lazy.Ott
LocallyNameless.Lazy.ParOpt
LocallyNameless.Lazy.ParScoped
LocallyNameless.Lazy.SupportOpt
LocallyNameless.Lazy.TypedOtt
LocallyNameless.Opt
LocallyNameless.Ott
LocallyNameless.ParOpt
LocallyNameless.ParScoped
LocallyNameless.SupportInstOpt
LocallyNameless.SupportOpt
LocallyNameless.TypedOpt
LocallyNameless.TypedOtt
Named.Lazy.Foil
Named.Lazy.NominalG
Named.Lazy.Simple
Named.Lazy.SimpleGH
Named.Lazy.SimpleH
Named.Lazy.SimpleM
Named.Foil
Named.Lennart
Named.NominalG
Named.Simple
Named.SimpleGH
Named.SimpleH
Named.SimpleM
Named.Unique
NBE.Aelig
NBE.Boesflug
NBE.Felgenhauer
NBE.Kovacs
NBE.KovacsNamed
NBE.KovacsScoped
NBE.KovacsScoped2
NBE.Contextual
QuickBench
Suite
Support.Par.Subst
Support.Par.SubstScoped
Support.SubstH
Support.SubstOpt
Support.TypedSubstOpt
Unbound.UnboundGenerics
Unbound.UnboundNonGenerics
Util.Id
Util.IdInt
Util.IdInt.Map
Util.IdInt.Set
Util.Impl
Util.Imports
Util.Misc
Util.Nat
Util.Stats
Util.Syntax.DeBruijn
Util.Syntax.Lambda
Util.Syntax.Named
Util.Syntax.ScopedDeBruijn
Util.Syntax.Lazy.ScopedDeBruijn
Util.Vec
-- DeBruijn.Par.FB
--DeBruijn.Lazy.Par.FB
-- Named.Nom
ghc-options:
-O2 -funfolding-use-threshold=16
-fno-warn-unticked-promoted-constructors -fcross-module-specialise
-fno-warn-missing-fields
build-depends:
base >=4.13
, autoenv
, bound
, constraints >=0.11
, containers
, deepseq >=1.4.4.0
, dependent-map
, deriving-compat
, hashable
, mtl
, nominal
, pretty
, QuickCheck >=2.13.2
, some >=1.0
, syb >=0.7
, tasty >=1.2.3
, tasty-hunit >=0.10.0.2
, tasty-quickcheck >=0.10.1.1
, unbound-generics ==0.4.4
, free-foil
-- , RepLib >= 0.5.4.2
-- , nom
-- , unbound >= 0.5.1.3
default-language: GHC2021
default-extensions:
DataKinds
DeriveGeneric
DeriveTraversable
EmptyCase
ExistentialQuantification
FlexibleContexts
FlexibleInstances
GADTs
GeneralizedNewtypeDeriving
InstanceSigs
MultiParamTypeClasses
PolyKinds
RankNTypes
ScopedTypeVariables
StandaloneDeriving
TupleSections
TypeApplications
TypeFamilies
TypeOperators
UndecidableInstances
LambdaCase
executable LC
hs-source-dirs: bench
main-is: Main.lhs
default-language: Haskell2010
ghc-options:
-O2 -funfolding-use-threshold=16
-fno-warn-unticked-promoted-constructors -fcross-module-specialise
build-depends:
autoenv
, base >=4.13
, bound
, containers
, criterion
, deepseq >=1.4.4.0
, deriving-compat
, lambda-n-ways
, mtl
, pretty
, QuickCheck >=2.13.2
, tasty >=1.2.3
, tasty-hunit >=0.10.0.2
, tasty-quickcheck >=0.10.1.1
, unbound-generics >=0.4.4
default-extensions:
DataKinds
DeriveGeneric
DeriveTraversable
EmptyCase
ExistentialQuantification
FlexibleContexts
FlexibleInstances
GADTs
GeneralizedNewtypeDeriving
InstanceSigs
MultiParamTypeClasses
PolyKinds
RankNTypes
ScopedTypeVariables
StandaloneDeriving
TupleSections
TypeApplications
TypeFamilies
TypeOperators
UndecidableInstances
test-suite test-timing
default-language: Haskell2010
hs-source-dirs: tests
main-is: Main.hs
type: exitcode-stdio-1.0
ghc-options:
-O2 -fno-warn-unticked-promoted-constructors
-fcross-module-specialise
build-depends:
base >=4.13
, lambda-n-ways
, autoenv
, QuickCheck >=2.13.2
, tasty >=1.2.3
, tasty-hunit >=0.10.0.2
, tasty-quickcheck >=0.10.1.1
default-extensions:
DataKinds
DeriveGeneric
DeriveTraversable
EmptyCase
ExistentialQuantification
FlexibleContexts
FlexibleInstances
GADTs
GeneralizedNewtypeDeriving
InstanceSigs
MultiParamTypeClasses
PolyKinds
RankNTypes
ScopedTypeVariables
StandaloneDeriving
TupleSections
TypeApplications
TypeFamilies
TypeOperators
UndecidableInstances