Control.Monad.Bayes.Weighted

WeightedT is an instance of MonadFactor. Apply a MonadDistribution transformer to obtain a MonadMeasure that can execute probabilistic models.

Documentation

data WeightedT m a

Execute the program using the prior distribution, while accumulating likelihood.

Instances

MonadTrans WeightedT

Defined in Control.Monad.Bayes.Weighted

Methods

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

MonadIO m => MonadIO (WeightedT m)

Defined in Control.Monad.Bayes.Weighted

Methods

liftIO :: IO a -> WeightedT m a

Monad m => Applicative (WeightedT m)

Defined in Control.Monad.Bayes.Weighted

Methods

pure :: a -> WeightedT m a

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

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

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

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

Functor m => Functor (WeightedT m)

Defined in Control.Monad.Bayes.Weighted

Methods

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

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

Monad m => Monad (WeightedT m)

Defined in Control.Monad.Bayes.Weighted

Methods

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

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

return :: a -> WeightedT m a

MonadDistribution m => MonadDistribution (WeightedT m)

Defined in Control.Monad.Bayes.Weighted

Methods

random :: WeightedT m Double

uniform :: Double -> Double -> WeightedT m Double

normal :: Double -> Double -> WeightedT m Double

gamma :: Double -> Double -> WeightedT m Double

beta :: Double -> Double -> WeightedT m Double

bernoulli :: Double -> WeightedT m Bool

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

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

uniformD :: [a] -> WeightedT m a

geometric :: Double -> WeightedT m Int

poisson :: Double -> WeightedT m Int

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

Monad m => MonadFactor (WeightedT m)

Defined in Control.Monad.Bayes.Weighted

Methods

score :: Log Double -> WeightedT m ()

MonadDistribution m => MonadMeasure (WeightedT m)

Defined in Control.Monad.Bayes.Weighted

weightedT :: Monad m => m (a, Log Double) -> WeightedT m a

Embed a random variable with explicitly given likelihood.

runWeightedT . weightedT = id

extractWeight :: Functor m => WeightedT m a -> m (Log Double)

Compute the weight and discard the sample.

unweighted :: Functor m => WeightedT m a -> m a

Compute the sample and discard the weight.

This operation introduces bias.

applyWeight :: MonadFactor m => WeightedT m a -> m a

Use the weight as a factor in the transformed monad.

hoist :: (forall x. m x -> n x) -> WeightedT m a -> WeightedT n a

Apply a transformation to the transformed monad.

runWeightedT :: WeightedT m a -> m (a, Log Double)

Obtain an explicit value of the likelihood for a given value.