Control.Monad.Bayes.Traced.Basic

Documentation

data Traced m a

Tracing monad that records random choices made in the program.

Instances

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

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 => 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

MonadDistribution m => MonadDistribution (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)

MonadFactor m => MonadFactor (Traced m)

Defined in Control.Monad.Bayes.Traced.Basic

Methods

score :: Log Double -> Traced m ()

MonadMeasure m => MonadMeasure (Traced m)

Defined in Control.Monad.Bayes.Traced.Basic

hoist :: (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 :: MonadDistribution m => Traced m a -> Traced m a

A single step of the Trace Metropolis-Hastings algorithm.

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

Full run of the Trace Metropolis-Hastings algorithm with a specified number of steps.