monad-bayes-1.3.0.1: A library for probabilistic programming.
Copyright(c) Adam Scibior 2015-2020
LicenseMIT
Maintainerleonhard.markert@tweag.io
Stabilityexperimental
PortabilityGHC
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Monad.Bayes.Traced.Dynamic

Description

 
Synopsis

Documentation

data TracedT m a Source #

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

Instances

Instances details
MonadTrans TracedT Source # 
Instance details

Defined in Control.Monad.Bayes.Traced.Dynamic

Methods

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

Monad m => Applicative (TracedT m) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Control.Monad.Bayes.Traced.Dynamic

MonadFactor m => MonadFactor (TracedT m) Source # 
Instance details

Defined in Control.Monad.Bayes.Traced.Dynamic

Methods

score :: Log Double -> TracedT m () Source #

MonadMeasure m => MonadMeasure (TracedT m) Source # 
Instance details

Defined in Control.Monad.Bayes.Traced.Dynamic

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

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

Discard the trace and supporting infrastructure.

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

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

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

A single step of the Trace Metropolis-Hastings algorithm.

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

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