Control.Monad.Bayes.Sampler.Strict

SamplerIO and SamplerST are instances of MonadDistribution. Apply a MonadFactor transformer to obtain a MonadMeasure that can execute probabilistic models.

Documentation

newtype SamplerT g m a

The sampling interpretation of a probabilistic program Here m is typically IO or ST

Constructors

SamplerT

Fields

• runSamplerT :: ReaderT g m a

Instances

MonadTrans (SamplerT g)

Defined in Control.Monad.Bayes.Sampler.Strict

Methods

lift :: Monad m => m a -> SamplerT g m a

MonadIO m => MonadIO (SamplerT g m)

Defined in Control.Monad.Bayes.Sampler.Strict

Methods

liftIO :: IO a -> SamplerT g m a

Applicative m => Applicative (SamplerT g m)

Defined in Control.Monad.Bayes.Sampler.Strict

Methods

pure :: a -> SamplerT g m a

(<*>) :: SamplerT g m (a -> b) -> SamplerT g m a -> SamplerT g m b

liftA2 :: (a -> b -> c) -> SamplerT g m a -> SamplerT g m b -> SamplerT g m c

(*>) :: SamplerT g m a -> SamplerT g m b -> SamplerT g m b

(<*) :: SamplerT g m a -> SamplerT g m b -> SamplerT g m a

Functor m => Functor (SamplerT g m)

Defined in Control.Monad.Bayes.Sampler.Strict

Methods

fmap :: (a -> b) -> SamplerT g m a -> SamplerT g m b

(<$) :: a -> SamplerT g m b -> SamplerT g m a

Monad m => Monad (SamplerT g m)

Defined in Control.Monad.Bayes.Sampler.Strict

Methods

(>>=) :: SamplerT g m a -> (a -> SamplerT g m b) -> SamplerT g m b

(>>) :: SamplerT g m a -> SamplerT g m b -> SamplerT g m b

return :: a -> SamplerT g m a

StatefulGen g m => MonadDistribution (SamplerT g m)

Defined in Control.Monad.Bayes.Sampler.Strict

Methods

random :: SamplerT g m Double

uniform :: Double -> Double -> SamplerT g m Double

normal :: Double -> Double -> SamplerT g m Double

gamma :: Double -> Double -> SamplerT g m Double

beta :: Double -> Double -> SamplerT g m Double

bernoulli :: Double -> SamplerT g m Bool

categorical :: Vector v Double => v Double -> SamplerT g m Int

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

uniformD :: [a] -> SamplerT g m a

geometric :: Double -> SamplerT g m Int

poisson :: Double -> SamplerT g m Int

dirichlet :: Vector v Double => v Double -> SamplerT g m (v Double)

type SamplerIO = SamplerT (IOGenM StdGen) IO

convenient type synonym to show specializations of SamplerT to particular pairs of monad and RNG

type SamplerST s = SamplerT (STGenM StdGen s) (ST s)

convenient type synonym to show specializations of SamplerT to particular pairs of monad and RNG

sampleIO :: SamplerIO a -> IO a

initialize random seed using system entropy, and sample

sampleIOfixed :: SamplerIO a -> IO a

Run the sampler with a fixed random seed

sampleWith :: SamplerT g m a -> g -> m a

Sample with a random number generator of your choice e.g. the one from Random.

>>> import Control.Monad.Bayes.Class
>>> import System.Random.Stateful hiding (random)
>>> newIOGenM (mkStdGen 1729) >>= sampleWith random
4.690861245089605e-2

sampleSTfixed :: SamplerST s b -> ST s b

Run the sampler with a fixed random seed

sampleMean :: [(Double, Log Double)] -> Double

sampler :: SamplerIO a -> IO a

initialize random seed using system entropy, and sample