Idris2Doc : Control.Monad.Bayes.Inference.SMC

Control.Monad.Bayes.Inference.SMC

(source)
Reexports
import public Control.Monad.Bayes.Population
import public Control.Monad.Bayes.Sequential
Definitions
sir : Monad m => (Population m x -> Population m x) -> Nat -> Nat -> Sequential (Population m) a -> Population m a
  Sequential importance resampling.

  Visibility: export
smcMultinomial : MonadSample m => Nat -> Nat -> Sequential (Population m) a -> Population m a
  Sequential Monte Carlo with multinomial resampling at each timestep.

  Visibility: export
smcSystematic : MonadSample m => Nat -> Nat -> Sequential (Population m) a -> Population m a
  Sequential Monte Carlo with systematic resampling at each timestep.

  Visibility: export
smc : MonadSample m => Nat -> Nat -> Sequential (Population m) a -> Population m a
  Default synonym for smcSystematic

  Visibility: export
smcMultinomialPush : MonadInfer m => Nat -> Nat -> Sequential (Population m) a -> Population m a
  Sequential Monte Carlo with multinomial resampling at each timestep.

  Visibility: export
smcSystematicPush : MonadInfer m => Nat -> Nat -> Sequential (Population m) a -> Population m a
  Sequential Monte Carlo with systematic resampling at each timestep.

  Visibility: export