Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Instances
(Applicative u, Monad u) => Monad (UT Maybe u) Source # | |
(Applicative u, Monad u) => Monad (UT (Either e) u) Source # | |
Functor u => Functor (UT Maybe u) Source # | |
Functor u => Functor (UT (Either e) u) Source # | |
Applicative u => Applicative (UT Maybe u) Source # | |
Defined in Control.Joint.Base.Maybe | |
Applicative u => Applicative (UT (Either e) u) Source # | |
Defined in Control.Joint.Base.Either pure :: a -> UT (Either e) u a # (<*>) :: UT (Either e) u (a -> b) -> UT (Either e) u a -> UT (Either e) u b # liftA2 :: (a -> b -> c) -> UT (Either e) u a -> UT (Either e) u b -> UT (Either e) u c # (*>) :: UT (Either e) u a -> UT (Either e) u b -> UT (Either e) u b # (<*) :: UT (Either e) u a -> UT (Either e) u b -> UT (Either e) u a # | |
Composition (UT t u) Source # | |
type Primary (UT t u) a Source # | |
Defined in Control.Joint.Schemes.UT |