Pandora.Paradigm.Schemes

Documentation

module Pandora.Paradigm.Schemes.TT

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

module Pandora.Paradigm.Schemes.T_U

module Pandora.Paradigm.Schemes.U_T

module Pandora.Paradigm.Schemes.PTU

module Pandora.Paradigm.Schemes.P_T

module Pandora.Paradigm.Schemes.P_Q_T

module Pandora.Paradigm.Schemes.PQ_

Orphan instances

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

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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