copar.cabal

name:                copar
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:
build-type:          Custom
cabal-version:       >=1.24

custom-setup
  setup-depends:
    base, Cabal, cabal-doctest >= 1.0.2 && <1.1

flag release
  description:         Disable sanity checks for more speed and less safety
  default:             False

library
  hs-source-dirs:      src
  exposed-modules:     Data.MorphismEncoding
                     , Data.RefinablePartition
                     , Data.Vector.Unboxed.Mutable.Utils
                     , Data.Vector.Utils
                     , Data.Algorithm.PossibleMajorityCandidate
                     , Data.BlockQueue
                     , Data.Partition
                     , Data.Partition.Common
                     , Data.OpenUnion
                     , Data.Float.Utils
                     , Data.List.Utils
                     , Data.Text.Prettyprint
                     , Data.SumBag
                     , Copar.RefinementInterface
                     , Copar.Functors
                     , Copar.FunctorDescription
                     , Copar.Functors.Powerset
                     , Copar.Functors.Bag
                     , Copar.Functors.GroupValued
                     , Copar.Functors.MonoidValued
                     , Copar.Functors.Distribution
                     , Copar.Functors.Polynomial
                     , Copar.Functors.AbsorbingPolynomial
                     , Copar.Functors.SomeFunctor
                     , Copar.Parser
                     , Copar.Parser.Lexer
                     , Copar.Parser.Types
                     , Copar.Algorithm
                     , Copar.Algorithm.Types
                     , Copar.Algorithm.Initialize
                     , Copar.Algorithm.Split
                     , Copar.FunctorExpression.Type
                     , Copar.FunctorExpression.Parser
                     , Copar.FunctorExpression.Pretty
                     , Copar.FunctorExpression.Sorts
                     , Copar.FunctorExpression.Desorting
                     , Copar.FunctorExpression.Transform
                     , Copar.Coalgebra.Parser
                     , Copar.Coalgebra.Parser.Class
                     , Copar.Coalgebra.Parser.Internal
                     , Copar.PartitionPrinter
                     , Copar.Dot
                     , Copar.PrettyShow
                     , Copar.RewriteFunctors
                     , Copar.Timing
  default-extensions:  GADTs
                     , StandaloneDeriving
                     , DeriveFunctor
                     , DeriveFoldable
                     , DeriveTraversable
                     , TypeFamilies
                     , InstanceSigs
                     , OverloadedStrings
                     , TupleSections
                     , LambdaCase
                     , ScopedTypeVariables
                     , TypeApplications
                     , RankNTypes
  default-language:    Haskell2010
  build-depends:       base >= 4.11
                     , bytestring
                     , containers
                     , deepseq
                     , deriving-compat
                     , extra
                     , ieee754 >= 0.8.0 && <0.9
                     , megaparsec >= 7 && <8
                     , microlens
                     , microlens-platform
                     , microlens-th
                     , mtl
                     , prettyprinter >= 1.2.1
                     , prettyprinter-ansi-terminal >= 1.1.1.2
                     , primitive >= 0.6.4 && <0.7
                     , scientific >= 0.3.6 && < 0.4
                     , text
                     , unordered-containers
                     , vector
                     , vector-algorithms
                     , vector-th-unbox >= 0.2 && <0.3
  ghc-options:         -Wall -Wno-name-shadowing
  if flag(release)
    cpp-options:       -DRELEASE

