Copyright	(c) Adam Scibior 2015-2020
License	MIT
Maintainer	leonhard.markert@tweag.io
Stability	experimental
Portability	GHC
Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Monad.Bayes.Sequential.Coroutine

Description

Sequential represents a computation that can be suspended.

Synopsis

data Sequential m a
suspend :: Monad m => Sequential m ()
finish :: Monad m => Sequential m a -> m a
advance :: Monad m => Sequential m a -> Sequential m a
finished :: Monad m => Sequential m a -> m Bool
hoistFirst :: (forall x. m x -> m x) -> Sequential m a -> Sequential m a
hoist :: (Monad m, Monad n) => (forall x. m x -> n x) -> Sequential m a -> Sequential n a
sequentially :: Monad m => (forall x. m x -> m x) -> Int -> Sequential m a -> m a
sis :: Monad m => (forall x. m x -> m x) -> Int -> Sequential m a -> m a

Documentation

data Sequential m a Source #

Represents a computation that can be suspended at certain points. The intermediate monadic effects can be extracted, which is particularly useful for implementation of Sequential Monte Carlo related methods. All the probabilistic effects are lifted from the transformed monad, but also suspend is inserted after each factor.

Instances

Instances details

MonadTrans Sequential Source #
Instance details Defined in Control.Monad.Bayes.Sequential.Coroutine Methods lift :: Monad m => m a -> Sequential m a #
MonadIO m => MonadIO (Sequential m) Source #
Instance details Defined in Control.Monad.Bayes.Sequential.Coroutine Methods liftIO :: IO a -> Sequential m a #
Monad m => Applicative (Sequential m) Source #
Instance details Defined in Control.Monad.Bayes.Sequential.Coroutine Methods pure :: a -> Sequential m a # (<>) :: Sequential m (a -> b) -> Sequential m a -> Sequential m b # liftA2 :: (a -> b -> c) -> Sequential m a -> Sequential m b -> Sequential m c # (>) :: Sequential m a -> Sequential m b -> Sequential m b # (<*) :: Sequential m a -> Sequential m b -> Sequential m a #
Functor m => Functor (Sequential m) Source #
Instance details Defined in Control.Monad.Bayes.Sequential.Coroutine Methods fmap :: (a -> b) -> Sequential m a -> Sequential m b # (<$) :: a -> Sequential m b -> Sequential m a #
Monad m => Monad (Sequential m) Source #
Instance details Defined in Control.Monad.Bayes.Sequential.Coroutine Methods (>>=) :: Sequential m a -> (a -> Sequential m b) -> Sequential m b # (>>) :: Sequential m a -> Sequential m b -> Sequential m b # return :: a -> Sequential m a #
MonadDistribution m => MonadDistribution (Sequential m) Source #
Instance details Defined in Control.Monad.Bayes.Sequential.Coroutine Methods random :: Sequential m Double Source # uniform :: Double -> Double -> Sequential m Double Source # normal :: Double -> Double -> Sequential m Double Source # gamma :: Double -> Double -> Sequential m Double Source # beta :: Double -> Double -> Sequential m Double Source # bernoulli :: Double -> Sequential m Bool Source # categorical :: Vector v Double => v Double -> Sequential m Int Source # logCategorical :: (Vector v (Log Double), Vector v Double) => v (Log Double) -> Sequential m Int Source # uniformD :: [a] -> Sequential m a Source # geometric :: Double -> Sequential m Int Source # poisson :: Double -> Sequential m Int Source # dirichlet :: Vector v Double => v Double -> Sequential m (v Double) Source #
MonadFactor m => MonadFactor (Sequential m) Source #	Execution is `suspend`ed after each `score`.
Instance details Defined in Control.Monad.Bayes.Sequential.Coroutine Methods score :: Log Double -> Sequential m () Source #
MonadMeasure m => MonadMeasure (Sequential m) Source #
Instance details Defined in Control.Monad.Bayes.Sequential.Coroutine

suspend :: Monad m => Sequential m () Source #

A point where the computation is paused.

finish :: Monad m => Sequential m a -> m a Source #

Remove the remaining suspension points.

advance :: Monad m => Sequential m a -> Sequential m a Source #

Execute to the next suspension point. If the computation is finished, do nothing.

finish = finish . advance

finished :: Monad m => Sequential m a -> m Bool Source #

Return True if no more suspension points remain.

hoistFirst :: (forall x. m x -> m x) -> Sequential m a -> Sequential m a Source #

Transform the inner monad. This operation only applies to computation up to the first suspension.

hoist :: (Monad m, Monad n) => (forall x. m x -> n x) -> Sequential m a -> Sequential n a Source #

Transform the inner monad. The transformation is applied recursively through all the suspension points.

sequentially Source #

Arguments

:: Monad m
=> (forall x. m x -> m x)	transformation
-> Int	number of time steps
-> Sequential m a
-> m a

Sequential importance sampling. Applies a given transformation after each time step.

sis Source #

Arguments

:: Monad m
=> (forall x. m x -> m x)	transformation
-> Int	number of time steps
-> Sequential m a
-> m a

synonym

Sequential importance sampling. Applies a given transformation after each time step.