Skip to content
Snippets Groups Projects
Select Git revision
  • new-parser
  • master default
  • opt/groupBy
  • otimizations
  • features/somefunctor-tagged
  • features/somefunctor-any
  • features/elim-functor-subterms
  • scratch/debug-ap-memusage
  • features/list-functors
  • scratch/subterm-elemination
  • features/true-monoids
  • features/double-max-monoid
  • features/valmari-dfa
  • restrictPartition
  • features/complex-numbers
  • fixes/monod-valued-de-GADT
  • eliminate-lists2
  • h1-initialize
  • eliminate-lists
  • bench-partition
  • megaparsec-7
21 results

ma.cabal

Blame
    • Forked from Informatik 8 / CoPaR
    Source project has a limited visibility.
    ma.cabal 5.02 KiB 
    -- 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:
build-type:          Custom
cabal-version:       >=1.24
                     
custom-setup
  setup-depends:
    base, Cabal, cabal-doctest >= 1.0.2 && <1.1

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
                     , MA.RefinementInterface
                     , MA.Functors
                     , MA.Functors.Powerset
                     , MA.Functors.FixedProduct
                     , MA.Functors.MonoidValued
                     , MA.Functors.SomeFunctor
                     , MA.Parser
                     , MA.Parser.Lexer
                     , MA.Parser.Types
                     , MA.Algorithm
                     , MA.Algorithm.Types
                     , MA.Algorithm.Initialize
                     , MA.Algorithm.Split
                     , MA.FunctorExpression.Type
                     , MA.FunctorExpression.Parser
                     , MA.FunctorExpression.Pretty
                     , MA.FunctorExpression.Sorts
                     , MA.FunctorExpression.Desorting
                     , MA.Coalgebra.Parser
                     , MA.Coalgebra.RefinementTypes
                     , MA.PartitionPrinter
  default-extensions:  GADTs
                     , StandaloneDeriving
                     , DeriveFunctor
                     , DeriveFoldable
                     , DeriveTraversable
                     , TypeFamilies
                     , InstanceSigs
                     , OverloadedStrings
                     , TupleSections
                     , LambdaCase
                     , ScopedTypeVariables
                     , TypeApplications
                     , RankNTypes
  default-language:    Haskell2010
  build-depends:       base
                     , vector
                     , text
                     , unordered-containers
                         , bytestring
                     , primitive
                     , vector-algorithms
                     , microlens
                     , microlens-th
                     , microlens-platform
                     , deepseq
                     , mtl
                     , extra
                     , containers
                     , megaparsec

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

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
                     , MA.Functors.FixedProductSpec
                     , MA.Functors.PowersetSpec
                     , MA.Functors.MonoidValuedSpec
                     , MA.FunctorExpression.ParserSpec
                     , MA.FunctorExpression.PrettySpec
                     , MA.FunctorExpression.SortsSpec
                     , MA.Coalgebra.ParserSpec
  default-language:    Haskell2010
  default-extensions:  GADTs
                     , StandaloneDeriving
                     , DeriveFunctor
                     , DeriveFoldable
                     , DeriveTraversable
                     , TypeFamilies
                     , InstanceSigs
                     , OverloadedStrings
                     , TupleSections
                     , ScopedTypeVariables
                     , TypeApplications
                     , RankNTypes
  build-depends:       base
                     , hspec
                     , QuickCheck
                     , vector
                     , vector-algorithms
                     , bytestring
                     , text
                     , megaparsec
                     , hspec-megaparsec
                     , microlens-platform
                     , ma

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