executable copar
  main-is:             Main.hs
  build-depends:       base >=4.11 && <4.13
  hs-source-dirs:      src/main
  default-language:    Haskell2010
  build-depends:       copar
                     , containers
                     , text
                     , vector
                     , bytestring
                     , deepseq
                     , optparse-applicative
                     , json
                     , scientific >= 0.3.6 && < 0.4
                     , prettyprinter
                     , prettyprinter-ansi-terminal
                     , prettyprinter-convert-ansi-wl-pprint
                     , pretty-show >= 1.7 && <1.10

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
                     , Data.Algorithm.PossibleMajorityCandidateSpec
                     , Data.BlockQueueSpec
                     , Data.PartitionSpec
                     , Data.OpenUnionSpec
                     , Data.List.UtilsSpec
                     , Data.Float.UtilsSpec
                     , Data.SumBagSpec
                     , Copar.Functors.PowersetSpec
                     , Copar.Functors.GroupValuedSpec
                     , Copar.Functors.BagSpec
                     , Copar.Functors.DistributionSpec
                     , Copar.Functors.PolynomialSpec
                     , Copar.Functors.MonoidValuedSpec
                     , Copar.Functors.AbsorbingPolynomialSpec
                     , Copar.FunctorExpression.ParserSpec
                     , Copar.FunctorExpression.PrettySpec
                     , Copar.FunctorExpression.SortsSpec
                     , Copar.Coalgebra.ParserSpec
                     , Copar.Parser.LexerSpec
                     , Copar.Algorithm.InitializeSpec
                     , Copar.Algorithm.SplitSpec
  default-language:    Haskell2010
  default-extensions:  GADTs
                     , StandaloneDeriving
                     , DeriveFunctor
                     , DeriveFoldable
                     , DeriveTraversable
                     , TypeFamilies
                     , InstanceSigs
                     , OverloadedStrings
                     , TupleSections
                     , ScopedTypeVariables
                     , TypeApplications
                     , RankNTypes
  build-depends:       base >= 4.11
                     , hspec
                     , QuickCheck
                     , vector
                     , vector-algorithms
                     , bytestring
                     , text
                     , megaparsec >= 7 && <8
                     , hspec-megaparsec >= 2.0 && <2.1
                     , microlens-platform
                     , unordered-containers
                     , containers
                     , mtl
                     , copar
  build-tool-depends: hspec-discover:hspec-discover ==2.*

test-suite doctests
  type:                exitcode-stdio-1.0
  hs-source-dirs:      tests
  main-is:             DocTests.hs
  default-language:    Haskell2010
  build-depends:       base >= 4.11
                     , copar
                     , doctest

test-suite examples
  type:                exitcode-stdio-1.0
  hs-source-dirs:      tests
  main-is:             Examples.hs
  default-language:    Haskell2010
  build-depends:       base >= 4.11
                     , copar
                     , hspec
                     , directory
                     , text
                     , extra

benchmark bench
  type:                exitcode-stdio-1.0
  hs-source-dirs:      bench
  main-is:             BenchMain.hs
  other-modules:       Copar.Coalgebra.BenchParser
                     , Copar.Functors.BenchGroupValued
                     , Copar.Parser.BenchLexer
                     , Data.List.BenchUtils
                     , Copar.Algorithm.BenchInitialize
                     , Data.BenchRefinablePartition
                     , Data.BenchBlockQueue
  default-extensions:  GADTs
                     , StandaloneDeriving
                     , DeriveFunctor
                     , DeriveFoldable
                     , DeriveTraversable
                     , TypeFamilies
                     , InstanceSigs
                     , OverloadedStrings
                     , TupleSections
                     , ScopedTypeVariables
                     , TypeApplications
                     , RankNTypes
  build-depends:       base >= 4.11
                     , copar
                     , criterion
                     , text
                     , megaparsec >= 7 && <8
                     , deepseq
                     , vector
                     , mtl
  default-language:    Haskell2010
  ghc-options:         -Wall

executable prism-converter
  hs-source-dirs:      src/prism-converter
  main-is:             Main.hs
  other-modules:       Parser
                     , MarkovChain
                     , Mdp
                     , StatesFile
  default-language:    Haskell2010
  build-depends:       base >= 4.11
                     , text
                     , vector
                     , megaparsec >= 7
                     , containers
                     , optparse-applicative
                     , prettyprinter
                     , prettyprinter-ansi-terminal
                     , prettyprinter-convert-ansi-wl-pprint
                     , microlens
                     , microlens-th
                     , microlens-platform

executable random-dfa
  hs-source-dirs:      src/random-dfa
  main-is:             Main.hs
  other-modules:       Type
                     , CoalgOutput
                     , DotOutput
                     , ValmariOutput
  default-language:    Haskell2010
  default-extensions:  OverloadedStrings
                     , LambdaCase
                     , MultiParamTypeClasses
                     , FlexibleInstances
                     , FunctionalDependencies
  build-depends:       base >= 4.11
                     , vector
                     , microlens
                     , microlens-th
                     , microlens-platform
                     , random
                     , text
                     , optparse-applicative