Covariant u => Covariant (((->) e :: Type -> Type) <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Imprint |
Covariant u => Covariant ((:*:) e <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
(Semigroup e, Pointable u, Bindable u) => Bindable ((:*:) e <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
Applicative u => Applicative (((->) e :: Type -> Type) <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Imprint |
(Semigroup e, Applicative u) => Applicative ((:*:) e <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
(Semigroup e, Extendable u) => Extendable (((->) e :: Type -> Type) <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Imprint |
(Pointable u, Monoid e) => Pointable ((:*:) e <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
(Monoid e, Extractable u) => Extractable (((->) e :: Type -> Type) <.:> u) Source # | |
|
(Covariant (t <.:> v), Covariant (w <:.> u), Adjoint v u, Adjoint t w) => Adjoint (t <.:> v) (w <:.> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes |
(Covariant (t <.:> v), Covariant (w <.:> u), Adjoint t u, Adjoint v w) => Adjoint (t <.:> v) (w <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes |
(Covariant (v <:.> t), Covariant (w <.:> u), Adjoint t u, Adjoint v w) => Adjoint (v <:.> t) (w <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes |
(forall (u :: Type -> Type). Covariant u, Pointable t) => Liftable (UT Covariant Covariant t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.UT |
Extractable t => Lowerable (UT Covariant Covariant t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.UT |
Interpreted (UT ct cu t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.UT |
Covariant u => Covariant (UT Covariant Covariant Maybe u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Covariant u => Covariant (UT Covariant Covariant (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Conclusion |
(Pointable u, Bindable u) => Bindable (UT Covariant Covariant Maybe u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
(Pointable u, Bindable u) => Bindable (UT Covariant Covariant (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Conclusion |
Applicative u => Applicative (UT Covariant Covariant Maybe u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Applicative u => Applicative (UT Covariant Covariant (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Conclusion |
Pointable u => Pointable (UT Covariant Covariant Maybe u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Pointable u => Pointable (UT Covariant Covariant (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Conclusion |
Monad u => Monad (UT Covariant Covariant Maybe u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Monad u => Monad (UT Covariant Covariant (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Conclusion |
type Primary (UT ct cu t u) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.UT |