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, as used by simulation and inference, to output 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	Prevous log-prob trace
-> LPTrace	Updated log-prob trace

Compute and update a log-probability trace at an address