Pandora.Paradigm.Schemes

Documentation

module Pandora.Paradigm.Schemes.TU

module Pandora.Paradigm.Schemes.TUT

module Pandora.Paradigm.Schemes.TUVW

module Pandora.Paradigm.Schemes.UT

module Pandora.Paradigm.Schemes.UTU

Orphan instances

(Covariant (t <.:> v), Covariant (w <:.> u), Adjoint v u, Adjoint t w) => Adjoint (t <.:> v) (w <:.> u)

Methods

(-|) :: a -> ((t <.:> v) a -> b) -> (w <:.> u) b

(|-) :: (t <.:> v) a -> (a -> (w <:.> u) b) -> b

phi :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b

psi :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b

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

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

(Covariant (t <.:> v), Covariant (w <.:> u), Adjoint t u, Adjoint v w) => Adjoint (t <.:> v) (w <.:> u)

Methods

(-|) :: a -> ((t <.:> v) a -> b) -> (w <.:> u) b

(|-) :: (t <.:> v) a -> (a -> (w <.:> u) b) -> b

phi :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b

psi :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b

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

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

(Covariant (v <:.> t), Covariant (w <.:> u), Adjoint t u, Adjoint v w) => Adjoint (v <:.> t) (w <.:> u)

Methods

(-|) :: a -> ((v <:.> t) a -> b) -> (w <.:> u) b

(|-) :: (v <:.> t) a -> (a -> (w <.:> u) b) -> b

phi :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b

psi :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b

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

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

(Covariant (v <:.> t), Covariant (u <:.> w), Adjoint t u, Adjoint v w) => Adjoint (v <:.> t) (u <:.> w)

Methods

(-|) :: a -> ((v <:.> t) a -> b) -> (u <:.> w) b

(|-) :: (v <:.> t) a -> (a -> (u <:.> w) b) -> b

phi :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b

psi :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b

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

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

(Covariant ((t <:<.>:> u) t'), Covariant ((v <:<.>:> w) v'), Adjoint t w, Adjoint t' v', Adjoint t v, Adjoint u v, Adjoint v' t') => Adjoint ((t <:<.>:> u) t') ((v <:<.>:> w) v')

Methods

(-|) :: a -> ((t <:<.>:> u) t' a -> b) -> (v <:<.>:> w) v' b

(|-) :: (t <:<.>:> u) t' a -> (a -> (v <:<.>:> w) v' b) -> b

phi :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b

psi :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b

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

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