hakaru-0.7.0: hakaru.cabal
-- To understand this, see http://haskell.org/cabal/users-guide/
cabal-version: >=1.16
build-type: Simple
name: hakaru
version: 0.7.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://hakaru-dev.github.io/
license: BSD3
license-file: LICENSE
author: The Hakaru Team
maintainer: ppaml@indiana.edu
-- copyright:
category: Language
-- extra-source-files:
tested-with: GHC==8.10.2, GHC==8.6.4, GHC==8.4.4, GHC==8.2.2, GHC==8.0.2, GHC==7.10.3, GHC==7.8.4
----------------------------------------------------------------
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.AST,
Language.Hakaru.Syntax.AST.Eq,
Language.Hakaru.Syntax.AST.Sing,
Language.Hakaru.Syntax.AST.Transforms,
Language.Hakaru.Syntax.CSE,
Language.Hakaru.Syntax.Gensym,
Language.Hakaru.Syntax.Hoist,
Language.Hakaru.Syntax.Prelude,
Language.Hakaru.Syntax.Prune,
Language.Hakaru.Syntax.Rename,
Language.Hakaru.Syntax.SArgs,
Language.Hakaru.Syntax.Transform,
Language.Hakaru.Syntax.TypeCheck,
Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad,
Language.Hakaru.Syntax.TypeCheck.Unification,
Language.Hakaru.Syntax.TypeOf,
Language.Hakaru.Syntax.Uniquify,
Language.Hakaru.Syntax.Unroll,
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.SExpression,
Language.Hakaru.Pretty.Concrete,
Language.Hakaru.Pretty.Maple,
Language.Hakaru.Runtime.Prelude,
Language.Hakaru.Runtime.LogFloatPrelude,
Language.Hakaru.Runtime.CmdLine,
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.Repl,
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
Text.Parsec.Indentation
Text.Parsec.Indentation.Char
Text.Parsec.Indentation.Token
Text.Parser.Indentation.Implementation
build-tools: alex,
happy
build-depends: base >= 4.7 && < 5.0,
Cabal >= 1.16,
ghc-prim >= 0.3 && < 0.8,
transformers >= 0.3 && < 0.6,
transformers-compat >= 0.3 && < 0.7,
containers >= 0.5 && < 0.7,
semigroups >= 0.16,
pretty >= 1.1 && < 1.2,
logfloat >= 0.13 && < 0.14,
math-functions >= 0.1 && < 0.4,
vector >= 0.10,
text >= 0.11 && < 1.3,
parsec >= 3.1 && < 3.2,
mwc-random >= 0.13 && < 0.15,
directory >= 1.2 && < 1.4,
integration >= 0.2.0 && < 0.3.0,
primitive >= 0.5 && < 0.8,
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.16,
syb >= 0.6,
exact-combinatorics >= 0.2.0,
repline >= 0.4
----------------------------------------------------------------
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.Maple
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.Transforms
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.SArgs
Language.Hakaru.Syntax.Transform
Language.Hakaru.Syntax.TypeCheck
Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad
Language.Hakaru.Syntax.TypeCheck.Unification
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.Pretty
Tests.Relationships
Tests.RoundTrip
Tests.Sample
Tests.Simplify
Tests.TestTools
Tests.TypeCheck
build-tools: alex,
happy
Build-Depends: base >= 4.6 && < 5.0,
Cabal >= 1.16,
ghc-prim >= 0.3 && < 0.8,
transformers >= 0.3 && < 0.6,
containers >= 0.5 && < 0.7,
semigroups >= 0.16,
logfloat >= 0.13 && < 0.14,
parsec >= 3.1 && < 3.2,
primitive >= 0.5 && < 0.8,
pretty >= 1.1 && < 1.2,
mwc-random >= 0.13 && < 0.15,
math-functions >= 0.1 && < 0.4,
integration >= 0.2 && < 0.3,
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.16,
syb >= 0.6,
filepath >= 1.1.0.2,
exact-combinatorics >= 0.2.0
----------------------------------------------------------------
Executable hakaru
Main-is: Hakaru.hs
Hs-Source-Dirs: commands
Default-Language: Haskell2010
GHC-Options: -O2 -Wall -fwarn-tabs
build-tools: alex,
happy
build-depends: base >= 4.7 && < 5.0,
mwc-random >= 0.13 && < 0.15,
text >= 0.11 && < 1.3,
pretty >= 1.1 && < 1.2,
vector >= 0.10,
optparse-applicative >= 0.11 && < 0.16,
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.15,
text >= 0.11 && < 1.3,
pretty >= 1.1 && < 1.2,
filepath >= 1.3,
optparse-applicative >= 0.11 && < 0.16,
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.15,
text >= 0.11 && < 1.3,
pretty >= 1.1 && < 1.2,
filepath >= 1.3,
optparse-applicative >= 0.11 && < 0.16,
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.15,
text >= 0.11 && < 1.3,
pretty >= 1.1 && < 1.2,
optparse-applicative >= 0.13 && < 0.16,
containers >= 0.5 && < 0.7,
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.15,
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.15,
text >= 0.11 && < 1.3,
pretty >= 1.1 && < 1.2,
optparse-applicative >= 0.11 && < 0.16,
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,
optparse-applicative >= 0.11 && < 0.16,
hakaru >= 0.3
----------------------------------------------------------------
Executable prettyinternal
Main-is: PrettyInternal.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,
optparse-applicative >= 0.11 && < 0.16,
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.15,
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.7,
text >= 0.11 && < 1.3,
mtl >= 2.1,
optparse-applicative >= 0.11 && < 0.16,
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.15,
text >= 0.11 && < 1.3,
mtl >= 2.1,
pretty >= 1.1 && < 1.2,
hakaru >= 0.3
----------------------------------------------------------------
----------------------------------------------------------- fin.