monad-bayes-1.3.0.3: A library for probabilistic programming.

Copyright	(c) Adam Scibior 2015-2020
License	MIT
Maintainer	tweag.io
Stability	experimental
Portability	GHC
Safe Haskell	None
Language	Haskell2010

Control.Monad.Bayes.Inference.MCMC

Description

Synopsis

data Proposal = SingleSiteMH
data MCMCConfig = MCMCConfig {
- proposal :: Proposal
- numMCMCSteps :: Int
- numBurnIn :: Int
}
defaultMCMCConfig :: MCMCConfig
mcmc :: MonadDistribution m => MCMCConfig -> TracedT (WeightedT m) a -> m [a]
mcmcBasic :: MonadDistribution m => MCMCConfig -> TracedT (WeightedT m) a -> m [a]
mcmcDynamic :: MonadDistribution m => MCMCConfig -> TracedT (WeightedT m) a -> m [a]
independentSamples :: forall (m :: Type -> Type) a. Monad m => TracedT m a -> Producer (MHResult a) m (Trace a)
mcmcP :: forall (m :: Type -> Type) a. MonadDistribution m => MCMCConfig -> TracedT m a -> Producer (MHResult a) m ()

Documentation

data Proposal Source #

Constructors

data MCMCConfig Source #

Constructors

MCMCConfig
Fields proposal :: Proposal numMCMCSteps :: Int numBurnIn :: Int

defaultMCMCConfig :: MCMCConfig Source #

mcmc :: MonadDistribution m => MCMCConfig -> TracedT (WeightedT m) a -> m [a] Source #

mcmcBasic :: MonadDistribution m => MCMCConfig -> TracedT (WeightedT m) a -> m [a] Source #

mcmcDynamic :: MonadDistribution m => MCMCConfig -> TracedT (WeightedT m) a -> m [a] Source #

independentSamples :: forall (m :: Type -> Type) a. Monad m => TracedT m a -> Producer (MHResult a) m (Trace a) Source #

mcmcP :: forall (m :: Type -> Type) a. MonadDistribution m => MCMCConfig -> TracedT m a -> Producer (MHResult a) m () Source #

convert a probabilistic program into a producer of samples