Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Monad.Bayes.Integrator

Description

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

variance :: Integrator Double -> Double Source #

expectation :: Integrator Double -> Double Source #

cdf :: Integrator Double -> Double -> Double Source #

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

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

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

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

volume :: Integrator Double -> Double Source #

normalize :: Weighted Integrator a -> Integrator a Source #

data Integrator a Source #

Instances

Instances details

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

cumulantGeneratingFunction :: Integrator Double -> Double -> Double Source #

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

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