ma.cabal 5.57 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
37
                     , MA.Functors.FixedProduct
                     , MA.Functors.MonoidValued
38
                     , MA.Functors.Distribution
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
48
                     , MA.FunctorExpression.Type
                     , MA.FunctorExpression.Parser
49
                     , MA.FunctorExpression.Pretty
50
                     , MA.FunctorExpression.Sorts
Hans-Peter Deifel's avatar
Hans-Peter Deifel committed
51
                     , MA.FunctorExpression.Desorting
52
                     , MA.Coalgebra.Parser
53
                     , MA.Coalgebra.RefinementTypes
54
                     , MA.PartitionPrinter
55
56
57
58
59
60
61
62
63
  default-extensions:  GADTs
                     , StandaloneDeriving
                     , DeriveFunctor
                     , DeriveFoldable
                     , DeriveTraversable
                     , TypeFamilies
                     , InstanceSigs
                     , OverloadedStrings
                     , TupleSections
64
                     , LambdaCase
65
66
67
                     , ScopedTypeVariables
                     , TypeApplications
                     , RankNTypes
Hans-Peter Deifel's avatar
Hans-Peter Deifel committed
68
69
70
71
72
73
  default-language:    Haskell2010
  build-depends:       base
                     , vector
                     , text
                     , unordered-containers
                     , bytestring
74
75
76
77
                     , primitive
                     , vector-algorithms
                     , microlens
                     , microlens-th
78
                     , microlens-platform
79
                     , deepseq
80
81
                     , mtl
                     , extra
82
                     , containers
83
                     , megaparsec
Hans-Peter Deifel's avatar
Hans-Peter Deifel committed
84
                     , deriving-compat
Hans-Peter Deifel's avatar
Hans-Peter Deifel committed
85
86
87
88
89
90
91
92
93
94
95

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
96
97
98
99
100
101
102

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
103
                     , Data.Algorithm.PossibleMajorityCandidateSpec
Hans-Peter Deifel's avatar
Hans-Peter Deifel committed
104
                     , Data.BlockQueueSpec
105
                     , Data.PartitionSpec
106
                     , Data.OpenUnionSpec
107
108
109
                     , MA.Functors.FixedProductSpec
                     , MA.Functors.PowersetSpec
                     , MA.Functors.MonoidValuedSpec
Hans-Peter Deifel's avatar
Hans-Peter Deifel committed
110
                     , MA.Functors.BagSpec
111
                     , MA.Functors.DistributionSpec
112
                     , MA.FunctorExpression.ParserSpec
113
                     , MA.FunctorExpression.PrettySpec
114
                     , MA.FunctorExpression.SortsSpec
115
                     , MA.Coalgebra.ParserSpec
116
  default-language:    Haskell2010
117
118
119
120
121
122
123
124
125
  default-extensions:  GADTs
                     , StandaloneDeriving
                     , DeriveFunctor
                     , DeriveFoldable
                     , DeriveTraversable
                     , TypeFamilies
                     , InstanceSigs
                     , OverloadedStrings
                     , TupleSections
126
127
128
                     , ScopedTypeVariables
                     , TypeApplications
                     , RankNTypes
129
130
131
132
  build-depends:       base
                     , hspec
                     , QuickCheck
                     , vector
133
                     , vector-algorithms
134
135
                     , bytestring
                     , text
136
137
                     , megaparsec
                     , hspec-megaparsec
138
                     , microlens-platform
139
                     , ma
Hans-Peter Deifel's avatar
Hans-Peter Deifel committed
140
141
142
143
144
145
146
147
148

test-suite doctests
  type:                exitcode-stdio-1.0
  hs-source-dirs:      tests
  main-is:             DocTests.hs
  default-language:    Haskell2010
  build-depends:       base
                     , ma
                     , doctest
149
150
151
152
153
154
155
156
157
158
159

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
160
                     , extra