Control.Monad.Bayes.Traced.Basic

Documentation

data Traced m a

Tracing monad that records random choices made in the program. The first component is used to run the program with a modified trace, while the second records a trace and an output value from a run.

Instances

Monad m => Monad (Traced m)

Defined in Control.Monad.Bayes.Traced.Basic

Methods

(>>=) :: Traced m a -> (a -> Traced m b) -> Traced m b

(>>) :: Traced m a -> Traced m b -> Traced m b

return :: a -> Traced m a

fail :: String -> Traced m a

Monad m => Functor (Traced m)

Defined in Control.Monad.Bayes.Traced.Basic

Methods

fmap :: (a -> b) -> Traced m a -> Traced m b

(<$) :: a -> Traced m b -> Traced m a

Monad m => Applicative (Traced m)

Defined in Control.Monad.Bayes.Traced.Basic

Methods

pure :: a -> Traced m a

(<*>) :: Traced m (a -> b) -> Traced m a -> Traced m b

liftA2 :: (a -> b -> c) -> Traced m a -> Traced m b -> Traced m c

(*>) :: Traced m a -> Traced m b -> Traced m b

(<*) :: Traced m a -> Traced m b -> Traced m a

MonadInfer m => MonadInfer (Traced m)

Defined in Control.Monad.Bayes.Traced.Basic

MonadCond m => MonadCond (Traced m)

Defined in Control.Monad.Bayes.Traced.Basic

Methods

score :: Log Double -> Traced m ()

MonadSample m => MonadSample (Traced m)

Defined in Control.Monad.Bayes.Traced.Basic

Methods

random :: Traced m Double

uniform :: Double -> Double -> Traced m Double

normal :: Double -> Double -> Traced m Double

gamma :: Double -> Double -> Traced m Double

beta :: Double -> Double -> Traced m Double

bernoulli :: Double -> Traced m Bool

categorical :: Vector v Double => v Double -> Traced m Int

logCategorical :: (Vector v (Log Double), Vector v Double) => v (Log Double) -> Traced m Int

uniformD :: [a] -> Traced m a

geometric :: Double -> Traced m Int

poisson :: Double -> Traced m Int

dirichlet :: Vector v Double => v Double -> Traced m (v Double)

hoistT :: (forall x. m x -> m x) -> Traced m a -> Traced m a

marginal :: Monad m => Traced m a -> m a

Discard the trace and supporting infrastructure.

mhStep :: MonadSample m => Traced m a -> Traced m a

A single step of the Trace MH algorithm.

mh :: MonadSample m => Int -> Traced m a -> m [a]

Full run of the Trace MH algorithm with a specified number of steps.