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

Description

 

Synopsis

Documentation

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

Entry point for the normalization process. Initializes normalize' with the empty context.

isValue :: ABT Term abt => abt xs a -> Bool Source #