hakaru-0.3.0: hakaru.cabal
-- To understand this, see http://haskell.org/cabal/users-guide/
cabal-version: >=1.16
build-type: Simple
name: hakaru
version: 0.3.0
synopsis: A probabilistic programming language
description: Hakaru is a simply-typed probabilistic programming language, designed
for easy specification of probabilistic models, and inference algorithms.
homepage: http://indiana.edu/~ppaml/
license: BSD3
license-file: LICENSE
author: The Hakaru Team
maintainer: ppaml@indiana.edu
-- copyright:
category: Language
-- extra-source-files:
----------------------------------------------------------------
Source-Repository head
Type: git
Location: https://github.com/hakaru-dev/hakaru
----------------------------------------------------------------
Flag traceDisintegrate
Default: False
Description: Insert tracing code to help debug disintegration.
----------------------------------------------------------------
Library
Hs-Source-Dirs: haskell
Default-Language: Haskell2010
GHC-Options: -Wall -fwarn-tabs -j6
if flag(traceDisintegrate)
Cpp-Options: -D__TRACE_DISINTEGRATE__
exposed-modules: Language.Hakaru.Syntax.IClasses,
Language.Hakaru.Syntax.ABT,
Language.Hakaru.Syntax.Variable,
Language.Hakaru.Syntax.Value,
Language.Hakaru.Syntax.Datum,
Language.Hakaru.Syntax.DatumABT,
Language.Hakaru.Syntax.DatumCase,
Language.Hakaru.Types.DataKind,
Language.Hakaru.Types.Sing,
Language.Hakaru.Types.HClasses,
Language.Hakaru.Types.Coercion,
Language.Hakaru.Syntax.AST,
Language.Hakaru.Syntax.AST.Transforms,
Language.Hakaru.Syntax.AST.Sing,
Language.Hakaru.Syntax.AST.Eq,
Language.Hakaru.Syntax.TypeCheck,
Language.Hakaru.Syntax.TypeOf,
Language.Hakaru.Syntax.Prelude,
Language.Hakaru.Parser.AST,
Language.Hakaru.Parser.Maple,
Language.Hakaru.Parser.Parser,
Language.Hakaru.Parser.SymbolResolve,
Language.Hakaru.Pretty.Haskell,
Language.Hakaru.Pretty.Concrete,
Language.Hakaru.Pretty.Maple,
Language.Hakaru.Runtime.Prelude,
Language.Hakaru.Observe,
Language.Hakaru.Simplify,
Language.Hakaru.Sample,
Language.Hakaru.Evaluation.Types,
Language.Hakaru.Evaluation.Lazy,
Language.Hakaru.Evaluation.PEvalMonad,
Language.Hakaru.Evaluation.EvalMonad
Language.Hakaru.Evaluation.ConstantPropagation,
Language.Hakaru.Evaluation.DisintegrationMonad,
Language.Hakaru.Evaluation.Coalesce,
Language.Hakaru.Disintegrate,
Language.Hakaru.Evaluation.ExpectMonad,
Language.Hakaru.Expect,
Language.Hakaru.Inference,
Language.Hakaru.Command,
Language.Hakaru.CodeGen.Wrapper,
Language.Hakaru.CodeGen.Flatten,
Language.Hakaru.CodeGen.CodeGenMonad,
Language.Hakaru.CodeGen.Types,
Language.Hakaru.CodeGen.AST,
Language.Hakaru.CodeGen.Pretty,
Data.Number.Nat,
Data.Number.Natural
other-modules: System.MapleSSH
build-depends: base >= 4.7 && < 5.0,
Cabal >= 1.16,
ghc-prim >= 0.3 && < 0.6,
transformers >= 0.3 && < 0.6,
containers >= 0.5 && < 0.6,
semigroups >= 0.16,
pretty >= 1.1 && < 1.2,
logfloat >= 0.13 && < 0.14,
math-functions >= 0.1 && < 0.3,
vector >= 0.10,
indentation-parsec >= 0.0,
ansi-terminal >= 0.6,
text >= 0.11 && < 1.3,
parsec >= 3.1 && < 3.2,
mwc-random >= 0.13 && < 0.14,
directory >= 1.2 && < 1.3,
integration >= 0.2.0 && < 0.3.0,
primitive >= 0.5 && < 0.7,
process >= 1.1 && < 2.0,
HUnit >= 1.2 && < 2.0,
mtl >= 2.1,
filepath >= 1.1.0.2
----------------------------------------------------------------
Test-Suite system-testsuite
Type: exitcode-stdio-1.0
Main-is: Tests/TestSuite.hs
Hs-Source-Dirs: haskell
Default-Language: Haskell2010
GHC-Options: -Wall -fwarn-tabs
Build-Depends: base >= 4.6 && < 5.0,
Cabal >= 1.16,
ghc-prim >= 0.3 && < 0.6,
indentation-parsec >= 0.0,
transformers >= 0.3 && < 0.6,
containers >= 0.5 && < 0.6,
semigroups >= 0.16,
logfloat >= 0.13 && < 0.14,
parsec >= 3.1 && < 3.2,
primitive >= 0.5 && < 0.7,
pretty >= 1.1 && < 1.2,
mwc-random >= 0.13 && < 0.14,
math-functions >= 0.1 && < 0.3,
integration >= 0.2 && < 0.3,
ansi-terminal >= 0.6,
HUnit >= 1.2 && < 2.0,
QuickCheck >= 2.6,
process >= 1.1 && < 2.0,
mtl >= 2.1,
vector >= 0.10,
text >= 0.11 && < 1.3
----------------------------------------------------------------
Executable hakaru
Main-is: Hakaru.hs
Hs-Source-Dirs: commands
Default-Language: Haskell2010
GHC-Options: -O2 -Wall -fwarn-tabs
build-depends: base >= 4.7 && < 5.0,
mwc-random >= 0.13 && < 0.14,
text >= 0.11 && < 1.3,
pretty >= 1.1 && < 1.2,
hakaru >= 0.3
----------------------------------------------------------------
Executable compile
Main-is: Compile.hs
Hs-Source-Dirs: commands
Default-Language: Haskell2010
GHC-Options: -O2 -Wall -fwarn-tabs
build-depends: base >= 4.7 && < 5.0,
mwc-random >= 0.13 && < 0.14,
text >= 0.11 && < 1.3,
pretty >= 1.1 && < 1.2,
filepath >= 1.3,
hakaru >= 0.3
----------------------------------------------------------------
Executable simplify
Main-is: Simplify.hs
Hs-Source-Dirs: commands
Default-Language: Haskell2010
GHC-Options: -O2 -Wall -fwarn-tabs
build-depends: base >= 4.7 && < 5.0,
mwc-random >= 0.13 && < 0.14,
text >= 0.11 && < 1.3,
pretty >= 1.1 && < 1.2,
optparse-applicative >= 0.11 && < 0.13,
hakaru >= 0.3
----------------------------------------------------------------
Executable density
Main-is: Density.hs
Hs-Source-Dirs: commands
Default-Language: Haskell2010
GHC-Options: -O2 -Wall -fwarn-tabs
build-depends: base >= 4.7 && < 5.0,
mwc-random >= 0.13 && < 0.14,
text >= 0.11 && < 1.3,
pretty >= 1.1 && < 1.2,
hakaru >= 0.3
----------------------------------------------------------------
Executable disintegrate
Main-is: Disintegrate.hs
Hs-Source-Dirs: commands
Default-Language: Haskell2010
GHC-Options: -O2 -Wall -fwarn-tabs
build-depends: base >= 4.7 && < 5.0,
mwc-random >= 0.13 && < 0.14,
text >= 0.11 && < 1.3,
pretty >= 1.1 && < 1.2,
hakaru >= 0.3
----------------------------------------------------------------
Executable pretty
Main-is: Pretty.hs
Hs-Source-Dirs: commands
Default-Language: Haskell2010
GHC-Options: -O2 -Wall -fwarn-tabs
build-depends: base >= 4.7 && < 5.0,
text >= 0.11 && < 1.3,
pretty >= 1.1 && < 1.2,
hakaru >= 0.3
----------------------------------------------------------------
Executable momiji
Main-is: Momiji.hs
Hs-Source-Dirs: commands
Default-Language: Haskell2010
GHC-Options: -O2 -Wall -fwarn-tabs
build-depends: base >= 4.7 && < 5.0,
text >= 0.11 && < 1.3,
hakaru >= 0.3
----------------------------------------------------------------
Executable normalize
Main-is: Normalize.hs
Hs-Source-Dirs: commands
Default-Language: Haskell2010
GHC-Options: -O2 -Wall -fwarn-tabs
build-depends: base >= 4.7 && < 5.0,
mwc-random >= 0.13 && < 0.14,
text >= 0.11 && < 1.3,
mtl >= 2.1,
pretty >= 1.1 && < 1.2,
hakaru >= 0.3
----------------------------------------------------------------
Executable hkc
Main-is: HKC.hs
Hs-Source-Dirs: commands
Default-Language: Haskell2010
GHC-Options: -O2 -Wall -fwarn-tabs
build-depends: base >= 4.7 && < 5.0,
containers >= 0.5 && < 0.6,
text >= 0.11 && < 1.3,
mtl >= 2.1,
optparse-applicative >= 0.11 && < 0.13,
pretty >= 1.1 && < 1.2,
process >= 1.1 && < 2.0,
hakaru >= 0.3,
semigroups >= 0.16
----------------------------------------------------------------
Executable mh
Main-is: Mh.hs
Hs-Source-Dirs: commands
Default-Language: Haskell2010
GHC-Options: -O2 -Wall -fwarn-tabs
build-depends: base >= 4.7 && < 5.0,
mwc-random >= 0.13 && < 0.14,
text >= 0.11 && < 1.3,
mtl >= 2.1,
pretty >= 1.1 && < 1.2,
hakaru >= 0.3
----------------------------------------------------------------
----------------------------------------------------------- fin.