-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathlanguage-toolkit.cabal
192 lines (183 loc) · 6.98 KB
/
language-toolkit.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
cabal-version: >=1.10
name: language-toolkit
-- The package version. See the Haskell package versioning policy (PVP)
-- for standards guiding when and how versions should be incremented.
-- https://pvp.haskell.org
-- PVP summary: +-+------- breaking API changes
-- | | +----- non-breaking API additions
-- | | | +--- code changes with no API change
version: 1.2.0.1
synopsis: A set of tools for analyzing languages via logic and automata
category: Formal Languages
description: This provides the Language Toolkit (LTK) library
and associated executables.
There are four main components:
.
* @factorize@,
which takes as input a set of finite-state automata
and writes out for each one a set of constraints
that approximates (or, if possible, defines) it.
.
* @plebby@,
an interactive theorem-prover in which one can
define languages via logical constraints
or import finite-state automata
and get information about the languages so defined.
.
* @classify@,
a command-line classification program useful
for batch jobs.
.
* And the @LTK@ library,
which includes the functions used by
@factorize@ and @plebby@
as well as several other useful tools.
.
This project began as a simple tool for working with
finite-state automata, and has grown considerably more
useful in working specifically with sub-regular languages
as it has matured.
homepage: https://github.com/vvulpes0/Language-Toolkit-2
license: MIT
license-file: LICENSE
author: Dakotah Lambert, James Rogers
copyright: (c) 2014-2024 Dakotah Lambert
maintainer: Dakotah Lambert <[email protected]>
tested-with: GHC ==9.8.2
build-type: Simple
extra-source-files: CHANGELOG.md
, man/classify.1
, man/dotify.1
, man/plebby.1
, man/pleb.5
, man/fr/classify.1
, man/fr/dotify.1
, man/fr/plebby.1
, man/fr/pleb.5
source-repository head
type: git
location: git://github.com/vvulpes0/Language-Toolkit-2.git
branch: develop
library
-- Modules exported by the library.
exposed-modules:
LTK
, LTK.Algebra
, LTK.Containers
, LTK.Decide
, LTK.Decide.Acom
, LTK.Decide.B
, LTK.Decide.CB
, LTK.Decide.Definite
, LTK.Decide.DotDepth
, LTK.Decide.Finite
, LTK.Decide.FO2
, LTK.Decide.GD
, LTK.Decide.GLPT
, LTK.Decide.GLT
, LTK.Decide.LAcom
, LTK.Decide.LPT
, LTK.Decide.LT
, LTK.Decide.LTT
, LTK.Decide.Multitier
, LTK.Decide.PT
, LTK.Decide.SF
, LTK.Decide.SL
, LTK.Decide.SP
, LTK.Decide.TLAcom
, LTK.Decide.TLT
, LTK.Decide.TLPT
, LTK.Decide.TLTT
, LTK.Decide.Trivial
, LTK.Decide.TSL
, LTK.Decide.Variety
, LTK.DecideM
, LTK.DecideS
, LTK.Extract
, LTK.Extract.SL
, LTK.Extract.SP
, LTK.Extract.TSL
, LTK.Factors
, LTK.FSA
, LTK.Learn.SL
, LTK.Learn.SP
, LTK.Learn.StringExt
, LTK.Learn.TSL
, LTK.Learn.TSL.AugmentedSubsequences
, LTK.Learn.TSL.ViaSL
, LTK.Parameters
, LTK.Porters
, LTK.Porters.ATT
, LTK.Porters.Corpus
, LTK.Porters.Dot
, LTK.Porters.EggBox
, LTK.Porters.Jeff
, LTK.Porters.Pleb
, LTK.Porters.SyntacticOrder
, LTK.Tiers
, LTK.Traversals
-- Modules included in this library but not exported.
-- other-modules:
build-depends: array >=0.1 && <0.6
, base >=4.2 && <5.0
, containers >=0.5 && <0.8
, deepseq >=1.1 && <1.6
, parallel >=1.0 && <3.3
, finite-semigroups >=0.1 && <0.2
hs-source-dirs: src
default-language: Haskell2010
ghc-options: -Wall -O2 -feager-blackholing
executable dotify
hs-source-dirs: dotify
main-is: Main.lhs
build-depends: base >=4.2 && <5.0
, language-toolkit
default-language: Haskell2010
ghc-options: -Wall -threaded "-with-rtsopts=-N -qg1 -C0.001"
executable factorize
hs-source-dirs: factorize
main-is: Main.lhs
build-depends: base >=4.6 && <5.0
, language-toolkit
, containers >=0.1 && <0.8
, deepseq >=1.2 && <1.6
, directory >=1.0 && <1.4
, filepath >=1.0 && <1.6
default-language: Haskell2010
ghc-options: -Wall -O2 -threaded -feager-blackholing
"-with-rtsopts=-N -qg1 -C0.001"
executable make-non-strict-constraints
hs-source-dirs: make-non-strict-constraints
main-is: Main.lhs
other-modules: LTK.ConstraintCompiler
build-depends: base >=4.0 && <5.0
, language-toolkit
, containers >=0.1 && <0.8
, deepseq >=1.2 && <1.6
, parallel >=2.0 && <3.3
default-language: Haskell2010
ghc-options: -Wall -threaded "-with-rtsopts=-N -qg1 -C0.001"
executable plebby
hs-source-dirs: plebby
main-is: Main.lhs
other-modules: LTK.Plebby.Help
build-depends: base >=4.2 && <5.0
, containers >=0.1 && <0.8
, exceptions >=0.1 && <0.11
, language-toolkit
, haskeline >=0.6.3 && <0.9
, process >=1.1 && <1.7
, transformers >=0.2 && <0.7
, directory >=1.2.3 && <1.4
, filepath >=1.0 && <1.6
default-language: Haskell2010
ghc-options: -Wall -O2 -threaded "-with-rtsopts=-N -qg1 -C0.001"
executable classify
hs-source-dirs: classify
main-is: Main.lhs
build-depends: base >=4.2 && <5.0
, containers >=0.1 && <0.8
, finite-semigroups >=0.1 && <0.2
, language-toolkit
default-language: Haskell2010
ghc-options: -Wall -O2 -threaded "-with-rtsopts=-N -qg1 -C0.001"