monad-bayes-0.1.0.0: monad-bayes.cabal

cabal-version:       2.0
name:                monad-bayes
version:             0.1.0.0
synopsis:            A library for probabilistic programming.
description:         A library for probabilistic programming using probability monads. The emphasis is on composition of inference algorithms implemented in terms of monad transformers.
homepage:            http://github.com/tweag/monad-bayes#readme
license:             MIT
license-file:        LICENSE
author:              Adam Scibior <adscib@gmail.com>
maintainer:          leonhard.markert@tweag.io
copyright:           2015-2020 Adam Scibior
bug-reports:         https://github.com/tweag/monad-bayes/issues
stability:           experimental
category:            Statistics
build-type:          Simple

extra-source-files:
  CHANGELOG.md

executable example
  hs-source-dirs:      benchmark, models
  main-is:             Single.hs
  build-depends:       base
                     , monad-bayes
                     , log-domain
                     , vector
                     , containers
                     , mwc-random
                     , time
                     , optparse-applicative
  default-language:    Haskell2010
  other-modules:       LogReg
                     , HMM
                     , LDA
                     , Dice

library
  hs-source-dirs:      src
  exposed-modules:     Control.Monad.Bayes.Class
                     , Control.Monad.Bayes.Free
                     , Control.Monad.Bayes.Sampler
                     , Control.Monad.Bayes.Weighted
                     , Control.Monad.Bayes.Sequential
                     , Control.Monad.Bayes.Population
                     , Control.Monad.Bayes.Traced.Static
                     , Control.Monad.Bayes.Traced.Dynamic
                     , Control.Monad.Bayes.Traced.Basic
                     , Control.Monad.Bayes.Traced
                     , Control.Monad.Bayes.Enumerator
                     , Control.Monad.Bayes.Helpers
                     , Control.Monad.Bayes.Inference.SMC
                     , Control.Monad.Bayes.Inference.RMSMC
                     , Control.Monad.Bayes.Inference.PMMH
                     , Control.Monad.Bayes.Inference.SMC2
  other-modules:       Control.Monad.Bayes.Traced.Common
  -- See MAINTAINERS.md for when and how to update the version bounds.
  build-depends:       base >= 4.10.1 && < 4.14
                     , containers >= 0.5.10 && < 0.7
                     , free >= 5.0.2 && < 5.2
                     , ieee754 >= 0.8.0 && < 0.9
                     , log-domain >= 0.12 && < 0.14
                     , math-functions >= 0.2.1 && < 0.4
                     , monad-coroutine >= 0.9.0 && < 0.10
                     , mtl >= 2.2.2 && < 2.3
                     , mwc-random >= 0.13.6 && < 0.15
                     , safe >= 0.3.17 && < 0.4
                     , statistics >= 0.14.0 && < 0.16
                     , transformers >= 0.5.2 && < 0.6
                     , vector >= 0.12.0 && < 0.13
  ghc-options:         -Wall -fno-warn-redundant-constraints
  default-language:    Haskell2010
  default-extensions:  RankNTypes
                     , GeneralizedNewtypeDeriving
                     , StandaloneDeriving
                     , TypeFamilies
                     , FlexibleContexts
                     , FlexibleInstances
                     , TupleSections
                     , MultiParamTypeClasses
                     , GADTs
  other-extensions:    ScopedTypeVariables
                     , DeriveFunctor

test-suite monad-bayes-test
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test, models
  main-is:             Spec.hs
  build-depends:       base
                     , monad-bayes
                     , hspec
                     , QuickCheck
                     , ieee754
                     , mtl
                     , math-functions
                     , transformers
                     , log-domain
                     , vector
  ghc-options:         -Wall -threaded -rtsopts "-with-rtsopts=-N -M1g -K1g"
  default-language:    Haskell2010
  other-modules:       Sprinkler,
                       TestEnumerator,
                       TestPopulation,
                       TestInference,
                       TestSequential,
                       TestWeighted

benchmark ssm-bench
  type:                exitcode-stdio-1.0
  hs-source-dirs:      models
                     , benchmark
  build-depends:       base
                     , monad-bayes
  default-language:    Haskell2010
  default-extensions:  RankNTypes
  main-is:             SSM.hs
  other-modules:       NonlinearSSM

benchmark speed-bench
  type:                exitcode-stdio-1.0
  hs-source-dirs:      models
                     , benchmark
  build-depends:       base
                     , monad-bayes
                     , criterion
                     , abstract-par
                     , log-domain
                     , vector
                     , mwc-random
                     , containers
                     , process
  ghc-options:         -rtsopts "-with-rtsopts=-M1g -K1g"
  default-language:    Haskell2010
  default-extensions:  RankNTypes
  main-is:             Speed.hs
  other-modules:       LogReg
                     , HMM
                     , LDA

source-repository head
  type:     git
  location: https://github.com/tweag/monad-bayes.git