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

Control.Monad.Bayes.Density.Free

Description

DensityT is a free monad transformer over random sampling.

Synopsis

newtype DensityT m a = DensityT {
- getDensityT :: FT SamF m a
}
hoist :: (Monad m, Monad n) => (forall x. m x -> n x) -> DensityT m a -> DensityT n a
interpret :: MonadDistribution m => DensityT m a -> m a
withRandomness :: Monad m => [Double] -> DensityT m a -> m a
runDensityT :: MonadDistribution m => [Double] -> DensityT m a -> m (a, [Double])
traced :: MonadDistribution m => [Double] -> DensityT Identity a -> m (a, [Double])

Documentation

newtype DensityT m a Source #

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

Instances details

MonadTrans DensityT Source #
Instance details Defined in Control.Monad.Bayes.Density.Free Methods lift :: Monad m => m a -> DensityT m a #
Applicative (DensityT m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Control.Monad.Bayes.Density.Free Methods random :: DensityT m Double Source # uniform :: Double -> Double -> DensityT m Double Source # normal :: Double -> Double -> DensityT m Double Source # gamma :: Double -> Double -> DensityT m Double Source # beta :: Double -> Double -> DensityT m Double Source # bernoulli :: Double -> DensityT m Bool Source # categorical :: Vector v Double => v Double -> DensityT m Int Source # logCategorical :: (Vector v (Log Double), Vector v Double) => v (Log Double) -> DensityT m Int Source # uniformD :: [a] -> DensityT m a Source # geometric :: Double -> DensityT m Int Source # poisson :: Double -> DensityT m Int Source # dirichlet :: Vector v Double => v Double -> DensityT m (v Double) Source #

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

Hoist DensityT through a monad transform.

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

Execute random sampling in the transformed monad.

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

Execute computation with supplied values for random choices.

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

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]) Source #

Like density, but use an arbitrary sampling monad.