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

Control.Monad.Bayes.Traced.Static

Description

 
Synopsis

Documentation

data Traced m a Source #

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.

Instances

Instances details
MonadTrans Traced Source # 
Instance details

Defined in Control.Monad.Bayes.Traced.Static

Methods

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

Monad m => Monad (Traced m) Source # 
Instance details

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 #

Monad m => Functor (Traced m) Source # 
Instance details

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 => Applicative (Traced m) Source # 
Instance details

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 #

MonadInfer m => MonadInfer (Traced m) Source # 
Instance details

Defined in Control.Monad.Bayes.Traced.Static

MonadCond m => MonadCond (Traced m) Source # 
Instance details

Defined in Control.Monad.Bayes.Traced.Static

Methods

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

MonadSample m => MonadSample (Traced m) Source # 
Instance details

Defined in Control.Monad.Bayes.Traced.Static

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

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

Discard the trace and supporting infrastructure.

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

A single step of the Trace Metropolis-Hastings algorithm.

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

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