Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Comonad t => ComonadTrans (TU t :: (Type -> Type) -> Type -> Type) Source # | |
Defined in Control.Joint.Schemes.TU | |
Monad t => MonadTrans (TU t :: (Type -> Type) -> Type -> Type) Source # | |
Defined in Control.Joint.Schemes.TU | |
(Applicative u, Monad u) => Monad (((->) e :: Type -> Type) <:.> u) Source # | |
Functor u => Functor (((->) e :: Type -> Type) <:.> u) Source # | |
Applicative u => Applicative (((->) e :: Type -> Type) <:.> u) Source # | |
Defined in Control.Joint.Effects.Reader pure :: a -> ((->) e <:.> u) a # (<*>) :: ((->) e <:.> u) (a -> b) -> ((->) e <:.> u) a -> ((->) e <:.> u) b # liftA2 :: (a -> b -> c) -> ((->) e <:.> u) a -> ((->) e <:.> u) b -> ((->) e <:.> u) c # (*>) :: ((->) e <:.> u) a -> ((->) e <:.> u) b -> ((->) e <:.> u) b # (<*) :: ((->) e <:.> u) a -> ((->) e <:.> u) b -> ((->) e <:.> u) a # | |
Interpreted (t <:.> u) Source # | |
type Primary (TU t u) a Source # | |
Defined in Control.Joint.Schemes.TU |