-- 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.