hakaru-0.6.0: A probabilistic programming language

Copyright	Copyright (c) 2016 the Hakaru team
License	BSD3
Maintainer	Stability : experimental
Portability	GHC-only
Safe Haskell	None
Language	Haskell2010

Language.Hakaru.Syntax.ANF

Description

Synopsis

normalize :: ABT Term abt => abt '[] a -> abt '[] a
isValue :: ABT Term abt => abt xs a -> Bool

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 #