Pointable t => Liftable (UT Covariant Covariant t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Controlflow.Joint.Schemes.UT |
Extractable t => Lowerable (UT Covariant Covariant t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Controlflow.Joint.Schemes.UT |
Interpreted (UT ct cu t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Controlflow.Joint.Schemes.UT |
Covariant u => Covariant (UT Covariant Covariant ((->) e :: Type -> Type) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Imprint |
Covariant u => Covariant (UT Covariant Covariant ((:*:) e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
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 |
(Semigroup e, Pointable u, Bindable u) => Bindable (UT Covariant Covariant ((:*:) e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
(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 ((->) e :: Type -> Type) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Imprint |
(Semigroup e, Applicative u) => Applicative (UT Covariant Covariant ((:*:) e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
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 |
(Semigroup e, Extendable u) => Extendable (UT Covariant Covariant ((->) e :: Type -> Type) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Imprint |
(Pointable u, Monoid e) => Pointable (UT Covariant Covariant ((:*:) e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
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 |
(Monoid e, Extractable u) => Extractable (UT Covariant Covariant ((->) e :: Type -> Type) u) Source # | |
|
(Covariant (UT Covariant Covariant t v), Covariant (TU Covariant Covariant w u), Adjoint v u, Adjoint t w) => Adjoint (UT Covariant Covariant t v) (TU Covariant Covariant w u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Controlflow.Joint.Schemes |
(Covariant (UT Covariant Covariant t v), Covariant (UT Covariant Covariant w u), Adjoint t u, Adjoint v w) => Adjoint (UT Covariant Covariant t v) (UT Covariant Covariant w u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Controlflow.Joint.Schemes |
(Covariant (TU Covariant Covariant v t), Covariant (UT Covariant Covariant w u), Adjoint t u, Adjoint v w) => Adjoint (TU Covariant Covariant v t) (UT Covariant Covariant w u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Controlflow.Joint.Schemes |
type Primary (UT ct cu t u) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Controlflow.Joint.Schemes.UT |