Control.Monad.Bayes.Integrator

This is adapted from https://jtobin.io/giry-monad-implementation but brought into the monad-bayes framework (i.e. Integrator is an instance of MonadMeasure) It's largely for debugging other inference methods and didactic use, because brute force integration of measures is only practical for small programs

Documentation

probability :: Ord a => (a, a) -> Integrator a -> Double

variance :: Integrator Double -> Double

expectation :: Integrator Double -> Double

cdf :: Integrator Double -> Double -> Double

empirical :: Foldable f => f a -> Integrator a

enumeratorWith :: Ord a => Set a -> Integrator a -> [(a, Double)]

histogram :: (Enum a, Ord a, Fractional a) => Int -> a -> Weighted Integrator a -> [(a, Double)]

plotCdf :: Int -> Double -> Double -> Integrator Double -> [(Double, Double)]

volume :: Integrator Double -> Double

normalize :: Weighted Integrator a -> Integrator a

data Integrator a

Instances

Applicative Integrator

Defined in Control.Monad.Bayes.Integrator

Methods

pure :: a -> Integrator a

(<*>) :: Integrator (a -> b) -> Integrator a -> Integrator b

liftA2 :: (a -> b -> c) -> Integrator a -> Integrator b -> Integrator c

(*>) :: Integrator a -> Integrator b -> Integrator b

(<*) :: Integrator a -> Integrator b -> Integrator a

Functor Integrator

Defined in Control.Monad.Bayes.Integrator

Methods

fmap :: (a -> b) -> Integrator a -> Integrator b

(<$) :: a -> Integrator b -> Integrator a

Monad Integrator

Defined in Control.Monad.Bayes.Integrator

Methods

(>>=) :: Integrator a -> (a -> Integrator b) -> Integrator b

(>>) :: Integrator a -> Integrator b -> Integrator b

return :: a -> Integrator a

MonadDistribution Integrator

Defined in Control.Monad.Bayes.Integrator

Methods

random :: Integrator Double

uniform :: Double -> Double -> Integrator Double

normal :: Double -> Double -> Integrator Double

gamma :: Double -> Double -> Integrator Double

beta :: Double -> Double -> Integrator Double

bernoulli :: Double -> Integrator Bool

categorical :: Vector v Double => v Double -> Integrator Int

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

uniformD :: [a] -> Integrator a

geometric :: Double -> Integrator Int

poisson :: Double -> Integrator Int

dirichlet :: Vector v Double => v Double -> Integrator (v Double)

Num a => Num (Integrator a)

Defined in Control.Monad.Bayes.Integrator

Methods

(+) :: Integrator a -> Integrator a -> Integrator a

(-) :: Integrator a -> Integrator a -> Integrator a

(*) :: Integrator a -> Integrator a -> Integrator a

negate :: Integrator a -> Integrator a

abs :: Integrator a -> Integrator a

signum :: Integrator a -> Integrator a

fromInteger :: Integer -> Integrator a

momentGeneratingFunction :: Integrator Double -> Double -> Double

cumulantGeneratingFunction :: Integrator Double -> Double -> Double

integrator :: (a -> Double) -> Integrator a -> Double

runIntegrator :: (a -> Double) -> Integrator a -> Double