Control.Monad.Bayes.Density.Free

DensityT is a free monad transformer over random sampling.

Documentation

newtype DensityT m a

Free monad transformer over random sampling.

Uses the Church-encoded version of the free monad for efficiency.

Constructors

DensityT

Fields

• getDensityT :: FT SamF m a

Instances

MonadTrans DensityT

Defined in Control.Monad.Bayes.Density.Free

Methods

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

Applicative (DensityT m)

Defined in Control.Monad.Bayes.Density.Free

Methods

pure :: a -> DensityT m a

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

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

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

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

Functor (DensityT m)

Defined in Control.Monad.Bayes.Density.Free

Methods

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

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

Monad (DensityT m)

Defined in Control.Monad.Bayes.Density.Free

Methods

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

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

return :: a -> DensityT m a

Monad m => MonadDistribution (DensityT m)

Defined in Control.Monad.Bayes.Density.Free

Methods

random :: DensityT m Double

uniform :: Double -> Double -> DensityT m Double

normal :: Double -> Double -> DensityT m Double

gamma :: Double -> Double -> DensityT m Double

beta :: Double -> Double -> DensityT m Double

bernoulli :: Double -> DensityT m Bool

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

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

uniformD :: [a] -> DensityT m a

geometric :: Double -> DensityT m Int

poisson :: Double -> DensityT m Int

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

hoist :: (Monad m, Monad n) => (forall x. m x -> n x) -> DensityT m a -> DensityT n a

Hoist DensityT through a monad transform.

interpret :: MonadDistribution m => DensityT m a -> m a

Execute random sampling in the transformed monad.

withRandomness :: Monad m => [Double] -> DensityT m a -> m a

Execute computation with supplied values for random choices.

runDensityT :: MonadDistribution m => [Double] -> DensityT m a -> m (a, [Double])

Execute computation with supplied values for a subset of random choices. Return the output value and a record of all random choices used, whether taken as input or drawn using the transformed monad.

traced :: MonadDistribution m => [Double] -> DensityT Identity a -> m (a, [Double])

Like density, but use an arbitrary sampling monad.