(Applicative u, Monad u) => Monad (UT Maybe u) Source # | |
Instance detailsDefined in Control.Joint.Effects.Maybe |
(Applicative u, Monad u) => Monad (UT (Either e) u) Source # | |
Instance detailsDefined in Control.Joint.Effects.Either |
(Monoid e, Applicative u, Monad u) => Monad (UT ((,) e) u) Source # | |
Instance detailsDefined in Control.Joint.Effects.Writer |
Functor u => Functor (UT Maybe u) Source # | |
Instance detailsDefined in Control.Joint.Effects.Maybe |
Functor u => Functor (UT (Either e) u) Source # | |
Instance detailsDefined in Control.Joint.Effects.Either |
Functor u => Functor (UT ((,) e) u) Source # | |
Instance detailsDefined in Control.Joint.Effects.Writer |
Applicative u => Applicative (UT Maybe u) Source # | |
Instance detailsDefined in Control.Joint.Effects.Maybe |
Applicative u => Applicative (UT (Either e) u) Source # | |
Instance detailsDefined in Control.Joint.Effects.Either |
(Monoid e, Applicative u) => Applicative (UT ((,) e) u) Source # | |
Instance detailsDefined in Control.Joint.Effects.Writer Methods pure :: a -> UT ((,) e) u a # (<*>) :: UT ((,) e) u (a -> b) -> UT ((,) e) u a -> UT ((,) e) u b # liftA2 :: (a -> b -> c) -> UT ((,) e) u a -> UT ((,) e) u b -> UT ((,) e) u c # (*>) :: UT ((,) e) u a -> UT ((,) e) u b -> UT ((,) e) u b # (<*) :: UT ((,) e) u a -> UT ((,) e) u b -> UT ((,) e) u a # |
Interpreted (UT t u) Source # | |
Instance detailsDefined in Control.Joint.Schemes.UT |
type Primary (UT t u) a Source # | |
Instance detailsDefined in Control.Joint.Schemes.UT |