Control.Monad.Bayes.Inference.SMC2

Definitions

record SMC2 : (Type -> Type) -> Type -> Type

  Helper monad transformer for preprocessing the model for 'smc2'.

Totality: possibly not terminating due to call to $resolved8963
Visibility: export
Constructor: 

MkSMC2 : Sequential (Traced (Population m)) a -> SMC2 m a

Projection: 

.setup : SMC2 m a -> Sequential (Traced (Population m)) a

Hints:

Monad m => Applicative (SMC2 m)

Monad m => Functor (SMC2 m)

Monad m => Monad (SMC2 m)

Monad m => MonadCond (SMC2 m)

MonadSample m => MonadInfer (SMC2 m)

MonadSample m => MonadSample (SMC2 m)

MonadTrans SMC2

smc2 : MonadSample m => Nat -> Nat -> Nat -> Nat -> Sequential (Traced (Population m)) b -> (b -> Sequential (Population (SMC2 m)) a) -> Population m (List (Log Double, a))

  Sequential Monte Carlo squared.

Visibility: export