Pandora.Paradigm.Junction.Schemes.TUVW

Documentation

newtype TUVW ct cu cv cw t u v w a

Constructors

TUVW ((t :.: (u :.: (v :.: w))) >< a)

Instances

Composition (TUVW ct cu cv cw t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Associated Types

type Outline (TUVW ct cu cv cw t u v w) a :: Type

Methods

composition :: TUVW ct cu cv cw t u v w a -> Outline (TUVW ct cu cv cw t u v w) a

(Covariant t, Covariant u, Covariant v, Contravariant w) => Contravariant (TUVW Co Co Co Contra t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(>$<) :: (a -> b) -> TUVW Co Co Co Contra t u v w b -> TUVW Co Co Co Contra t u v w a

contramap :: (a -> b) -> TUVW Co Co Co Contra t u v w b -> TUVW Co Co Co Contra t u v w a

(>$) :: b -> TUVW Co Co Co Contra t u v w b -> TUVW Co Co Co Contra t u v w a

($<) :: TUVW Co Co Co Contra t u v w b -> b -> TUVW Co Co Co Contra t u v w a

full :: TUVW Co Co Co Contra t u v w () -> TUVW Co Co Co Contra t u v w a

(>&<) :: TUVW Co Co Co Contra t u v w b -> (a -> b) -> TUVW Co Co Co Contra t u v w a

(>$$<) :: Contravariant u0 => (a -> b) -> ((TUVW Co Co Co Contra t u v w :.: u0) >< a) -> (TUVW Co Co Co Contra t u v w :.: u0) >< b

(>$$$<) :: (Contravariant u0, Contravariant v0) => (a -> b) -> ((TUVW Co Co Co Contra t u v w :.: (u0 :.: v0)) >< b) -> (TUVW Co Co Co Contra t u v w :.: (u0 :.: v0)) >< a

(>$$$$<) :: (Contravariant u0, Contravariant v0, Contravariant w0) => (a -> b) -> ((TUVW Co Co Co Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (TUVW Co Co Co Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(>&&<) :: Contravariant u0 => ((TUVW Co Co Co Contra t u v w :.: u0) >< a) -> (a -> b) -> (TUVW Co Co Co Contra t u v w :.: u0) >< b

(>&&&<) :: (Contravariant u0, Contravariant v0) => ((TUVW Co Co Co Contra t u v w :.: (u0 :.: v0)) >< b) -> (a -> b) -> (TUVW Co Co Co Contra t u v w :.: (u0 :.: v0)) >< a

(>&&&&<) :: (Contravariant u0, Contravariant v0, Contravariant w0) => ((TUVW Co Co Co Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (a -> b) -> (TUVW Co Co Co Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(Covariant t, Covariant u, Contravariant v, Covariant w) => Contravariant (TUVW Co Co Contra Co t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(>$<) :: (a -> b) -> TUVW Co Co Contra Co t u v w b -> TUVW Co Co Contra Co t u v w a

contramap :: (a -> b) -> TUVW Co Co Contra Co t u v w b -> TUVW Co Co Contra Co t u v w a

(>$) :: b -> TUVW Co Co Contra Co t u v w b -> TUVW Co Co Contra Co t u v w a

($<) :: TUVW Co Co Contra Co t u v w b -> b -> TUVW Co Co Contra Co t u v w a

full :: TUVW Co Co Contra Co t u v w () -> TUVW Co Co Contra Co t u v w a

(>&<) :: TUVW Co Co Contra Co t u v w b -> (a -> b) -> TUVW Co Co Contra Co t u v w a

(>$$<) :: Contravariant u0 => (a -> b) -> ((TUVW Co Co Contra Co t u v w :.: u0) >< a) -> (TUVW Co Co Contra Co t u v w :.: u0) >< b

(>$$$<) :: (Contravariant u0, Contravariant v0) => (a -> b) -> ((TUVW Co Co Contra Co t u v w :.: (u0 :.: v0)) >< b) -> (TUVW Co Co Contra Co t u v w :.: (u0 :.: v0)) >< a

(>$$$$<) :: (Contravariant u0, Contravariant v0, Contravariant w0) => (a -> b) -> ((TUVW Co Co Contra Co t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (TUVW Co Co Contra Co t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(>&&<) :: Contravariant u0 => ((TUVW Co Co Contra Co t u v w :.: u0) >< a) -> (a -> b) -> (TUVW Co Co Contra Co t u v w :.: u0) >< b

(>&&&<) :: (Contravariant u0, Contravariant v0) => ((TUVW Co Co Contra Co t u v w :.: (u0 :.: v0)) >< b) -> (a -> b) -> (TUVW Co Co Contra Co t u v w :.: (u0 :.: v0)) >< a

(>&&&&<) :: (Contravariant u0, Contravariant v0, Contravariant w0) => ((TUVW Co Co Contra Co t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (a -> b) -> (TUVW Co Co Contra Co t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(Covariant t, Contravariant u, Covariant v, Covariant w) => Contravariant (TUVW Co Contra Co Co t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(>$<) :: (a -> b) -> TUVW Co Contra Co Co t u v w b -> TUVW Co Contra Co Co t u v w a

contramap :: (a -> b) -> TUVW Co Contra Co Co t u v w b -> TUVW Co Contra Co Co t u v w a

(>$) :: b -> TUVW Co Contra Co Co t u v w b -> TUVW Co Contra Co Co t u v w a

($<) :: TUVW Co Contra Co Co t u v w b -> b -> TUVW Co Contra Co Co t u v w a

full :: TUVW Co Contra Co Co t u v w () -> TUVW Co Contra Co Co t u v w a

(>&<) :: TUVW Co Contra Co Co t u v w b -> (a -> b) -> TUVW Co Contra Co Co t u v w a

(>$$<) :: Contravariant u0 => (a -> b) -> ((TUVW Co Contra Co Co t u v w :.: u0) >< a) -> (TUVW Co Contra Co Co t u v w :.: u0) >< b

(>$$$<) :: (Contravariant u0, Contravariant v0) => (a -> b) -> ((TUVW Co Contra Co Co t u v w :.: (u0 :.: v0)) >< b) -> (TUVW Co Contra Co Co t u v w :.: (u0 :.: v0)) >< a

(>$$$$<) :: (Contravariant u0, Contravariant v0, Contravariant w0) => (a -> b) -> ((TUVW Co Contra Co Co t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (TUVW Co Contra Co Co t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(>&&<) :: Contravariant u0 => ((TUVW Co Contra Co Co t u v w :.: u0) >< a) -> (a -> b) -> (TUVW Co Contra Co Co t u v w :.: u0) >< b

(>&&&<) :: (Contravariant u0, Contravariant v0) => ((TUVW Co Contra Co Co t u v w :.: (u0 :.: v0)) >< b) -> (a -> b) -> (TUVW Co Contra Co Co t u v w :.: (u0 :.: v0)) >< a

(>&&&&<) :: (Contravariant u0, Contravariant v0, Contravariant w0) => ((TUVW Co Contra Co Co t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (a -> b) -> (TUVW Co Contra Co Co t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(Covariant t, Contravariant u, Contravariant v, Contravariant w) => Contravariant (TUVW Co Contra Contra Contra t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(>$<) :: (a -> b) -> TUVW Co Contra Contra Contra t u v w b -> TUVW Co Contra Contra Contra t u v w a

contramap :: (a -> b) -> TUVW Co Contra Contra Contra t u v w b -> TUVW Co Contra Contra Contra t u v w a

(>$) :: b -> TUVW Co Contra Contra Contra t u v w b -> TUVW Co Contra Contra Contra t u v w a

($<) :: TUVW Co Contra Contra Contra t u v w b -> b -> TUVW Co Contra Contra Contra t u v w a

full :: TUVW Co Contra Contra Contra t u v w () -> TUVW Co Contra Contra Contra t u v w a

(>&<) :: TUVW Co Contra Contra Contra t u v w b -> (a -> b) -> TUVW Co Contra Contra Contra t u v w a

(>$$<) :: Contravariant u0 => (a -> b) -> ((TUVW Co Contra Contra Contra t u v w :.: u0) >< a) -> (TUVW Co Contra Contra Contra t u v w :.: u0) >< b

(>$$$<) :: (Contravariant u0, Contravariant v0) => (a -> b) -> ((TUVW Co Contra Contra Contra t u v w :.: (u0 :.: v0)) >< b) -> (TUVW Co Contra Contra Contra t u v w :.: (u0 :.: v0)) >< a

(>$$$$<) :: (Contravariant u0, Contravariant v0, Contravariant w0) => (a -> b) -> ((TUVW Co Contra Contra Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (TUVW Co Contra Contra Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(>&&<) :: Contravariant u0 => ((TUVW Co Contra Contra Contra t u v w :.: u0) >< a) -> (a -> b) -> (TUVW Co Contra Contra Contra t u v w :.: u0) >< b

(>&&&<) :: (Contravariant u0, Contravariant v0) => ((TUVW Co Contra Contra Contra t u v w :.: (u0 :.: v0)) >< b) -> (a -> b) -> (TUVW Co Contra Contra Contra t u v w :.: (u0 :.: v0)) >< a

(>&&&&<) :: (Contravariant u0, Contravariant v0, Contravariant w0) => ((TUVW Co Contra Contra Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (a -> b) -> (TUVW Co Contra Contra Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(Contravariant t, Covariant u, Covariant v, Covariant w) => Contravariant (TUVW Contra Co Co Co t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(>$<) :: (a -> b) -> TUVW Contra Co Co Co t u v w b -> TUVW Contra Co Co Co t u v w a

contramap :: (a -> b) -> TUVW Contra Co Co Co t u v w b -> TUVW Contra Co Co Co t u v w a

(>$) :: b -> TUVW Contra Co Co Co t u v w b -> TUVW Contra Co Co Co t u v w a

($<) :: TUVW Contra Co Co Co t u v w b -> b -> TUVW Contra Co Co Co t u v w a

full :: TUVW Contra Co Co Co t u v w () -> TUVW Contra Co Co Co t u v w a

(>&<) :: TUVW Contra Co Co Co t u v w b -> (a -> b) -> TUVW Contra Co Co Co t u v w a

(>$$<) :: Contravariant u0 => (a -> b) -> ((TUVW Contra Co Co Co t u v w :.: u0) >< a) -> (TUVW Contra Co Co Co t u v w :.: u0) >< b

(>$$$<) :: (Contravariant u0, Contravariant v0) => (a -> b) -> ((TUVW Contra Co Co Co t u v w :.: (u0 :.: v0)) >< b) -> (TUVW Contra Co Co Co t u v w :.: (u0 :.: v0)) >< a

(>$$$$<) :: (Contravariant u0, Contravariant v0, Contravariant w0) => (a -> b) -> ((TUVW Contra Co Co Co t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (TUVW Contra Co Co Co t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(>&&<) :: Contravariant u0 => ((TUVW Contra Co Co Co t u v w :.: u0) >< a) -> (a -> b) -> (TUVW Contra Co Co Co t u v w :.: u0) >< b

(>&&&<) :: (Contravariant u0, Contravariant v0) => ((TUVW Contra Co Co Co t u v w :.: (u0 :.: v0)) >< b) -> (a -> b) -> (TUVW Contra Co Co Co t u v w :.: (u0 :.: v0)) >< a

(>&&&&<) :: (Contravariant u0, Contravariant v0, Contravariant w0) => ((TUVW Contra Co Co Co t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (a -> b) -> (TUVW Contra Co Co Co t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(Contravariant t, Covariant u, Contravariant v, Contravariant w) => Contravariant (TUVW Contra Co Contra Contra t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(>$<) :: (a -> b) -> TUVW Contra Co Contra Contra t u v w b -> TUVW Contra Co Contra Contra t u v w a

contramap :: (a -> b) -> TUVW Contra Co Contra Contra t u v w b -> TUVW Contra Co Contra Contra t u v w a

(>$) :: b -> TUVW Contra Co Contra Contra t u v w b -> TUVW Contra Co Contra Contra t u v w a

($<) :: TUVW Contra Co Contra Contra t u v w b -> b -> TUVW Contra Co Contra Contra t u v w a

full :: TUVW Contra Co Contra Contra t u v w () -> TUVW Contra Co Contra Contra t u v w a

(>&<) :: TUVW Contra Co Contra Contra t u v w b -> (a -> b) -> TUVW Contra Co Contra Contra t u v w a

(>$$<) :: Contravariant u0 => (a -> b) -> ((TUVW Contra Co Contra Contra t u v w :.: u0) >< a) -> (TUVW Contra Co Contra Contra t u v w :.: u0) >< b

(>$$$<) :: (Contravariant u0, Contravariant v0) => (a -> b) -> ((TUVW Contra Co Contra Contra t u v w :.: (u0 :.: v0)) >< b) -> (TUVW Contra Co Contra Contra t u v w :.: (u0 :.: v0)) >< a

(>$$$$<) :: (Contravariant u0, Contravariant v0, Contravariant w0) => (a -> b) -> ((TUVW Contra Co Contra Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (TUVW Contra Co Contra Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(>&&<) :: Contravariant u0 => ((TUVW Contra Co Contra Contra t u v w :.: u0) >< a) -> (a -> b) -> (TUVW Contra Co Contra Contra t u v w :.: u0) >< b

(>&&&<) :: (Contravariant u0, Contravariant v0) => ((TUVW Contra Co Contra Contra t u v w :.: (u0 :.: v0)) >< b) -> (a -> b) -> (TUVW Contra Co Contra Contra t u v w :.: (u0 :.: v0)) >< a

(>&&&&<) :: (Contravariant u0, Contravariant v0, Contravariant w0) => ((TUVW Contra Co Contra Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (a -> b) -> (TUVW Contra Co Contra Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(Contravariant t, Contravariant u, Covariant v, Contravariant w) => Contravariant (TUVW Contra Contra Co Contra t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(>$<) :: (a -> b) -> TUVW Contra Contra Co Contra t u v w b -> TUVW Contra Contra Co Contra t u v w a

contramap :: (a -> b) -> TUVW Contra Contra Co Contra t u v w b -> TUVW Contra Contra Co Contra t u v w a

(>$) :: b -> TUVW Contra Contra Co Contra t u v w b -> TUVW Contra Contra Co Contra t u v w a

($<) :: TUVW Contra Contra Co Contra t u v w b -> b -> TUVW Contra Contra Co Contra t u v w a

full :: TUVW Contra Contra Co Contra t u v w () -> TUVW Contra Contra Co Contra t u v w a

(>&<) :: TUVW Contra Contra Co Contra t u v w b -> (a -> b) -> TUVW Contra Contra Co Contra t u v w a

(>$$<) :: Contravariant u0 => (a -> b) -> ((TUVW Contra Contra Co Contra t u v w :.: u0) >< a) -> (TUVW Contra Contra Co Contra t u v w :.: u0) >< b

(>$$$<) :: (Contravariant u0, Contravariant v0) => (a -> b) -> ((TUVW Contra Contra Co Contra t u v w :.: (u0 :.: v0)) >< b) -> (TUVW Contra Contra Co Contra t u v w :.: (u0 :.: v0)) >< a

(>$$$$<) :: (Contravariant u0, Contravariant v0, Contravariant w0) => (a -> b) -> ((TUVW Contra Contra Co Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (TUVW Contra Contra Co Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(>&&<) :: Contravariant u0 => ((TUVW Contra Contra Co Contra t u v w :.: u0) >< a) -> (a -> b) -> (TUVW Contra Contra Co Contra t u v w :.: u0) >< b

(>&&&<) :: (Contravariant u0, Contravariant v0) => ((TUVW Contra Contra Co Contra t u v w :.: (u0 :.: v0)) >< b) -> (a -> b) -> (TUVW Contra Contra Co Contra t u v w :.: (u0 :.: v0)) >< a

(>&&&&<) :: (Contravariant u0, Contravariant v0, Contravariant w0) => ((TUVW Contra Contra Co Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (a -> b) -> (TUVW Contra Contra Co Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(Contravariant t, Contravariant u, Contravariant v, Covariant w) => Contravariant (TUVW Contra Contra Contra Co t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(>$<) :: (a -> b) -> TUVW Contra Contra Contra Co t u v w b -> TUVW Contra Contra Contra Co t u v w a

contramap :: (a -> b) -> TUVW Contra Contra Contra Co t u v w b -> TUVW Contra Contra Contra Co t u v w a

(>$) :: b -> TUVW Contra Contra Contra Co t u v w b -> TUVW Contra Contra Contra Co t u v w a

($<) :: TUVW Contra Contra Contra Co t u v w b -> b -> TUVW Contra Contra Contra Co t u v w a

full :: TUVW Contra Contra Contra Co t u v w () -> TUVW Contra Contra Contra Co t u v w a

(>&<) :: TUVW Contra Contra Contra Co t u v w b -> (a -> b) -> TUVW Contra Contra Contra Co t u v w a

(>$$<) :: Contravariant u0 => (a -> b) -> ((TUVW Contra Contra Contra Co t u v w :.: u0) >< a) -> (TUVW Contra Contra Contra Co t u v w :.: u0) >< b

(>$$$<) :: (Contravariant u0, Contravariant v0) => (a -> b) -> ((TUVW Contra Contra Contra Co t u v w :.: (u0 :.: v0)) >< b) -> (TUVW Contra Contra Contra Co t u v w :.: (u0 :.: v0)) >< a

(>$$$$<) :: (Contravariant u0, Contravariant v0, Contravariant w0) => (a -> b) -> ((TUVW Contra Contra Contra Co t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (TUVW Contra Contra Contra Co t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(>&&<) :: Contravariant u0 => ((TUVW Contra Contra Contra Co t u v w :.: u0) >< a) -> (a -> b) -> (TUVW Contra Contra Contra Co t u v w :.: u0) >< b

(>&&&<) :: (Contravariant u0, Contravariant v0) => ((TUVW Contra Contra Contra Co t u v w :.: (u0 :.: v0)) >< b) -> (a -> b) -> (TUVW Contra Contra Contra Co t u v w :.: (u0 :.: v0)) >< a

(>&&&&<) :: (Contravariant u0, Contravariant v0, Contravariant w0) => ((TUVW Contra Contra Contra Co t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (a -> b) -> (TUVW Contra Contra Contra Co t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(Covariant t, Covariant u, Covariant v, Covariant w) => Covariant (TUVW Co Co Co Co t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(<$>) :: (a -> b) -> TUVW Co Co Co Co t u v w a -> TUVW Co Co Co Co t u v w b

comap :: (a -> b) -> TUVW Co Co Co Co t u v w a -> TUVW Co Co Co Co t u v w b

(<$) :: a -> TUVW Co Co Co Co t u v w b -> TUVW Co Co Co Co t u v w a

($>) :: TUVW Co Co Co Co t u v w a -> b -> TUVW Co Co Co Co t u v w b

void :: TUVW Co Co Co Co t u v w a -> TUVW Co Co Co Co t u v w ()

loeb :: TUVW Co Co Co Co t u v w (TUVW Co Co Co Co t u v w a -> a) -> TUVW Co Co Co Co t u v w a

(<&>) :: TUVW Co Co Co Co t u v w a -> (a -> b) -> TUVW Co Co Co Co t u v w b

(<$$>) :: Covariant u0 => (a -> b) -> ((TUVW Co Co Co Co t u v w :.: u0) >< a) -> (TUVW Co Co Co Co t u v w :.: u0) >< b

(<$$$>) :: (Covariant u0, Covariant v0) => (a -> b) -> ((TUVW Co Co Co Co t u v w :.: (u0 :.: v0)) >< a) -> (TUVW Co Co Co Co t u v w :.: (u0 :.: v0)) >< b

(<$$$$>) :: (Covariant u0, Covariant v0, Covariant w0) => (a -> b) -> ((TUVW Co Co Co Co t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (TUVW Co Co Co Co t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(<&&>) :: Covariant u0 => ((TUVW Co Co Co Co t u v w :.: u0) >< a) -> (a -> b) -> (TUVW Co Co Co Co t u v w :.: u0) >< b

(<&&&>) :: (Covariant u0, Covariant v0) => ((TUVW Co Co Co Co t u v w :.: (u0 :.: v0)) >< a) -> (a -> b) -> (TUVW Co Co Co Co t u v w :.: (u0 :.: v0)) >< b

(<&&&&>) :: (Covariant u0, Covariant v0, Covariant w0) => ((TUVW Co Co Co Co t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (a -> b) -> (TUVW Co Co Co Co t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(Covariant t, Covariant u, Contravariant v, Contravariant w) => Covariant (TUVW Co Co Contra Contra t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(<$>) :: (a -> b) -> TUVW Co Co Contra Contra t u v w a -> TUVW Co Co Contra Contra t u v w b

comap :: (a -> b) -> TUVW Co Co Contra Contra t u v w a -> TUVW Co Co Contra Contra t u v w b

(<$) :: a -> TUVW Co Co Contra Contra t u v w b -> TUVW Co Co Contra Contra t u v w a

($>) :: TUVW Co Co Contra Contra t u v w a -> b -> TUVW Co Co Contra Contra t u v w b

void :: TUVW Co Co Contra Contra t u v w a -> TUVW Co Co Contra Contra t u v w ()

loeb :: TUVW Co Co Contra Contra t u v w (TUVW Co Co Contra Contra t u v w a -> a) -> TUVW Co Co Contra Contra t u v w a

(<&>) :: TUVW Co Co Contra Contra t u v w a -> (a -> b) -> TUVW Co Co Contra Contra t u v w b

(<$$>) :: Covariant u0 => (a -> b) -> ((TUVW Co Co Contra Contra t u v w :.: u0) >< a) -> (TUVW Co Co Contra Contra t u v w :.: u0) >< b

(<$$$>) :: (Covariant u0, Covariant v0) => (a -> b) -> ((TUVW Co Co Contra Contra t u v w :.: (u0 :.: v0)) >< a) -> (TUVW Co Co Contra Contra t u v w :.: (u0 :.: v0)) >< b

(<$$$$>) :: (Covariant u0, Covariant v0, Covariant w0) => (a -> b) -> ((TUVW Co Co Contra Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (TUVW Co Co Contra Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(<&&>) :: Covariant u0 => ((TUVW Co Co Contra Contra t u v w :.: u0) >< a) -> (a -> b) -> (TUVW Co Co Contra Contra t u v w :.: u0) >< b

(<&&&>) :: (Covariant u0, Covariant v0) => ((TUVW Co Co Contra Contra t u v w :.: (u0 :.: v0)) >< a) -> (a -> b) -> (TUVW Co Co Contra Contra t u v w :.: (u0 :.: v0)) >< b

(<&&&&>) :: (Covariant u0, Covariant v0, Covariant w0) => ((TUVW Co Co Contra Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (a -> b) -> (TUVW Co Co Contra Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(Covariant t, Contravariant u, Covariant v, Contravariant w) => Covariant (TUVW Co Contra Co Contra t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(<$>) :: (a -> b) -> TUVW Co Contra Co Contra t u v w a -> TUVW Co Contra Co Contra t u v w b

comap :: (a -> b) -> TUVW Co Contra Co Contra t u v w a -> TUVW Co Contra Co Contra t u v w b

(<$) :: a -> TUVW Co Contra Co Contra t u v w b -> TUVW Co Contra Co Contra t u v w a

($>) :: TUVW Co Contra Co Contra t u v w a -> b -> TUVW Co Contra Co Contra t u v w b

void :: TUVW Co Contra Co Contra t u v w a -> TUVW Co Contra Co Contra t u v w ()

loeb :: TUVW Co Contra Co Contra t u v w (TUVW Co Contra Co Contra t u v w a -> a) -> TUVW Co Contra Co Contra t u v w a

(<&>) :: TUVW Co Contra Co Contra t u v w a -> (a -> b) -> TUVW Co Contra Co Contra t u v w b

(<$$>) :: Covariant u0 => (a -> b) -> ((TUVW Co Contra Co Contra t u v w :.: u0) >< a) -> (TUVW Co Contra Co Contra t u v w :.: u0) >< b

(<$$$>) :: (Covariant u0, Covariant v0) => (a -> b) -> ((TUVW Co Contra Co Contra t u v w :.: (u0 :.: v0)) >< a) -> (TUVW Co Contra Co Contra t u v w :.: (u0 :.: v0)) >< b

(<$$$$>) :: (Covariant u0, Covariant v0, Covariant w0) => (a -> b) -> ((TUVW Co Contra Co Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (TUVW Co Contra Co Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(<&&>) :: Covariant u0 => ((TUVW Co Contra Co Contra t u v w :.: u0) >< a) -> (a -> b) -> (TUVW Co Contra Co Contra t u v w :.: u0) >< b

(<&&&>) :: (Covariant u0, Covariant v0) => ((TUVW Co Contra Co Contra t u v w :.: (u0 :.: v0)) >< a) -> (a -> b) -> (TUVW Co Contra Co Contra t u v w :.: (u0 :.: v0)) >< b

(<&&&&>) :: (Covariant u0, Covariant v0, Covariant w0) => ((TUVW Co Contra Co Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (a -> b) -> (TUVW Co Contra Co Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(Covariant t, Contravariant u, Contravariant v, Covariant w) => Covariant (TUVW Co Contra Contra Co t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(<$>) :: (a -> b) -> TUVW Co Contra Contra Co t u v w a -> TUVW Co Contra Contra Co t u v w b

comap :: (a -> b) -> TUVW Co Contra Contra Co t u v w a -> TUVW Co Contra Contra Co t u v w b

(<$) :: a -> TUVW Co Contra Contra Co t u v w b -> TUVW Co Contra Contra Co t u v w a

($>) :: TUVW Co Contra Contra Co t u v w a -> b -> TUVW Co Contra Contra Co t u v w b

void :: TUVW Co Contra Contra Co t u v w a -> TUVW Co Contra Contra Co t u v w ()

loeb :: TUVW Co Contra Contra Co t u v w (TUVW Co Contra Contra Co t u v w a -> a) -> TUVW Co Contra Contra Co t u v w a

(<&>) :: TUVW Co Contra Contra Co t u v w a -> (a -> b) -> TUVW Co Contra Contra Co t u v w b

(<$$>) :: Covariant u0 => (a -> b) -> ((TUVW Co Contra Contra Co t u v w :.: u0) >< a) -> (TUVW Co Contra Contra Co t u v w :.: u0) >< b

(<$$$>) :: (Covariant u0, Covariant v0) => (a -> b) -> ((TUVW Co Contra Contra Co t u v w :.: (u0 :.: v0)) >< a) -> (TUVW Co Contra Contra Co t u v w :.: (u0 :.: v0)) >< b

(<$$$$>) :: (Covariant u0, Covariant v0, Covariant w0) => (a -> b) -> ((TUVW Co Contra Contra Co t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (TUVW Co Contra Contra Co t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(<&&>) :: Covariant u0 => ((TUVW Co Contra Contra Co t u v w :.: u0) >< a) -> (a -> b) -> (TUVW Co Contra Contra Co t u v w :.: u0) >< b

(<&&&>) :: (Covariant u0, Covariant v0) => ((TUVW Co Contra Contra Co t u v w :.: (u0 :.: v0)) >< a) -> (a -> b) -> (TUVW Co Contra Contra Co t u v w :.: (u0 :.: v0)) >< b

(<&&&&>) :: (Covariant u0, Covariant v0, Covariant w0) => ((TUVW Co Contra Contra Co t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (a -> b) -> (TUVW Co Contra Contra Co t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(Contravariant t, Covariant u, Covariant v, Contravariant w) => Covariant (TUVW Contra Co Co Contra t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(<$>) :: (a -> b) -> TUVW Contra Co Co Contra t u v w a -> TUVW Contra Co Co Contra t u v w b

comap :: (a -> b) -> TUVW Contra Co Co Contra t u v w a -> TUVW Contra Co Co Contra t u v w b

(<$) :: a -> TUVW Contra Co Co Contra t u v w b -> TUVW Contra Co Co Contra t u v w a

($>) :: TUVW Contra Co Co Contra t u v w a -> b -> TUVW Contra Co Co Contra t u v w b

void :: TUVW Contra Co Co Contra t u v w a -> TUVW Contra Co Co Contra t u v w ()

loeb :: TUVW Contra Co Co Contra t u v w (TUVW Contra Co Co Contra t u v w a -> a) -> TUVW Contra Co Co Contra t u v w a

(<&>) :: TUVW Contra Co Co Contra t u v w a -> (a -> b) -> TUVW Contra Co Co Contra t u v w b

(<$$>) :: Covariant u0 => (a -> b) -> ((TUVW Contra Co Co Contra t u v w :.: u0) >< a) -> (TUVW Contra Co Co Contra t u v w :.: u0) >< b

(<$$$>) :: (Covariant u0, Covariant v0) => (a -> b) -> ((TUVW Contra Co Co Contra t u v w :.: (u0 :.: v0)) >< a) -> (TUVW Contra Co Co Contra t u v w :.: (u0 :.: v0)) >< b

(<$$$$>) :: (Covariant u0, Covariant v0, Covariant w0) => (a -> b) -> ((TUVW Contra Co Co Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (TUVW Contra Co Co Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(<&&>) :: Covariant u0 => ((TUVW Contra Co Co Contra t u v w :.: u0) >< a) -> (a -> b) -> (TUVW Contra Co Co Contra t u v w :.: u0) >< b

(<&&&>) :: (Covariant u0, Covariant v0) => ((TUVW Contra Co Co Contra t u v w :.: (u0 :.: v0)) >< a) -> (a -> b) -> (TUVW Contra Co Co Contra t u v w :.: (u0 :.: v0)) >< b

(<&&&&>) :: (Covariant u0, Covariant v0, Covariant w0) => ((TUVW Contra Co Co Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (a -> b) -> (TUVW Contra Co Co Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(Contravariant t, Covariant u, Contravariant v, Covariant w) => Covariant (TUVW Contra Co Contra Co t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(<$>) :: (a -> b) -> TUVW Contra Co Contra Co t u v w a -> TUVW Contra Co Contra Co t u v w b

comap :: (a -> b) -> TUVW Contra Co Contra Co t u v w a -> TUVW Contra Co Contra Co t u v w b

(<$) :: a -> TUVW Contra Co Contra Co t u v w b -> TUVW Contra Co Contra Co t u v w a

($>) :: TUVW Contra Co Contra Co t u v w a -> b -> TUVW Contra Co Contra Co t u v w b

void :: TUVW Contra Co Contra Co t u v w a -> TUVW Contra Co Contra Co t u v w ()

loeb :: TUVW Contra Co Contra Co t u v w (TUVW Contra Co Contra Co t u v w a -> a) -> TUVW Contra Co Contra Co t u v w a

(<&>) :: TUVW Contra Co Contra Co t u v w a -> (a -> b) -> TUVW Contra Co Contra Co t u v w b

(<$$>) :: Covariant u0 => (a -> b) -> ((TUVW Contra Co Contra Co t u v w :.: u0) >< a) -> (TUVW Contra Co Contra Co t u v w :.: u0) >< b

(<$$$>) :: (Covariant u0, Covariant v0) => (a -> b) -> ((TUVW Contra Co Contra Co t u v w :.: (u0 :.: v0)) >< a) -> (TUVW Contra Co Contra Co t u v w :.: (u0 :.: v0)) >< b

(<$$$$>) :: (Covariant u0, Covariant v0, Covariant w0) => (a -> b) -> ((TUVW Contra Co Contra Co t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (TUVW Contra Co Contra Co t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(<&&>) :: Covariant u0 => ((TUVW Contra Co Contra Co t u v w :.: u0) >< a) -> (a -> b) -> (TUVW Contra Co Contra Co t u v w :.: u0) >< b

(<&&&>) :: (Covariant u0, Covariant v0) => ((TUVW Contra Co Contra Co t u v w :.: (u0 :.: v0)) >< a) -> (a -> b) -> (TUVW Contra Co Contra Co t u v w :.: (u0 :.: v0)) >< b

(<&&&&>) :: (Covariant u0, Covariant v0, Covariant w0) => ((TUVW Contra Co Contra Co t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (a -> b) -> (TUVW Contra Co Contra Co t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(Contravariant t, Contravariant u, Covariant v, Covariant w) => Covariant (TUVW Contra Contra Co Co t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(<$>) :: (a -> b) -> TUVW Contra Contra Co Co t u v w a -> TUVW Contra Contra Co Co t u v w b

comap :: (a -> b) -> TUVW Contra Contra Co Co t u v w a -> TUVW Contra Contra Co Co t u v w b

(<$) :: a -> TUVW Contra Contra Co Co t u v w b -> TUVW Contra Contra Co Co t u v w a

($>) :: TUVW Contra Contra Co Co t u v w a -> b -> TUVW Contra Contra Co Co t u v w b

void :: TUVW Contra Contra Co Co t u v w a -> TUVW Contra Contra Co Co t u v w ()

loeb :: TUVW Contra Contra Co Co t u v w (TUVW Contra Contra Co Co t u v w a -> a) -> TUVW Contra Contra Co Co t u v w a

(<&>) :: TUVW Contra Contra Co Co t u v w a -> (a -> b) -> TUVW Contra Contra Co Co t u v w b

(<$$>) :: Covariant u0 => (a -> b) -> ((TUVW Contra Contra Co Co t u v w :.: u0) >< a) -> (TUVW Contra Contra Co Co t u v w :.: u0) >< b

(<$$$>) :: (Covariant u0, Covariant v0) => (a -> b) -> ((TUVW Contra Contra Co Co t u v w :.: (u0 :.: v0)) >< a) -> (TUVW Contra Contra Co Co t u v w :.: (u0 :.: v0)) >< b

(<$$$$>) :: (Covariant u0, Covariant v0, Covariant w0) => (a -> b) -> ((TUVW Contra Contra Co Co t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (TUVW Contra Contra Co Co t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(<&&>) :: Covariant u0 => ((TUVW Contra Contra Co Co t u v w :.: u0) >< a) -> (a -> b) -> (TUVW Contra Contra Co Co t u v w :.: u0) >< b

(<&&&>) :: (Covariant u0, Covariant v0) => ((TUVW Contra Contra Co Co t u v w :.: (u0 :.: v0)) >< a) -> (a -> b) -> (TUVW Contra Contra Co Co t u v w :.: (u0 :.: v0)) >< b

(<&&&&>) :: (Covariant u0, Covariant v0, Covariant w0) => ((TUVW Contra Contra Co Co t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (a -> b) -> (TUVW Contra Contra Co Co t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(Contravariant t, Contravariant u, Contravariant v, Contravariant w) => Covariant (TUVW Contra Contra Contra Contra t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(<$>) :: (a -> b) -> TUVW Contra Contra Contra Contra t u v w a -> TUVW Contra Contra Contra Contra t u v w b

comap :: (a -> b) -> TUVW Contra Contra Contra Contra t u v w a -> TUVW Contra Contra Contra Contra t u v w b

(<$) :: a -> TUVW Contra Contra Contra Contra t u v w b -> TUVW Contra Contra Contra Contra t u v w a

($>) :: TUVW Contra Contra Contra Contra t u v w a -> b -> TUVW Contra Contra Contra Contra t u v w b

void :: TUVW Contra Contra Contra Contra t u v w a -> TUVW Contra Contra Contra Contra t u v w ()

loeb :: TUVW Contra Contra Contra Contra t u v w (TUVW Contra Contra Contra Contra t u v w a -> a) -> TUVW Contra Contra Contra Contra t u v w a

(<&>) :: TUVW Contra Contra Contra Contra t u v w a -> (a -> b) -> TUVW Contra Contra Contra Contra t u v w b

(<$$>) :: Covariant u0 => (a -> b) -> ((TUVW Contra Contra Contra Contra t u v w :.: u0) >< a) -> (TUVW Contra Contra Contra Contra t u v w :.: u0) >< b

(<$$$>) :: (Covariant u0, Covariant v0) => (a -> b) -> ((TUVW Contra Contra Contra Contra t u v w :.: (u0 :.: v0)) >< a) -> (TUVW Contra Contra Contra Contra t u v w :.: (u0 :.: v0)) >< b

(<$$$$>) :: (Covariant u0, Covariant v0, Covariant w0) => (a -> b) -> ((TUVW Contra Contra Contra Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (TUVW Contra Contra Contra Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(<&&>) :: Covariant u0 => ((TUVW Contra Contra Contra Contra t u v w :.: u0) >< a) -> (a -> b) -> (TUVW Contra Contra Contra Contra t u v w :.: u0) >< b

(<&&&>) :: (Covariant u0, Covariant v0) => ((TUVW Contra Contra Contra Contra t u v w :.: (u0 :.: v0)) >< a) -> (a -> b) -> (TUVW Contra Contra Contra Contra t u v w :.: (u0 :.: v0)) >< b

(<&&&&>) :: (Covariant u0, Covariant v0, Covariant w0) => ((TUVW Contra Contra Contra Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< a) -> (a -> b) -> (TUVW Contra Contra Contra Contra t u v w :.: (u0 :.: (v0 :.: w0))) >< b

(Applicative t, Applicative u, Applicative v, Applicative w) => Applicative (TUVW Co Co Co Co t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(<*>) :: TUVW Co Co Co Co t u v w (a -> b) -> TUVW Co Co Co Co t u v w a -> TUVW Co Co Co Co t u v w b

apply :: TUVW Co Co Co Co t u v w (a -> b) -> TUVW Co Co Co Co t u v w a -> TUVW Co Co Co Co t u v w b

(*>) :: TUVW Co Co Co Co t u v w a -> TUVW Co Co Co Co t u v w b -> TUVW Co Co Co Co t u v w b

(<*) :: TUVW Co Co Co Co t u v w a -> TUVW Co Co Co Co t u v w b -> TUVW Co Co Co Co t u v w a

forever :: TUVW Co Co Co Co t u v w a -> TUVW Co Co Co Co t u v w b

(<**>) :: Applicative u0 => (TUVW Co Co Co Co t u v w :.: u0) (a -> b) -> (TUVW Co Co Co Co t u v w :.: u0) a -> (TUVW Co Co Co Co t u v w :.: u0) b

(<***>) :: (Applicative u0, Applicative v0) => (TUVW Co Co Co Co t u v w :.: (u0 :.: v0)) (a -> b) -> (TUVW Co Co Co Co t u v w :.: (u0 :.: v0)) a -> (TUVW Co Co Co Co t u v w :.: (u0 :.: v0)) b

(<****>) :: (Applicative u0, Applicative v0, Applicative w0) => (TUVW Co Co Co Co t u v w :.: (u0 :.: (v0 :.: w0))) (a -> b) -> (TUVW Co Co Co Co t u v w :.: (u0 :.: (v0 :.: w0))) a -> (TUVW Co Co Co Co t u v w :.: (u0 :.: (v0 :.: w0))) b

(Alternative t, Covariant u, Covariant v, Covariant w) => Alternative (TUVW Co Co Co Co t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(<+>) :: TUVW Co Co Co Co t u v w a -> TUVW Co Co Co Co t u v w a -> TUVW Co Co Co Co t u v w a

alter :: TUVW Co Co Co Co t u v w a -> TUVW Co Co Co Co t u v w a -> TUVW Co Co Co Co t u v w a

(Avoidable t, Covariant u, Covariant v, Covariant w) => Avoidable (TUVW Co Co Co Co t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

idle :: TUVW Co Co Co Co t u v w a

(Distributive t, Distributive u, Distributive v, Distributive w) => Distributive (TUVW Co Co Co Co t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(>>-) :: Covariant t0 => t0 a -> (a -> TUVW Co Co Co Co t u v w b) -> (TUVW Co Co Co Co t u v w :.: t0) b

collect :: Covariant t0 => (a -> TUVW Co Co Co Co t u v w b) -> t0 a -> (TUVW Co Co Co Co t u v w :.: t0) b

distribute :: Covariant t0 => (t0 :.: TUVW Co Co Co Co t u v w) a -> (TUVW Co Co Co Co t u v w :.: t0) a

(>>>-) :: (Covariant t0, Covariant v0) => (t0 :.: v0) a -> (a -> TUVW Co Co Co Co t u v w b) -> (TUVW Co Co Co Co t u v w :.: (t0 :.: v0)) b

(>>>>-) :: (Covariant t0, Covariant v0, Covariant w0) => (t0 :.: (v0 :.: w0)) a -> (a -> TUVW Co Co Co Co t u v w b) -> (TUVW Co Co Co Co t u v w :.: (t0 :.: (v0 :.: w0))) b

(>>>>>-) :: (Covariant t0, Covariant v0, Covariant w0, Covariant j) => (t0 :.: (v0 :.: (w0 :.: j))) a -> (a -> TUVW Co Co Co Co t u v w b) -> (TUVW Co Co Co Co t u v w :.: (t0 :.: (v0 :.: (w0 :.: j)))) b

(Extractable t, Extractable u, Extractable v, Extractable w) => Extractable (TUVW Co Co Co Co t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

extract :: TUVW Co Co Co Co t u v w a -> a

(Pointable t, Pointable u, Pointable v, Pointable w) => Pointable (TUVW Co Co Co Co t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

point :: a -> TUVW Co Co Co Co t u v w a

(Traversable t, Traversable u, Traversable v, Traversable w) => Traversable (TUVW Co Co Co Co t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(->>) :: (Pointable u0, Applicative u0) => TUVW Co Co Co Co t u v w a -> (a -> u0 b) -> (u0 :.: TUVW Co Co Co Co t u v w) b

traverse :: (Pointable u0, Applicative u0) => (a -> u0 b) -> TUVW Co Co Co Co t u v w a -> (u0 :.: TUVW Co Co Co Co t u v w) b

sequence :: (Pointable u0, Applicative u0) => (TUVW Co Co Co Co t u v w :.: u0) a -> (u0 :.: TUVW Co Co Co Co t u v w) a

(->>>) :: (Pointable u0, Applicative u0, Traversable v0) => (v0 :.: TUVW Co Co Co Co t u v w) a -> (a -> u0 b) -> (u0 :.: (v0 :.: TUVW Co Co Co Co t u v w)) b

(->>>>) :: (Pointable u0, Applicative u0, Traversable v0, Traversable w0) => (w0 :.: (v0 :.: TUVW Co Co Co Co t u v w)) a -> (a -> u0 b) -> (u0 :.: (w0 :.: (v0 :.: TUVW Co Co Co Co t u v w))) b

(->>>>>) :: (Pointable u0, Applicative u0, Traversable v0, Traversable w0, Traversable j) => (j :.: (w0 :.: (v0 :.: TUVW Co Co Co Co t u v w))) a -> (a -> u0 b) -> (u0 :.: (j :.: (w0 :.: (v0 :.: TUVW Co Co Co Co t u v w)))) b

(t :-|: u, v :-|: w, q :-|: q, r :-|: s) => Adjoint (TUVW Co Co Co Co t v q r) (TUVW Co Co Co Co u w q s)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

phi :: (TUVW Co Co Co Co t v q r a -> b) -> a -> TUVW Co Co Co Co u w q s b

psi :: (a -> TUVW Co Co Co Co u w q s b) -> TUVW Co Co Co Co t v q r a -> b

eta :: a -> (TUVW Co Co Co Co u w q s :.: TUVW Co Co Co Co t v q r) a

epsilon :: (TUVW Co Co Co Co t v q r :.: TUVW Co Co Co Co u w q s) a -> a

type Outline (TUVW ct cu cv cw t u v w) a

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

type Outline (TUVW ct cu cv cw t u v w) a = (t :.: (u :.: (v :.: w))) >< a