hakaru-0.4.0: A probabilistic programming language

CopyrightCopyright (c) 2016 the Hakaru team
LicenseBSD3
MaintainerStability : experimental
PortabilityGHC-only
Safe HaskellNone
LanguageHaskell2010

Language.Hakaru.Syntax.Unroll

Description

Performs renaming of Hakaru expressions to ensure globally unique variable identifiers.

Documentation

renameInEnv :: (ABT Term abt, MonadReader Varmap m, MonadFix m) => Variable a -> m (abt xs b) -> m (abt (a ': xs) b) Source #

unroll :: forall abt xs a. ABT Term abt => abt xs a -> abt xs a Source #