Control.Monad.Bayes.Traced.Static

Documentation

data Traced m a

A tracing monad where only a subset of random choices are traced.

The random choices that are not to be traced should be lifted from the transformed monad.

Constructors

Traced

Fields

• model :: Weighted (Density m) a
• traceDist :: m (Trace a)

Instances

MonadTrans Traced

Defined in Control.Monad.Bayes.Traced.Static

Methods

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

Monad m => Applicative (Traced m)

Defined in Control.Monad.Bayes.Traced.Static

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.Static

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.Static

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.Static

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.Static

Methods

score :: Log Double -> Traced m ()

MonadMeasure m => MonadMeasure (Traced m)

Defined in Control.Monad.Bayes.Traced.Static

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. Newest samples are at the head of the list.