Control.Monad.Bayes.Traced.Dynamic

Reexports

Definitions

record Traced : (Type -> Type) -> Type -> Type

  A tracing monad where only a subset of random choices are traced and this subset can be adjusted dynamically.

Totality: total
Visibility: public export
Constructor: 

MkTraced : m (Weighted (FreeSampler m) a, Trace a) -> Traced m a

Projection: 

.runTraced : Traced m a -> m (Weighted (FreeSampler m) a, Trace a)

Hints:

Monad m => Applicative (Traced m)

Monad m => Functor (Traced m)

Monad m => Monad (Traced m)

MonadCond m => MonadCond (Traced m)

MonadInfer m => MonadInfer (Traced m)

MonadSample m => MonadSample (Traced m)

MonadTrans Traced

.runTraced : Traced m a -> m (Weighted (FreeSampler m) a, Trace a)

Visibility: public export

runTraced : Traced m a -> m (Weighted (FreeSampler m) a, Trace a)

Visibility: public export

pushM : Monad m => m (Weighted (FreeSampler m) a) -> Weighted (FreeSampler m) a

Visibility: export

hoistT : (m x -> m x) -> Traced m a -> Traced m a

Visibility: export

marginal : Monad m => Traced m a -> m a

  Discard the trace and supporting infrastructure.

Visibility: export

freeze : Monad m => Traced m a -> Traced m a

  Freeze all traced random choices to their current values and stop tracing them.

Visibility: export

mhStep : MonadSample m => Traced m a -> Traced m a

  A single step of the Trace Metropolis-Hastings algorithm.

Visibility: export

mh : MonadSample m => (n : Nat) -> Traced m a -> m (Vect (S n) a)

Visibility: public export