Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Instances
Instances
(forall (u :: Type -> Type). Pointable u, Liftable t) => Liftable (Y t) Source # | |
(forall (u :: Type -> Type). Extractable u, Lowerable t) => Lowerable (Y t) Source # | |
(Covariant (t u), Covariant u) => Covariant (Y t u) Source # | |
(Applicative (t u), Applicative u) => Applicative (Y t u) Source # | |
(Covariant (t u), Alternative u) => Alternative (Y t u) Source # | |
(Distributive (t u), Distributive u) => Distributive (Y t u) Source # | |
(Covariant (t u), Exclusive u) => Exclusive (Y t u) Source # | |
Defined in Pandora.Paradigm.Junction.Transformer | |
(Extractable (t u), Extractable u) => Extractable (Y t u) Source # | |
Defined in Pandora.Paradigm.Junction.Transformer | |
(Pointable (t u), Pointable u) => Pointable (Y t u) Source # | |
Defined in Pandora.Paradigm.Junction.Transformer | |
(Traversable (t u), Traversable u) => Traversable (Y t u) Source # | |
Defined in Pandora.Paradigm.Junction.Transformer |