-
Notifications
You must be signed in to change notification settings - Fork 12
/
Jikka.cabal
313 lines (305 loc) · 10.3 KB
/
Jikka.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
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.34.4.
--
-- see: https://github.com/sol/hpack
name: Jikka
version: 5.6.0.0
synopsis: A transpiler from Python to C++ for competitive programming
description: Please see the README on GitHub at <https://github.com/kmyk/Jikka>
category: Compilers/Interpreters
homepage: https://github.com/kmyk/Jikka#readme
bug-reports: https://github.com/kmyk/Jikka/issues
author: Kimiyuki Onaka
maintainer: [email protected]
copyright: 2021 Kimiyuki Onaka
license: Apache
license-file: LICENSE
build-type: Simple
extra-source-files:
README.md
CHANGELOG.md
data-files:
runtime/include/jikka/convex_hull_trick.hpp
runtime/include/jikka/divmod.hpp
runtime/include/jikka/error.hpp
runtime/include/jikka/matrix.hpp
runtime/include/jikka/modulo.hpp
runtime/include/jikka/modulo_matrix.hpp
runtime/include/jikka/not_modulo.hpp
runtime/include/jikka/range.hpp
runtime/include/jikka/segment_tree.hpp
runtime/include/jikka/slope_trick.hpp
source-repository head
type: git
location: https://github.com/kmyk/Jikka
flag embed-runtime
description: Embed files under runtime/include/ to the compiled binary.
manual: True
default: False
library
exposed-modules:
Jikka.Common.Alpha
Jikka.Common.Combinatorics
Jikka.Common.Error
Jikka.Common.FileEmbed
Jikka.Common.Format.AutoIndent
Jikka.Common.Format.Color
Jikka.Common.Format.Error
Jikka.Common.Format.Location
Jikka.Common.Format.Show
Jikka.Common.Graph
Jikka.Common.IO
Jikka.Common.IOFormat
Jikka.Common.Location
Jikka.Common.Matrix
Jikka.Common.ModInt
Jikka.Common.Name
Jikka.Common.Parse.JoinLines
Jikka.Common.Parse.OffsideRule
Jikka.Common.Parse.Read
Jikka.Common.Parse.ShuntingYard
Jikka.Core.Convert
Jikka.Core.Convert.Alpha
Jikka.Core.Convert.ANormal
Jikka.Core.Convert.ArithmeticExpr
Jikka.Core.Convert.Beta
Jikka.Core.Convert.BubbleLet
Jikka.Core.Convert.CloseAll
Jikka.Core.Convert.CloseMin
Jikka.Core.Convert.CloseSum
Jikka.Core.Convert.ConstantFolding
Jikka.Core.Convert.ConstantPropagation
Jikka.Core.Convert.ConvexHullTrick
Jikka.Core.Convert.CumulativeSum
Jikka.Core.Convert.EqualitySolving
Jikka.Core.Convert.Eta
Jikka.Core.Convert.KubaruToMorau
Jikka.Core.Convert.MakeScanl
Jikka.Core.Convert.MatrixExponentiation
Jikka.Core.Convert.PropagateMod
Jikka.Core.Convert.RemoveUnusedVars
Jikka.Core.Convert.SegmentTree
Jikka.Core.Convert.ShortCutFusion
Jikka.Core.Convert.SortAbs
Jikka.Core.Convert.SpecializeFoldl
Jikka.Core.Convert.TrivialLetElimination
Jikka.Core.Convert.TypeInfer
Jikka.Core.Convert.UnpackTuple
Jikka.Core.Evaluate
Jikka.Core.Format
Jikka.Core.Language.ArithmeticExpr
Jikka.Core.Language.AssertedHint
Jikka.Core.Language.Beta
Jikka.Core.Language.BuiltinPatterns
Jikka.Core.Language.Eta
Jikka.Core.Language.Expr
Jikka.Core.Language.FreeVars
Jikka.Core.Language.LambdaPatterns
Jikka.Core.Language.Lint
Jikka.Core.Language.ModuloExpr
Jikka.Core.Language.NameCheck
Jikka.Core.Language.QuasiRules
Jikka.Core.Language.RewriteRules
Jikka.Core.Language.Runtime
Jikka.Core.Language.TypeCheck
Jikka.Core.Language.Util
Jikka.Core.Language.Value
Jikka.Core.Parse
Jikka.Core.Parse.Alex
Jikka.Core.Parse.Happy
Jikka.Core.Parse.Token
Jikka.CPlusPlus.Convert
Jikka.CPlusPlus.Convert.AddMain
Jikka.CPlusPlus.Convert.BundleRuntime
Jikka.CPlusPlus.Convert.BurnFlavouredNames
Jikka.CPlusPlus.Convert.EmbedOriginalCode
Jikka.CPlusPlus.Convert.FromCore
Jikka.CPlusPlus.Convert.InlineSetAt
Jikka.CPlusPlus.Convert.MoveSemantics
Jikka.CPlusPlus.Convert.OptimizeRange
Jikka.CPlusPlus.Convert.UnpackTuples
Jikka.CPlusPlus.Convert.UseInitialization
Jikka.CPlusPlus.Format
Jikka.CPlusPlus.Language.Expr
Jikka.CPlusPlus.Language.Util
Jikka.CPlusPlus.Language.VariableAnalysis
Jikka.Main
Jikka.Main.Subcommand.Convert
Jikka.Main.Subcommand.Debug
Jikka.Main.Subcommand.Execute
Jikka.Main.Target
Jikka.Python.Convert.ToRestrictedPython
Jikka.Python.Language.Expr
Jikka.Python.Language.Util
Jikka.Python.Parse
Jikka.Python.Parse.Alex
Jikka.Python.Parse.Happy
Jikka.Python.Parse.Token
Jikka.RestrictedPython.Convert
Jikka.RestrictedPython.Convert.Alpha
Jikka.RestrictedPython.Convert.DefaultMain
Jikka.RestrictedPython.Convert.ParseMain
Jikka.RestrictedPython.Convert.RemoveUnbalancedIf
Jikka.RestrictedPython.Convert.RemoveUnreachable
Jikka.RestrictedPython.Convert.ResolveBuiltin
Jikka.RestrictedPython.Convert.SplitLoops
Jikka.RestrictedPython.Convert.ToCore
Jikka.RestrictedPython.Convert.TypeInfer
Jikka.RestrictedPython.Convert.UseAppend
Jikka.RestrictedPython.Evaluate
Jikka.RestrictedPython.Format
Jikka.RestrictedPython.Language.Builtin
Jikka.RestrictedPython.Language.Expr
Jikka.RestrictedPython.Language.Lint
Jikka.RestrictedPython.Language.Util
Jikka.RestrictedPython.Language.Value
Jikka.RestrictedPython.Language.VariableAnalysis
Jikka.RestrictedPython.Language.WithoutLoc
other-modules:
Paths_Jikka
hs-source-dirs:
src
ghc-options: -W -optP-Wno-nonportable-include-path
build-tools:
alex
, happy
build-depends:
ansi-terminal ==0.11.*
, array >=0.5.3 && <0.6
, base >=4.12 && <5
, containers >=0.6.0 && <0.7
, deepseq >=1.4.4 && <1.5
, directory >=1.3.3 && <1.4
, mtl >=2.2.2 && <2.3
, template-haskell >=2.15.0 && <2.17
, text >=1.2.3 && <1.3
, transformers >=0.5.6 && <0.6
, vector >=0.12.3 && <0.13
if flag(embed-runtime)
cpp-options: -DJIKKA_EMBED_RUNTIME
default-language: Haskell2010
executable jikka
main-is: Main.hs
other-modules:
Paths_Jikka
hs-source-dirs:
app
ghc-options: -W -threaded -rtsopts -with-rtsopts=-N -optP-Wno-nonportable-include-path
build-depends:
Jikka
, ansi-terminal ==0.11.*
, array >=0.5.3 && <0.6
, base >=4.12 && <5
, containers >=0.6.0 && <0.7
, deepseq >=1.4.4 && <1.5
, directory >=1.3.3 && <1.4
, mtl >=2.2.2 && <2.3
, template-haskell >=2.15.0 && <2.17
, text >=1.2.3 && <1.3
, transformers >=0.5.6 && <0.6
, vector >=0.12.3 && <0.13
default-language: Haskell2010
test-suite jikka-doctest
type: exitcode-stdio-1.0
main-is: doctests.hs
other-modules:
Main
Paths_Jikka
hs-source-dirs:
app
ghc-options: -W -threaded -rtsopts -with-rtsopts=-N -optP-Wno-nonportable-include-path
build-depends:
Jikka
, ansi-terminal ==0.11.*
, array >=0.5.3 && <0.6
, base >=4.12 && <5
, containers >=0.6.0 && <0.7
, deepseq >=1.4.4 && <1.5
, directory >=1.3.3 && <1.4
, doctest
, mtl >=2.2.2 && <2.3
, template-haskell >=2.15.0 && <2.17
, text >=1.2.3 && <1.3
, transformers >=0.5.6 && <0.6
, vector >=0.12.3 && <0.13
default-language: Haskell2010
test-suite jikka-test
type: exitcode-stdio-1.0
main-is: Spec.hs
other-modules:
Jikka.Common.MatrixSpec
Jikka.Common.Parse.JoinLinesSpec
Jikka.Common.Parse.OffsideRuleSpec
Jikka.Common.Parse.ShuntingYardSpec
Jikka.Core.Convert.AlphaSpec
Jikka.Core.Convert.ANormalSpec
Jikka.Core.Convert.BetaSpec
Jikka.Core.Convert.CloseMinSpec
Jikka.Core.Convert.CloseSumSpec
Jikka.Core.Convert.ConstantFoldingSpec
Jikka.Core.Convert.ConstantPropagationSpec
Jikka.Core.Convert.ConvexHullTrickSpec
Jikka.Core.Convert.CumulativeSumSpec
Jikka.Core.Convert.EtaSpec
Jikka.Core.Convert.KubaruToMorauSpec
Jikka.Core.Convert.MakeScanlSpec
Jikka.Core.Convert.MatrixExponentiationSpec
Jikka.Core.Convert.PropagateModSpec
Jikka.Core.Convert.RemoveUnusedVarsSpec
Jikka.Core.Convert.SegmentTreeSpec
Jikka.Core.Convert.ShortCutFusionSpec
Jikka.Core.Convert.SortAbsSpec
Jikka.Core.Convert.SpecializeFoldlSpec
Jikka.Core.Convert.TrivialLetEliminationSpec
Jikka.Core.Convert.TypeInferSpec
Jikka.Core.Convert.UnpackTupleSpec
Jikka.Core.EvaluateSpec
Jikka.Core.FormatSpec
Jikka.Core.Language.ArithmeticExprSpec
Jikka.Core.Language.AssertedHintSpec
Jikka.Core.Language.BetaSpec
Jikka.Core.Language.EtaSpec
Jikka.Core.ParseSpec
Jikka.CPlusPlus.Convert.FromCoreSpec
Jikka.CPlusPlus.Convert.MoveSemanticsSpec
Jikka.CPlusPlus.Convert.UnpackTuplesSpec
Jikka.CPlusPlus.FormatSpec
Jikka.Python.Convert.ToRestrictedPythonSpec
Jikka.Python.Parse.AlexSpec
Jikka.Python.Parse.HappySpec
Jikka.Python.ParseSpec
Jikka.RestrictedPython.Convert.AlphaSpec
Jikka.RestrictedPython.Convert.RemoveUnbalancedIfSpec
Jikka.RestrictedPython.Convert.RemoveUnreachableSpec
Jikka.RestrictedPython.Convert.ResolveBuiltinSpec
Jikka.RestrictedPython.Convert.SplitLoopsSpec
Jikka.RestrictedPython.Convert.ToCoreSpec
Jikka.RestrictedPython.Convert.TypeInferSpec
Jikka.RestrictedPython.EvaluateSpec
Jikka.RestrictedPython.FormatSpec
Jikka.RestrictedPython.Language.BuiltinSpec
Jikka.RestrictedPython.Language.LintSpec
Jikka.RestrictedPython.Language.TypeInferSpec
Jikka.RestrictedPython.Language.UtilSpec
Jikka.RestrictedPython.Language.VariableAnalysisSpec
Paths_Jikka
hs-source-dirs:
test
ghc-options: -W -threaded -rtsopts -with-rtsopts=-N -optP-Wno-nonportable-include-path
build-tool-depends:
hspec-discover:hspec-discover
build-depends:
Jikka
, ansi-terminal ==0.11.*
, array >=0.5.3 && <0.6
, base >=4.12 && <5
, containers >=0.6.0 && <0.7
, deepseq >=1.4.4 && <1.5
, directory >=1.3.3 && <1.4
, hspec
, mtl >=2.2.2 && <2.3
, template-haskell >=2.15.0 && <2.17
, text >=1.2.3 && <1.3
, transformers >=0.5.6 && <0.6
, vector >=0.12.3 && <0.13
default-language: Haskell2010