Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
module Pandora.Paradigm.Schemes.TU
module Pandora.Paradigm.Schemes.TUT
module Pandora.Paradigm.Schemes.UT
module Pandora.Paradigm.Schemes.UTU
module Pandora.Paradigm.Schemes.T_
module Pandora.Paradigm.Schemes.T_U
module Pandora.Paradigm.Schemes.U_T
Orphan instances
(Covariant (t <.:> v), Covariant (w <:.> u), Adjoint v u, Adjoint t w) => Adjoint (t <.:> v) (w <:.> u) Source # | |
(-|) :: a -> ((t <.:> v) a -> b) -> (w <:.> u) b Source # (|-) :: (t <.:> v) a -> (a -> (w <:.> u) b) -> b Source # phi :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b Source # psi :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source # eta :: a -> ((w <:.> u) :. (t <.:> v)) := a Source # epsilon :: (((t <.:> v) :. (w <:.> u)) := a) -> a Source # (-|$) :: Covariant v0 => v0 a -> ((t <.:> v) a -> b) -> v0 ((w <:.> u) b) Source # ($|-) :: Covariant v0 => v0 ((t <.:> v) a) -> (a -> (w <:.> u) b) -> v0 b Source # ($$|-) :: (Covariant v0, Covariant w0) => ((v0 :. (w0 :. (t <.:> v))) := a) -> (a -> (w <:.> u) b) -> (v0 :. w0) := b Source # ($$$|-) :: (Covariant v0, Covariant w0, Covariant x) => ((v0 :. (w0 :. (x :. (t <.:> v)))) := a) -> (a -> (w <:.> u) b) -> (v0 :. (w0 :. x)) := b Source # ($$$$|-) :: (Covariant v0, Covariant w0, Covariant x, Covariant y) => ((v0 :. (w0 :. (x :. (y :. (t <.:> v))))) := a) -> (a -> (w <:.> u) b) -> (v0 :. (w0 :. (x :. y))) := b Source # | |
(Covariant (t <.:> v), Covariant (w <.:> u), Adjoint t u, Adjoint v w) => Adjoint (t <.:> v) (w <.:> u) Source # | |
(-|) :: a -> ((t <.:> v) a -> b) -> (w <.:> u) b Source # (|-) :: (t <.:> v) a -> (a -> (w <.:> u) b) -> b Source # phi :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b Source # psi :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b Source # eta :: a -> ((w <.:> u) :. (t <.:> v)) := a Source # epsilon :: (((t <.:> v) :. (w <.:> u)) := a) -> a Source # (-|$) :: Covariant v0 => v0 a -> ((t <.:> v) a -> b) -> v0 ((w <.:> u) b) Source # ($|-) :: Covariant v0 => v0 ((t <.:> v) a) -> (a -> (w <.:> u) b) -> v0 b Source # ($$|-) :: (Covariant v0, Covariant w0) => ((v0 :. (w0 :. (t <.:> v))) := a) -> (a -> (w <.:> u) b) -> (v0 :. w0) := b Source # ($$$|-) :: (Covariant v0, Covariant w0, Covariant x) => ((v0 :. (w0 :. (x :. (t <.:> v)))) := a) -> (a -> (w <.:> u) b) -> (v0 :. (w0 :. x)) := b Source # ($$$$|-) :: (Covariant v0, Covariant w0, Covariant x, Covariant y) => ((v0 :. (w0 :. (x :. (y :. (t <.:> v))))) := a) -> (a -> (w <.:> u) b) -> (v0 :. (w0 :. (x :. y))) := b Source # | |
(Covariant (v <:.> t), Covariant (w <.:> u), Adjoint t u, Adjoint v w) => Adjoint (v <:.> t) (w <.:> u) Source # | |
(-|) :: a -> ((v <:.> t) a -> b) -> (w <.:> u) b Source # (|-) :: (v <:.> t) a -> (a -> (w <.:> u) b) -> b Source # phi :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b Source # psi :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source # eta :: a -> ((w <.:> u) :. (v <:.> t)) := a Source # epsilon :: (((v <:.> t) :. (w <.:> u)) := a) -> a Source # (-|$) :: Covariant v0 => v0 a -> ((v <:.> t) a -> b) -> v0 ((w <.:> u) b) Source # ($|-) :: Covariant v0 => v0 ((v <:.> t) a) -> (a -> (w <.:> u) b) -> v0 b Source # ($$|-) :: (Covariant v0, Covariant w0) => ((v0 :. (w0 :. (v <:.> t))) := a) -> (a -> (w <.:> u) b) -> (v0 :. w0) := b Source # ($$$|-) :: (Covariant v0, Covariant w0, Covariant x) => ((v0 :. (w0 :. (x :. (v <:.> t)))) := a) -> (a -> (w <.:> u) b) -> (v0 :. (w0 :. x)) := b Source # ($$$$|-) :: (Covariant v0, Covariant w0, Covariant x, Covariant y) => ((v0 :. (w0 :. (x :. (y :. (v <:.> t))))) := a) -> (a -> (w <.:> u) b) -> (v0 :. (w0 :. (x :. y))) := b Source # | |
(Covariant (v <:.> t), Covariant (u <:.> w), Adjoint t u, Adjoint v w) => Adjoint (v <:.> t) (u <:.> w) Source # | |
(-|) :: a -> ((v <:.> t) a -> b) -> (u <:.> w) b Source # (|-) :: (v <:.> t) a -> (a -> (u <:.> w) b) -> b Source # phi :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b Source # psi :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source # eta :: a -> ((u <:.> w) :. (v <:.> t)) := a Source # epsilon :: (((v <:.> t) :. (u <:.> w)) := a) -> a Source # (-|$) :: Covariant v0 => v0 a -> ((v <:.> t) a -> b) -> v0 ((u <:.> w) b) Source # ($|-) :: Covariant v0 => v0 ((v <:.> t) a) -> (a -> (u <:.> w) b) -> v0 b Source # ($$|-) :: (Covariant v0, Covariant w0) => ((v0 :. (w0 :. (v <:.> t))) := a) -> (a -> (u <:.> w) b) -> (v0 :. w0) := b Source # ($$$|-) :: (Covariant v0, Covariant w0, Covariant x) => ((v0 :. (w0 :. (x :. (v <:.> t)))) := a) -> (a -> (u <:.> w) b) -> (v0 :. (w0 :. x)) := b Source # ($$$$|-) :: (Covariant v0, Covariant w0, Covariant x, Covariant y) => ((v0 :. (w0 :. (x :. (y :. (v <:.> t))))) := a) -> (a -> (u <:.> w) b) -> (v0 :. (w0 :. (x :. y))) := b Source # | |
(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') Source # | |
(-|) :: a -> ((t <:<.>:> u) t' a -> b) -> (v <:<.>:> w) v' b Source # (|-) :: (t <:<.>:> u) t' a -> (a -> (v <:<.>:> w) v' b) -> b Source # phi :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b Source # psi :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b Source # eta :: a -> ((v <:<.>:> w) v' :. (t <:<.>:> u) t') := a Source # epsilon :: (((t <:<.>:> u) t' :. (v <:<.>:> w) v') := a) -> a Source # (-|$) :: Covariant v0 => v0 a -> ((t <:<.>:> u) t' a -> b) -> v0 ((v <:<.>:> w) v' b) Source # ($|-) :: Covariant v0 => v0 ((t <:<.>:> u) t' a) -> (a -> (v <:<.>:> w) v' b) -> v0 b Source # ($$|-) :: (Covariant v0, Covariant w0) => ((v0 :. (w0 :. (t <:<.>:> u) t')) := a) -> (a -> (v <:<.>:> w) v' b) -> (v0 :. w0) := b Source # ($$$|-) :: (Covariant v0, Covariant w0, Covariant x) => ((v0 :. (w0 :. (x :. (t <:<.>:> u) t'))) := a) -> (a -> (v <:<.>:> w) v' b) -> (v0 :. (w0 :. x)) := b Source # ($$$$|-) :: (Covariant v0, Covariant w0, Covariant x, Covariant y) => ((v0 :. (w0 :. (x :. (y :. (t <:<.>:> u) t')))) := a) -> (a -> (v <:<.>:> w) v' b) -> (v0 :. (w0 :. (x :. y))) := b Source # |