Safe Haskell	None
Language	Haskell2010

Trace

Contents

Description

For recording samples and log-probabilities during model execution.

Synopsis

Sample trace

The type of sample traces, mapping addresses of sample/observe operations to their primitive distributions and sampled values.

class FromSTrace env where Source #

For converting sample traces to model environments

Methods

Convert a sample trace to a model environment

Instances details

FromSTrace ('[] :: [Assign Symbol Type]) Source #
Instance details Defined in Trace Methods fromSTrace :: STrace -> Env '[] Source #
(UniqueKey x env ~ 'True, KnownSymbol x, Eq a, Member a PrimVal, FromSTrace env) => FromSTrace ((x := a) ': env) Source #
Instance details Defined in Trace Methods fromSTrace :: STrace -> Env ((x := a) ': env) Source #

Arguments

:: (Show x, Member x PrimVal)
=> Addr	address of sample site
-> PrimDist x	primitive distribution at address
-> x	sampled value
-> STrace	previous sample trace
-> STrace	updated sample trace

Update a sample trace at an address

Log-probability trace

The type of log-probability traces, mapping addresses of sample/observe operations to their log probabilities

Arguments

:: Addr	address of sample/observe site
-> PrimDist x	primitive distribution at address
-> x	sampled or observed value
-> LPTrace	previous log-prob trace
-> LPTrace	updated log-prob trace

Compute and update a log-probability trace at an address