name:           ADPfusionSet
version:        0.0.0.2
author:         Christian Hoener zu Siederdissen, 2016-2017
copyright:      Christian Hoener zu Siederdissen, 2016-2017
homepage:       https://github.com/choener/ADPfusionSet
bug-reports:    https://github.com/choener/ADPfusionSet/issues
maintainer:     choener@bioinf.uni-leipzig.de
category:       Algorithms, Data Structures, Bioinformatics, Formal Languages
license:        BSD3
license-file:   LICENSE
build-type:     Simple
stability:      experimental
cabal-version:  >= 1.10.0
tested-with:    GHC == 8.0.2, GHC == 8.2.1
synopsis:       Dynamic programming for Set data structures.
description:
                <http://www.bioinf.uni-leipzig.de/Software/gADP/ generalized Algebraic Dynamic Programming>
                .
                Extensions of ADPfusion for set-(like) data structures.
                .



Extra-Source-Files:
  README.md
  changelog.md



flag examples
  description:  build the examples
  default:      False
  manual:       True

flag debug
  description:  Enable bounds checking and various other debug operations at the cost of a significant performance penalty.
  default:      False
  manual:       True

flag debugoutput
  description:  Enable debug output, which spams the screen full of index information
  default:      False
  manual:       True


library
  build-depends: base               >= 4.7      &&  < 5.0
               , bits               >= 0.4
               , containers
               , mmorph             >= 1.0
               , mtl                >= 2.0
               , primitive          >= 0.5.4
               , QuickCheck         >= 2.7
               , strict             >= 0.3
               , template-haskell   >= 2.0
               , th-orphans         >= 0.12
               , transformers       >= 0.3
               , tuple              >= 0.3
               , vector             >= 0.11
               --
               , ADPfusion          == 0.5.2.*
               , DPutils            == 0.0.1.*
               , OrderedBits        == 0.0.1.*
               , PrimitiveArray     == 0.8.0.*

  exposed-modules:
    -- multi imports
--    ADP.Fusion.Set
    ADP.Fusion.Boundary
    ADP.Fusion.EdgeBoundary
    ADP.Fusion.Set1
--    ADP.Fusion.Set2
    -- Set
--    ADP.Fusion.Core.Set
    ADP.Fusion.Core.Boundary
    ADP.Fusion.Core.EdgeBoundary
    ADP.Fusion.Core.Set1
--    ADP.Fusion.Core.Set2
--    ADP.Fusion.SynVar.Indices.Set0
    ADP.Fusion.SynVar.Indices.Set1
--    ADP.Fusion.Term.Chr.Set0
--    ADP.Fusion.Term.Edge.Set
    ADP.Fusion.Term.Edge.EdgeBoundary
    ADP.Fusion.Term.Edge.Set1
    ADP.Fusion.Term.EdgeWithSet
    ADP.Fusion.Term.EdgeWithSet.EdgeBoundary
    ADP.Fusion.Term.EdgeWithSet.Set1
    ADP.Fusion.Term.EdgeWithSet.Type
--    ADP.Fusion.Term.Edge.Set2
--    ADP.Fusion.Term.Epsilon.Set
    ADP.Fusion.Term.Epsilon.Set1
    ADP.Fusion.Term.PeekIndex.Set1
    ADP.Fusion.Term.Singleton.Set1
--    ADP.Fusion.Term.Singleton.Set2
    ADP.Fusion.Term.Singleton.Type

  default-extensions: BangPatterns
                    , ConstraintKinds
                    , CPP
                    , DataKinds
                    , DefaultSignatures
                    , FlexibleContexts
                    , FlexibleInstances
                    , GADTs
                    , KindSignatures
                    , MultiParamTypeClasses
                    , RankNTypes
                    , RecordWildCards
                    , ScopedTypeVariables
                    , StandaloneDeriving
                    , TemplateHaskell
                    , TupleSections
                    , TypeFamilies
                    , TypeOperators
                    , TypeSynonymInstances
                    , UndecidableInstances

  default-language:
    Haskell2010
  ghc-options:
    -O2 -funbox-strict-fields
  if flag(debug)
    cpp-options: -DADPFUSION_CHECKS
    ghc-options: -fno-ignore-asserts
  if flag(debugoutput)
    cpp-options: -DADPFUSION_DEBUGOUTPUT



test-suite properties
  type:
    exitcode-stdio-1.0
  main-is:
    properties.hs
  ghc-options:
    -threaded -rtsopts -with-rtsopts=-N
  hs-source-dirs:
    tests
  default-language:
    Haskell2010
  default-extensions: CPP
                    , TemplateHaskell
  build-depends: base
               , QuickCheck
               , smallcheck
               , tasty              >= 0.11
               , tasty-quickcheck   >= 0.8
               , tasty-smallcheck   >= 0.8
               , tasty-th           >= 0.1
               --
               , ADPfusionSet



source-repository head
  type: git
  location: git://github.com/choener/ADPfusionSet