-
Notifications
You must be signed in to change notification settings - Fork 0
/
RaTRS.cabal
149 lines (144 loc) · 2.91 KB
/
RaTRS.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
-- This file has been generated from package.yaml by hpack version 0.20.0.
--
-- see: https://github.com/sol/hpack
--
-- hash: de1e88087a52c2a0295404b095bc64862d411077bca18fd2fc36fe9730132366
name: RaTRS
version: 17
author: Daniel Raffler
maintainer: [email protected]
license: GPL-3
license-file: LICENSE
build-type: Simple
cabal-version: >= 1.10
extra-source-files:
LICENSE
library
hs-source-dirs:
src
default-extensions: OverloadedStrings LambdaCase NoImplicitPrelude
build-depends:
Earley
, base
, bifunctors
, containers
, directory
, fgl
, graphviz
, optparse-applicative
, protolude
, sparse-linear-algebra
, tasty
, tasty-quickcheck
, text
, wl-pprint-text
exposed-modules:
Core
Core.Data.Rewrite
Core.Data.Grammar
Core.Data.Program
Core.Data.Automata
Core.Data.Types
Core.Data.Symbol
Core.Semiring.Nat
Core.Parse
Core.Run
other-modules:
App.Main
Core.Data.Matrix
Core.Data.Rules
Core.Type
Pre
Tasty.Automata
Tasty.Eval
Tasty.Main
Tasty.Type
Paths_RaTRS
default-language: Haskell2010
executable trs
main-is: App/Main.hs
hs-source-dirs:
src
default-extensions: OverloadedStrings LambdaCase NoImplicitPrelude
ghc-options: -main-is App.Main
build-depends:
Earley
, RaTRS
, base
, bifunctors
, containers
, directory
, fgl
, graphviz
, optparse-applicative
, protolude
, sparse-linear-algebra
, tasty
, tasty-quickcheck
, text
, wl-pprint-text
other-modules:
Core
Core.Data.Automata
Core.Data.Grammar
Core.Data.Matrix
Core.Data.Program
Core.Data.Rewrite
Core.Data.Rules
Core.Data.Symbol
Core.Data.Types
Core.Parse
Core.Run
Core.Semiring.Nat
Core.Type
Pre
Tasty.Automata
Tasty.Eval
Tasty.Main
Tasty.Type
Paths_RaTRS
default-language: Haskell2010
test-suite tasty
type: exitcode-stdio-1.0
main-is: Tasty/Main.hs
hs-source-dirs:
src
default-extensions: OverloadedStrings LambdaCase NoImplicitPrelude
ghc-options: -main-is Tasty.Main
build-depends:
Earley
, RaTRS
, base
, bifunctors
, containers
, directory
, fgl
, graphviz
, optparse-applicative
, protolude
, sparse-linear-algebra
, tasty
, tasty-quickcheck
, text
, wl-pprint-text
other-modules:
App.Main
Core
Core.Data.Automata
Core.Data.Grammar
Core.Data.Matrix
Core.Data.Program
Core.Data.Rewrite
Core.Data.Rules
Core.Data.Symbol
Core.Data.Types
Core.Parse
Core.Run
Core.Semiring.Nat
Core.Type
Pre
Tasty.Automata
Tasty.Eval
Tasty.Type
Paths_RaTRS
default-language: Haskell2010