Safe Haskell | None |
---|
Documentation
(Ring t, Monad m) => MonadWriter (Product t) (ProbT t m) | |
(Unit m, Ring t) => Unit (ProbT t m) | |
(Monad m, Ring t, Fractional 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) |
i'ProbT :: Iso (ProbT t m a) (ProbT t' m' a') (WriterT (Product t) (ListT m) a) (WriterT (Product t') (ListT m') a')Source
probT :: (Functor m, Functor m') => Iso (ProbT t m a) (ProbT t' m' a') (m [(t, a)]) (m' [(t', a')])Source
c'prob :: Constraint t -> Constraint (Prob t a)Source