Control.Monad.Bayes.Density.State

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

Constructors

Density

Fields

• runDensity :: WriterT [Double] (StateT [Double] m) a

Instances

MonadTrans Density

Defined in Control.Monad.Bayes.Density.State

Methods

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

Monad m => Applicative (Density m)

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)

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)

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)

Defined in Control.Monad.Bayes.Density.State

Methods

random :: Density m Double

uniform :: Double -> Double -> Density m Double

normal :: Double -> Double -> Density m Double

gamma :: Double -> Double -> Density m Double

beta :: Double -> Double -> Density m Double

bernoulli :: Double -> Density m Bool

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

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

uniformD :: [a] -> Density m a

geometric :: Double -> Density m Int

poisson :: Double -> Density m Int

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

Monad m => MonadState [Double] (Density m)

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)

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