Adjoint Identity Identity Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Identity |
(Extractable t, Pointable t, Extractable u, Pointable u) => Adjoint (Yoneda t) (Yoneda u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Yoneda |
Adjoint (Accumulator e) (Imprint e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory |
Adjoint (Store s) (State s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory |
Adjoint (Equipment e) (Environment e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory |
Adjoint (Product a) ((->) a :: Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(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 |
(Covariant (TU Covariant Covariant v t), Covariant (TU Covariant Covariant u w), Adjoint t u, Adjoint v w) => Adjoint (TU Covariant Covariant v t) (TU Covariant Covariant u w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Controlflow.Joint.Schemes |
(Covariant (TUT Covariant Covariant Covariant t u t'), Covariant (TUT Covariant Covariant Covariant v w v'), Adjoint t w, Adjoint t' v', Adjoint t v, Adjoint u v, Adjoint v' t') => Adjoint (TUT Covariant Covariant Covariant t u t') (TUT Covariant Covariant Covariant v w v') Source # | |
Instance detailsDefined in Pandora.Paradigm.Controlflow.Joint.Schemes |