hakaru-0.3.0: A probabilistic programming language

CopyrightCopyright (c) 2016 the Hakaru team
LicenseBSD3
Maintainerwren@community.haskell.org
Stabilityexperimental
PortabilityGHC-only
Safe HaskellNone
LanguageHaskell2010

Language.Hakaru.Syntax.DatumABT

Description

Stuff that depends on both Language.Hakaru.Syntax.ABT and Language.Hakaru.Syntax.Datum; factored out to avoid the cyclic dependency issues.

Documentation

fromGBranch :: ABT syn abt => GBranch a (abt '[] b) -> Branch a abt b Source #

toGBranch :: ABT syn abt => Branch a abt b -> GBranch a (abt '[] b) Source #