ma.cabal 6.85 KB
Newer Older
Hans-Peter Deifel's avatar
Hans-Peter Deifel committed
1
2
3
4
5
6
7
8
9
10
11
12
13
-- Initial ma.cabal generated by cabal init.  For further documentation,
-- see http://haskell.org/cabal/users-guide/

name:                ma
version:             0.1.0.0
-- synopsis:
-- description:
--license:             GPL-3
--license-file:        LICENSE
author:              Hans-Peter Deifel
maintainer:          hans-peter.deifel@fau.de
-- copyright:
-- category:
14
15
16
17
18
19
build-type:          Custom
cabal-version:       >=1.24
                     
custom-setup
  setup-depends:
    base, Cabal, cabal-doctest >= 1.0.2 && <1.1
Hans-Peter Deifel's avatar
Hans-Peter Deifel committed
20
21
22
23

library
  hs-source-dirs:      src
  exposed-modules:     Data.MorphismEncoding
24
25
                     , Data.RefinablePartition
                     , Data.Vector.Unboxed.Mutable.Utils
26
                     , Data.Vector.Utils
27
                     , Data.Algorithm.PossibleMajorityCandidate
28
                     , Data.BlockQueue
29
                     , Data.Partition
30
                     , Data.Partition.Common
31
                     , Data.OpenUnion
32
                     , MA.RefinementInterface
33
34
                     , MA.Functors
                     , MA.Functors.Powerset
Hans-Peter Deifel's avatar
Hans-Peter Deifel committed
35
                     , MA.Functors.Bag
36
                     , MA.Functors.MonoidValued
37
                     , MA.Functors.Distribution
38
                     , MA.Functors.Polynomial
39
                     , MA.Functors.SomeFunctor
40
41
42
                     , MA.Parser
                     , MA.Parser.Lexer
                     , MA.Parser.Types
43
                     , MA.Algorithm
44
45
46
                     , MA.Algorithm.Types
                     , MA.Algorithm.Initialize
                     , MA.Algorithm.Split
47
                     , MA.Algorithm.Internal
48
49
                     , MA.FunctorExpression.Type
                     , MA.FunctorExpression.Parser
50
                     , MA.FunctorExpression.Pretty
51
                     , MA.FunctorExpression.Sorts
Hans-Peter Deifel's avatar
Hans-Peter Deifel committed
52
                     , MA.FunctorExpression.Desorting
53
                     , MA.Coalgebra.Parser
54
                     , MA.Coalgebra.Parser.Class
55
                     , MA.Coalgebra.Parser.Internal
56
                     , MA.Coalgebra.RefinementTypes
57
                     , MA.PartitionPrinter
58
59
60
61
62
63
64
65
66
  default-extensions:  GADTs
                     , StandaloneDeriving
                     , DeriveFunctor
                     , DeriveFoldable
                     , DeriveTraversable
                     , TypeFamilies
                     , InstanceSigs
                     , OverloadedStrings
                     , TupleSections
67
                     , LambdaCase
68
69
70
                     , ScopedTypeVariables
                     , TypeApplications
                     , RankNTypes
Hans-Peter Deifel's avatar
Hans-Peter Deifel committed
71
72
73
74
75
76
  default-language:    Haskell2010
  build-depends:       base
                     , vector
                     , text
                     , unordered-containers
                     , bytestring
77
78
79
80
                     , primitive
                     , vector-algorithms
                     , microlens
                     , microlens-th
81
                     , microlens-platform
82
                     , deepseq
83
84
                     , mtl
                     , extra
85
                     , containers
86
                     , megaparsec
Hans-Peter Deifel's avatar
Hans-Peter Deifel committed
87
                     , deriving-compat
Hans-Peter Deifel's avatar
Hans-Peter Deifel committed
88
89
90
91
92
93
94
95
96
97
98

executable ma
  main-is:             Main.hs
  build-depends:       base >=4.10 && <4.11
  hs-source-dirs:      src/main
  default-language:    Haskell2010
  build-depends:       ma
                     , containers
                     , text
                     , vector
                     , bytestring
99
                     , deepseq
100
101
102
103
104
105
106

test-suite spec
  type:                exitcode-stdio-1.0
  hs-source-dirs:      tests
  main-is:             Spec.hs
  other-modules:       Data.RefinablePartitionSpec
                     , Data.Vector.Unboxed.Mutable.UtilsSpec
107
                     , Data.Algorithm.PossibleMajorityCandidateSpec
Hans-Peter Deifel's avatar
Hans-Peter Deifel committed
108
                     , Data.BlockQueueSpec
109
                     , Data.PartitionSpec
110
                     , Data.OpenUnionSpec
111
112
                     , MA.Functors.PowersetSpec
                     , MA.Functors.MonoidValuedSpec
Hans-Peter Deifel's avatar
Hans-Peter Deifel committed
113
                     , MA.Functors.BagSpec
114
                     , MA.Functors.DistributionSpec
115
                     , MA.Functors.PolynomialSpec
116
                     , MA.FunctorExpression.ParserSpec
117
                     , MA.FunctorExpression.PrettySpec
118
                     , MA.FunctorExpression.SortsSpec
119
                     , MA.Coalgebra.ParserSpec
120
                     , MA.Parser.LexerSpec
121
  default-language:    Haskell2010
122
123
124
125
126
127
128
129
130
  default-extensions:  GADTs
                     , StandaloneDeriving
                     , DeriveFunctor
                     , DeriveFoldable
                     , DeriveTraversable
                     , TypeFamilies
                     , InstanceSigs
                     , OverloadedStrings
                     , TupleSections
131
132
133
                     , ScopedTypeVariables
                     , TypeApplications
                     , RankNTypes
134
135
136
137
  build-depends:       base
                     , hspec
                     , QuickCheck
                     , vector
138
                     , vector-algorithms
139
140
                     , bytestring
                     , text
141
142
                     , megaparsec
                     , hspec-megaparsec
143
                     , microlens-platform
144
145
                     , unordered-containers
                     , containers
146
                     , ma
Hans-Peter Deifel's avatar
Hans-Peter Deifel committed
147
148
149
150
151
152
153
154
155

test-suite doctests
  type:                exitcode-stdio-1.0
  hs-source-dirs:      tests
  main-is:             DocTests.hs
  default-language:    Haskell2010
  build-depends:       base
                     , ma
                     , doctest
156
157
158
159
160
161
162
163
164
165
166

test-suite examples
  type:                exitcode-stdio-1.0
  hs-source-dirs:      tests
  main-is:             Examples.hs
  default-language:    Haskell2010
  build-depends:       base
                     , ma
                     , hspec
                     , directory
                     , text
167
                     , extra
168
169
170
171
172

benchmark bench
  type:                exitcode-stdio-1.0
  hs-source-dirs:      bench
  main-is:             BenchMain.hs
173
  other-modules:       MA.Coalgebra.BenchParser
174
                     , MA.Functors.BenchMonoidValued
175
                     , MA.Parser.BenchLexer
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
  default-extensions:  GADTs
                     , StandaloneDeriving
                     , DeriveFunctor
                     , DeriveFoldable
                     , DeriveTraversable
                     , TypeFamilies
                     , InstanceSigs
                     , OverloadedStrings
                     , TupleSections
                     , ScopedTypeVariables
                     , TypeApplications
                     , RankNTypes
  build-depends:       base
                     , ma
                     , criterion
                     , text
                     , megaparsec
                     , deepseq
194
195
                     , vector
                     , mtl
196
197
  default-language:    Haskell2010
  ghc-options:         -Wall