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

Description

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

Documentation

uniquify :: ABT Term abt => abt '[] a -> abt '[] a Source #