Data.Probability

Documentation

newtype ProbT t m a

Constructors

ProbT (WriterT (Product t) (ListT m) a)

Instances

(Ring t, Monad m) => MonadWriter (Product t) (ProbT t m)

(Unit m, Ring t) => Unit (ProbT t m)

(Monad m, Invertible t) => MonadList (ProbT t m)

(Ring t, MonadFix m) => MonadFix (ProbT t m)

(Ring t, Monad m) => Monad (ProbT t m)

(Ring t, Monad m) => Applicative (ProbT t m)

Functor m => Functor (ProbT t m)

Applicative m => Monoid (ProbT t m a)

Applicative m => Semigroup (ProbT t m a)

type Prob t a = ProbT t Id a

i'ProbT :: Iso (ProbT t m a) (ProbT t' m' a') (WriterT (Product t) (ListT m) a) (WriterT (Product t') (ListT m') a')

probT :: (Functor m, Functor m') => Iso (ProbT t m a) (ProbT t' m' a') (m [(t, a)]) (m' [(t', a')])

prob :: Iso (Prob t a) (Prob t' a') [(t, a)] [(t', a')]

c'prob :: Constraint t -> Constraint (Prob t a)

sample :: (Eq a, Monoid t) => a -> Prob t a -> (t, t)