Pandora.Paradigm.Controlflow.Joint.Schemes

Documentation

module Pandora.Paradigm.Controlflow.Joint.Schemes.TU

module Pandora.Paradigm.Controlflow.Joint.Schemes.TUT

module Pandora.Paradigm.Controlflow.Joint.Schemes.TUVW

module Pandora.Paradigm.Controlflow.Joint.Schemes.UT

module Pandora.Paradigm.Controlflow.Joint.Schemes.UTU

Orphan instances

(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)

Methods

(-|) :: a -> (UT Covariant Covariant t v a -> b) -> TU Covariant Covariant w u b

(|-) :: UT Covariant Covariant t v a -> (a -> TU Covariant Covariant w u b) -> b

phi :: (UT Covariant Covariant t v a -> b) -> a -> TU Covariant Covariant w u b

psi :: (a -> TU Covariant Covariant w u b) -> UT Covariant Covariant t v a -> b

eta :: a -> (TU Covariant Covariant w u :. UT Covariant Covariant t v) := a

epsilon :: ((UT Covariant Covariant t v :. TU Covariant Covariant w u) := a) -> a

(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)

Methods

(-|) :: a -> (UT Covariant Covariant t v a -> b) -> UT Covariant Covariant w u b

(|-) :: UT Covariant Covariant t v a -> (a -> UT Covariant Covariant w u b) -> b

phi :: (UT Covariant Covariant t v a -> b) -> a -> UT Covariant Covariant w u b

psi :: (a -> UT Covariant Covariant w u b) -> UT Covariant Covariant t v a -> b

eta :: a -> (UT Covariant Covariant w u :. UT Covariant Covariant t v) := a

epsilon :: ((UT Covariant Covariant t v :. UT Covariant Covariant w u) := a) -> a

(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)

Methods

(-|) :: a -> (TU Covariant Covariant v t a -> b) -> UT Covariant Covariant w u b

(|-) :: TU Covariant Covariant v t a -> (a -> UT Covariant Covariant w u b) -> b

phi :: (TU Covariant Covariant v t a -> b) -> a -> UT Covariant Covariant w u b

psi :: (a -> UT Covariant Covariant w u b) -> TU Covariant Covariant v t a -> b

eta :: a -> (UT Covariant Covariant w u :. TU Covariant Covariant v t) := a

epsilon :: ((TU Covariant Covariant v t :. UT Covariant Covariant w u) := a) -> a

(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)

Methods

(-|) :: a -> (TU Covariant Covariant v t a -> b) -> TU Covariant Covariant u w b

(|-) :: TU Covariant Covariant v t a -> (a -> TU Covariant Covariant u w b) -> b

phi :: (TU Covariant Covariant v t a -> b) -> a -> TU Covariant Covariant u w b

psi :: (a -> TU Covariant Covariant u w b) -> TU Covariant Covariant v t a -> b

eta :: a -> (TU Covariant Covariant u w :. TU Covariant Covariant v t) := a

epsilon :: ((TU Covariant Covariant v t :. TU Covariant Covariant u w) := a) -> a

(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')

Methods

(-|) :: a -> (TUT Covariant Covariant Covariant t u t' a -> b) -> TUT Covariant Covariant Covariant v w v' b

(|-) :: TUT Covariant Covariant Covariant t u t' a -> (a -> TUT Covariant Covariant Covariant v w v' b) -> b

phi :: (TUT Covariant Covariant Covariant t u t' a -> b) -> a -> TUT Covariant Covariant Covariant v w v' b

psi :: (a -> TUT Covariant Covariant Covariant v w v' b) -> TUT Covariant Covariant Covariant t u t' a -> b

eta :: a -> (TUT Covariant Covariant Covariant v w v' :. TUT Covariant Covariant Covariant t u t') := a

epsilon :: ((TUT Covariant Covariant Covariant t u t' :. TUT Covariant Covariant Covariant v w v') := a) -> a