hakaru-0.3.0: A probabilistic programming language

Safe HaskellNone
LanguageHaskell2010

Language.Hakaru.Syntax.AST.Transforms

Documentation

underLam :: (ABT Term abt, Monad m) => (abt '[] b -> m (abt '[] b)) -> abt '[] (a :-> b) -> m (abt '[] (a :-> b)) Source #

expandTransformations :: forall abt a. ABT Term abt => abt '[] a -> abt '[] a Source #

coalesce :: forall abt a. ABT Term abt => abt '[] a -> abt '[] a Source #

coalesceNaryOp :: ABT Term abt => NaryOp a -> Seq (abt '[] a) -> Seq (abt '[] a) Source #