Data.Distribution.Monadic

This modules provides a monadic interface to build distributions.

Documentation

data Experiment a

Monadic description of distributions.

Instances

Monad Experiment

Methods

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

(>>) :: Experiment a -> Experiment b -> Experiment b

return :: a -> Experiment a

fail :: String -> Experiment a

Functor Experiment

Methods

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

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

Applicative Experiment

Methods

pure :: a -> Experiment a

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

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

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

from :: Ord a => Distribution a -> Experiment a

Converts a concrete distribution into its monadic representation.

run :: Ord a => Experiment a -> Distribution a

Converts the monadic description of the distribution to a concrete distribution.