Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Data.Probability.Trans

Synopsis

Documentation

newtype ProbT probT m a #

Probability monad transformer

Constructors

ProbT
Fields runProbT :: m (Distr probT a)

Instances details

(ProbType probT, Monad m) => MonadProb probT (ProbT probT m) #
Instance details Defined in Traq.Data.Probability.Trans Methods choose :: ProbType probT => [(probT, ProbT probT m a)] -> ProbT probT m a #
MonadTrans (ProbT probT) #
Instance details Defined in Traq.Data.Probability.Trans Methods lift :: Monad m => m a -> ProbT probT m a #
MonadFail m => MonadFail (ProbT probT m) #
Instance details Defined in Traq.Data.Probability.Trans Methods fail :: String -> ProbT probT m a #
Applicative m => Applicative (ProbT probT m) #
Instance details Defined in Traq.Data.Probability.Trans Methods pure :: a -> ProbT probT m a # (<>) :: ProbT probT m (a -> b) -> ProbT probT m a -> ProbT probT m b # liftA2 :: (a -> b -> c) -> ProbT probT m a -> ProbT probT m b -> ProbT probT m c # (>) :: ProbT probT m a -> ProbT probT m b -> ProbT probT m b # (<*) :: ProbT probT m a -> ProbT probT m b -> ProbT probT m a #
Functor m => Functor (ProbT probT m) #
Instance details Defined in Traq.Data.Probability.Trans Methods fmap :: (a -> b) -> ProbT probT m a -> ProbT probT m b # (<$) :: a -> ProbT probT m b -> ProbT probT m a #
Monad m => Monad (ProbT probT m) #
Instance details Defined in Traq.Data.Probability.Trans Methods (>>=) :: ProbT probT m a -> (a -> ProbT probT m b) -> ProbT probT m b # (>>) :: ProbT probT m a -> ProbT probT m b -> ProbT probT m b # return :: a -> ProbT probT m a #

type Prob probT = ProbT probT Identity #

runProb :: Prob probT a -> Distr probT a #