Control.Monad.Bayes.Traced.Dynamic

Documentation

data TracedT m a

A tracing monad where only a subset of random choices are traced and this subset can be adjusted dynamically.

Instances

MonadTrans TracedT

Defined in Control.Monad.Bayes.Traced.Dynamic

Methods

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

Monad m => Applicative (TracedT m)

Defined in Control.Monad.Bayes.Traced.Dynamic

Methods

pure :: a -> TracedT m a

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

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

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

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

Monad m => Functor (TracedT m)

Defined in Control.Monad.Bayes.Traced.Dynamic

Methods

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

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

Monad m => Monad (TracedT m)

Defined in Control.Monad.Bayes.Traced.Dynamic

Methods

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

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

return :: a -> TracedT m a

MonadDistribution m => MonadDistribution (TracedT m)

Defined in Control.Monad.Bayes.Traced.Dynamic

Methods

random :: TracedT m Double

uniform :: Double -> Double -> TracedT m Double

normal :: Double -> Double -> TracedT m Double

gamma :: Double -> Double -> TracedT m Double

beta :: Double -> Double -> TracedT m Double

bernoulli :: Double -> TracedT m Bool

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

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

uniformD :: [a] -> TracedT m a

geometric :: Double -> TracedT m Int

poisson :: Double -> TracedT m Int

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

MonadFactor m => MonadFactor (TracedT m)

Defined in Control.Monad.Bayes.Traced.Dynamic

Methods

score :: Log Double -> TracedT m ()

MonadMeasure m => MonadMeasure (TracedT m)

Defined in Control.Monad.Bayes.Traced.Dynamic

hoist :: (forall x. m x -> m x) -> TracedT m a -> TracedT m a

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

Discard the trace and supporting infrastructure.

freeze :: Monad m => TracedT m a -> TracedT m a

Freeze all traced random choices to their current values and stop tracing them.

mhStep :: MonadDistribution m => TracedT m a -> TracedT m a

A single step of the Trace Metropolis-Hastings algorithm.

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

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