Control.Monad.Bayes.Traced.Common

Definitions

record Trace : Type -> Type

  Collection of random variables sampled during the program's execution.

Totality: total
Visibility: public export
Constructor: 

MkTrace : List Double -> a -> Log Double -> Trace a

Projections:

.density : Trace a -> Log Double

.output : Trace a -> a

.variables : Trace a -> List Double

Hints:

Applicative Trace

Functor Trace

Monad Trace

.variables : Trace a -> List Double

Visibility: public export

variables : Trace a -> List Double

Visibility: public export

.output : Trace a -> a

Visibility: public export

output : Trace a -> a

Visibility: public export

.density : Trace a -> Log Double

Visibility: public export

density : Trace a -> Log Double

Visibility: public export

singleton : Double -> Trace Double

Visibility: export

scored : Log Double -> Trace ()

Visibility: export

bind : Monad m => m (Trace a) -> (a -> m (Trace b)) -> m (Trace b)

Visibility: export

mhTrans : MonadSample m => Weighted (FreeSampler m) a -> Trace a -> m (Trace a)

  A single Metropolis-corrected transition of single-site Trace MCMC.

Visibility: export

mhTrans' : MonadSample m => Weighted (FreeSampler Identity) a -> Trace a -> m (Trace a)

  A variant of 'mhTrans' with an external sampling monad.

Visibility: export