hakaru-0.4.0: hakaru.cabal
-- To understand this, see http://haskell.org/cabal/users-guide/
cabal-version: >=1.16
build-type: Simple
name: hakaru
version: 0.4.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.Reducer,
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.ANF,
Language.Hakaru.Syntax.Uniquify,
Language.Hakaru.Syntax.Unroll,
Language.Hakaru.Syntax.AST,
Language.Hakaru.Syntax.AST.Transforms,
Language.Hakaru.Syntax.AST.Sing,
Language.Hakaru.Syntax.AST.Eq,
Language.Hakaru.Syntax.Command,
Language.Hakaru.Syntax.CSE,
Language.Hakaru.Syntax.Gensym,
Language.Hakaru.Syntax.Rename,
Language.Hakaru.Syntax.Hoist,
Language.Hakaru.Syntax.Prune,
Language.Hakaru.Syntax.TypeCheck,
Language.Hakaru.Syntax.TypeOf,
Language.Hakaru.Syntax.Prelude,
Language.Hakaru.Parser.AST,
Language.Hakaru.Parser.Maple,
Language.Hakaru.Parser.Import,
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.Runtime.LogFloatPrelude,
Language.Hakaru.Runtime.CmdLine,
Language.Hakaru.Runtime.LogFloatCmdLine,
Language.Hakaru.Observe,
Language.Hakaru.Maple,
Language.Hakaru.Simplify,
Language.Hakaru.Summary,
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,
Language.Hakaru.CodeGen.Libs,
Data.Number.Nat,
Data.Number.Natural
Data.Text.Utf8
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,
transformers-compat >= 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.4,
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,
bytestring >= 0.9,
optparse-applicative >= 0.11 && < 0.15
----------------------------------------------------------------
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
other-modules: Data.Number.Nat
Data.Number.Natural
Data.Text.Utf8
Language.Hakaru.Command
Language.Hakaru.Disintegrate
Language.Hakaru.Evaluation.Coalesce
Language.Hakaru.Evaluation.ConstantPropagation
Language.Hakaru.Evaluation.DisintegrationMonad
Language.Hakaru.Evaluation.EvalMonad
Language.Hakaru.Evaluation.ExpectMonad
Language.Hakaru.Evaluation.Lazy
Language.Hakaru.Evaluation.PEvalMonad
Language.Hakaru.Evaluation.Types
Language.Hakaru.Expect
Language.Hakaru.Inference
Language.Hakaru.Parser.AST
Language.Hakaru.Parser.Import
Language.Hakaru.Parser.Maple
Language.Hakaru.Parser.Parser
Language.Hakaru.Parser.SymbolResolve
Language.Hakaru.Pretty.Concrete
Language.Hakaru.Pretty.Haskell
Language.Hakaru.Pretty.Maple
Language.Hakaru.Sample
Language.Hakaru.Simplify
Language.Hakaru.Syntax.ABT
Language.Hakaru.Syntax.ANF
Language.Hakaru.Syntax.AST
Language.Hakaru.Syntax.AST.Eq
Language.Hakaru.Syntax.AST.Sing
Language.Hakaru.Syntax.CSE
Language.Hakaru.Syntax.Datum
Language.Hakaru.Syntax.DatumABT
Language.Hakaru.Syntax.DatumCase
Language.Hakaru.Syntax.Gensym
Language.Hakaru.Syntax.Hoist
Language.Hakaru.Syntax.IClasses
Language.Hakaru.Syntax.Prelude
Language.Hakaru.Syntax.Prune
Language.Hakaru.Syntax.Reducer
Language.Hakaru.Syntax.TypeCheck
Language.Hakaru.Syntax.TypeOf
Language.Hakaru.Syntax.Uniquify
Language.Hakaru.Syntax.Unroll
Language.Hakaru.Syntax.Value
Language.Hakaru.Syntax.Variable
Language.Hakaru.Types.Coercion
Language.Hakaru.Types.DataKind
Language.Hakaru.Types.HClasses
Language.Hakaru.Types.Sing
System.MapleSSH
Tests.ASTTransforms
Tests.Disintegrate
Tests.Models
Tests.Parser
Tests.RoundTrip
Tests.Sample
Tests.Simplify
Tests.TestTools
Tests.TypeCheck
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,
bytestring >= 0.9,
directory >= 1.2 && < 1.4,
optparse-applicative >= 0.11 && < 0.15
----------------------------------------------------------------
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,
vector >= 0.10,
optparse-applicative >= 0.11 && < 0.15,
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,
optparse-applicative >= 0.11 && < 0.15,
hakaru >= 0.3
----------------------------------------------------------------
Executable summary
Main-is: Summary.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,
optparse-applicative >= 0.11 && < 0.15,
hakaru >= 0.3
----------------------------------------------------------------
Executable hk-maple
Main-is: HkMaple.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.13 && < 0.15,
containers >= 0.5 && < 0.6,
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,
optparse-applicative >= 0.11 && < 0.15,
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.15,
pretty >= 1.1 && < 1.2,
process >= 1.1 && < 2.0,
semigroups >= 0.16,
hakaru >= 0.3
----------------------------------------------------------------
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.