Idris2Doc : Control.Monad.Bayes.Inference.RMSMC

Control.Monad.Bayes.Inference.RMSMC

(source)

Definitions

rmsmc : MonadSample m => Nat -> Nat -> Nat -> Sequential (Traced (Population m)) a -> Population m a
  Resample-move Sequential Monte Carlo.

Visibility: export
rmsmcBasic : MonadSample m => Nat -> Nat -> Nat -> Sequential (Traced (Population m)) a -> Population m a
  Resample-move Sequential Monte Carlo with a more efficient
tracing representation.

Visibility: export
rmsmcLocal : MonadSample m => Nat -> Nat -> Nat -> Sequential (Traced (Population m)) a -> Population m a
  A variant of resample-move Sequential Monte Carlo
where only random variables since last resampling are considered
for rejuvenation.

Visibility: export