forked from steshaw/lennart-lambda
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathlennart-lambda.cabal
188 lines (183 loc) · 5.24 KB
/
lennart-lambda.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
cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.33.0.
--
-- see: https://github.com/sol/hpack
--
-- hash: 86e559d14a59a55b7ed0344ba1fa1a93d8d6e9a3c27022bcd8ae32d8d9fb4f04
name: lennart-lambda
version: 0.0.0
homepage: https://github.com/steshaw/lennart-lambda#readme
bug-reports: https://github.com/steshaw/lennart-lambda/issues
build-type: Simple
source-repository head
type: git
location: https://github.com/sweirich/lennart-lambda
library
hs-source-dirs: lib
exposed-modules:
Imports
Impl
Lambda
Misc
Suite
Id
IdInt
QuickBench
IdInt.Map
IdInt.Set
Util.Nat
DeBruijn.Cornell
DeBruijn.Chlipala
DeBruijn.Lennart
DeBruijn.Lift
DeBruijn.List
DeBruijn.Bound
DeBruijn.Nested
DeBruijn.Nested2
DeBruijn.Kit
DeBruijn.Par.P
DeBruijn.Par.B
DeBruijn.Par.F
DeBruijn.Par.FB
DeBruijn.Par.L
DeBruijn.Par.SubstScoped
DeBruijn.Par.Scoped
DeBruijn.Par.Subst
LocallyNameless.Ott
LocallyNameless.Opt
LocallyNameless.Par
LocallyNameless.ParOpt
LocallyNameless.Typed
LocallyNameless.TypedOpt
LocallyNameless.Unbound
LocallyNameless.UnboundGenerics
Lennart.Simple
Lennart.Unique
Lennart.HOAS
-- Named.Nom
Named.NominalG
Named.SimpleB
Named.SimpleH
Named.SimpleM
Core.Core
Core.Unique
Core.FV
Core.CoreFVs
Core.Subst
Core.VarEnv
Core.VarSet
Core.UniqFM
Core.UniqDFM
Core.UniqSet
Core.Nf
Abstract.Class
Abstract.Simple
Abstract.DeBruijnPar
Abstract.DeBruijnPar.F
Abstract.DeBruijnPar.B
Abstract.DeBruijn
Abstract.UnboundGenerics
-- Kmett.Type
-- Kmett.IndicesAndLevels
ghc-options: -O2 -funfolding-use-threshold=16 -fno-warn-unticked-promoted-constructors
build-depends:
base >= 4.13
, QuickCheck >= 2.13.2
, RepLib >= 0.5.4.2
, bound
, containers
, deepseq >= 1.4.4.0
, deriving-compat
, mtl
, nominal
, nom
, pretty
, syb >= 0.7
, tasty >= 1.2.3
, tasty-hunit >= 0.10.0.2
, tasty-quickcheck >= 0.10.1.1
, unbound >= 0.5.1.3
-- , unbound-generics == 0.4.1
, unbound-generics == 0.5
, hashable
, some >= 1.0
, constraints >= 0.11
default-language: Haskell2010
default-extensions:
DeriveGeneric
, ExistentialQuantification
, FlexibleContexts
, FlexibleInstances
, GADTs
, GeneralizedNewtypeDeriving
, InstanceSigs
, MultiParamTypeClasses
, ScopedTypeVariables
, TupleSections
, TypeFamilies
, TypeApplications
, UndecidableInstances
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
build-depends: QuickCheck >= 2.13.2
, RepLib >= 0.5.4.2
, base >= 4.13
, bound
, containers
, criterion
, deepseq >= 1.4.4.0
, deriving-compat
, lennart-lambda
, mtl
, pretty
, tasty >= 1.2.3
, tasty-hunit >= 0.10.0.2
, tasty-quickcheck >= 0.10.1.1
, unbound >= 0.5.1.3
-- , unbound-generics >= 0.4.1
default-extensions:
DeriveGeneric
, ExistentialQuantification
, FlexibleContexts
, FlexibleInstances
, GADTs
, GeneralizedNewtypeDeriving
, InstanceSigs
, MultiParamTypeClasses
, ScopedTypeVariables
, TupleSections
, TypeFamilies
, TypeApplications
, UndecidableInstances
test-suite test-timing
default-language: Haskell2010
hs-source-dirs: tests
main-is: Main.hs
type: exitcode-stdio-1.0
build-depends:
base >= 4.13
, lennart-lambda
, QuickCheck >= 2.13.2
, tasty >= 0.7
, tasty >= 1.2.3
, tasty-hunit
, tasty-hunit >= 0.10.0.2
, tasty-quickcheck
, tasty-quickcheck >= 0.10.1.1
default-extensions:
DeriveGeneric
, ExistentialQuantification
, FlexibleContexts
, FlexibleInstances
, GADTs
, GeneralizedNewtypeDeriving
, InstanceSigs
, MultiParamTypeClasses
, ScopedTypeVariables
, TupleSections
, TypeFamilies
, TypeApplications
, UndecidableInstances