Idris2Doc : Control.Monad.Bayes.Inference.RMSMC

Control.Monad.Bayes.Inference.RMSMC

(source)

Definitions

rmsmc : MonadSamplem=>Nat->Nat->Nat->Sequential (Traced (Populationm)) a->Populationma
  Resample-move Sequential Monte Carlo.

Visibility: export
rmsmcBasic : MonadSamplem=>Nat->Nat->Nat->Sequential (Traced (Populationm)) a->Populationma
  Resample-move Sequential Monte Carlo with a more efficient
tracing representation.

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

Visibility: export