Language.Hakaru.Observe

A simpler version of the work done in Disintegrate

In principle, this module's functionality is entirely subsumed by the work done in Language.Hakaru.Disintegrate, so we can hope to define observe in terms of disintegrate. This is still useful as a guide to those that want something more in line with what other probabilisitc programming systems support.

Documentation

observe :: ABT Term abt => abt '[] (HMeasure a) -> abt '[] a -> abt '[] (HMeasure a)

freshenVarRe :: ABT syn abt => Variable (a :: k) -> abt '[] (b :: k) -> Variable a

observeAST :: ABT Term abt => LC_ abt (HMeasure a) -> LC_ abt a -> abt '[] (HMeasure a)

observeVar :: a

observeMeasureOp :: (ABT Term abt, typs ~ UnLCs args, args ~ LCs typs) => MeasureOp typs a -> SArgs abt args -> abt '[] a -> abt '[] (HMeasure a)