Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Monad.Bayes.Density.State

Description

Slower than Control.Monad.Bayes.Density.Free, so not used by default, but more elementary to understand. Just uses standard monad transformer techniques.

Documentation

newtype Density m a Source #

Constructors

Density
Fields runDensity :: WriterT [Double] (StateT [Double] m) a

Instances

Instances details

MonadTrans Density Source #
Instance details Defined in Control.Monad.Bayes.Density.State Methods lift :: Monad m => m a -> Density m a #
Monad m => Applicative (Density m) Source #
Instance details Defined in Control.Monad.Bayes.Density.State Methods pure :: a -> Density m a # (<>) :: Density m (a -> b) -> Density m a -> Density m b # liftA2 :: (a -> b -> c) -> Density m a -> Density m b -> Density m c # (>) :: Density m a -> Density m b -> Density m b # (<*) :: Density m a -> Density m b -> Density m a #
Functor m => Functor (Density m) Source #
Instance details Defined in Control.Monad.Bayes.Density.State Methods fmap :: (a -> b) -> Density m a -> Density m b # (<$) :: a -> Density m b -> Density m a #
Monad m => Monad (Density m) Source #
Instance details Defined in Control.Monad.Bayes.Density.State Methods (>>=) :: Density m a -> (a -> Density m b) -> Density m b # (>>) :: Density m a -> Density m b -> Density m b # return :: a -> Density m a #
MonadDistribution m => MonadDistribution (Density m) Source #
Instance details Defined in Control.Monad.Bayes.Density.State Methods random :: Density m Double Source # uniform :: Double -> Double -> Density m Double Source # normal :: Double -> Double -> Density m Double Source # gamma :: Double -> Double -> Density m Double Source # beta :: Double -> Double -> Density m Double Source # bernoulli :: Double -> Density m Bool Source # categorical :: Vector v Double => v Double -> Density m Int Source # logCategorical :: (Vector v (Log Double), Vector v Double) => v (Log Double) -> Density m Int Source # uniformD :: [a] -> Density m a Source # geometric :: Double -> Density m Int Source # poisson :: Double -> Density m Int Source # dirichlet :: Vector v Double => v Double -> Density m (v Double) Source #
Monad m => MonadState [Double] (Density m) Source #
Instance details Defined in Control.Monad.Bayes.Density.State Methods get :: Density m [Double] # put :: [Double] -> Density m () # state :: ([Double] -> (a, [Double])) -> Density m a #
Monad m => MonadWriter [Double] (Density m) Source #
Instance details Defined in Control.Monad.Bayes.Density.State Methods writer :: (a, [Double]) -> Density m a # tell :: [Double] -> Density m () # listen :: Density m a -> Density m (a, [Double]) # pass :: Density m (a, [Double] -> [Double]) -> Density m a #

density :: Monad m => Density m b -> [Double] -> m (b, [Double]) Source #