pandora-0.1.8: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Junction.Schemes.TUVW

Documentation

newtype TUVW ct cu cv cw t u v w a Source #

Constructors

TUVW ((t :.: (u :.: (v :.: w))) >< a) 
Instances
Composition (TUVW ct cu cv cw t u v w) Source # 
Instance details

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Associated Types

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

Methods

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

(Covariant t, Covariant u, Covariant v, Contravariant w) => Contravariant (TUVW Co Co Co Contra t u v w) Source # 
Instance details

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 Source #

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

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

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

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

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

(>$$<) :: 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 Source #

(>$$$<) :: (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 Source #

(>$$$$<) :: (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 Source #

(>&&<) :: 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 Source #

(>&&&<) :: (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 Source #

(>&&&&<) :: (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 Source #

(Covariant t, Covariant u, Contravariant v, Covariant w) => Contravariant (TUVW Co Co Contra Co t u v w) Source # 
Instance details

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 Source #

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

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

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

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

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

(>$$<) :: 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 Source #

(>$$$<) :: (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 Source #

(>$$$$<) :: (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 Source #

(>&&<) :: 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 Source #

(>&&&<) :: (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 Source #

(>&&&&<) :: (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 Source #

(Covariant t, Contravariant u, Covariant v, Covariant w) => Contravariant (TUVW Co Contra Co Co t u v w) Source # 
Instance details

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 Source #

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

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

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

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

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

(>$$<) :: 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 Source #

(>$$$<) :: (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 Source #

(>$$$$<) :: (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 Source #

(>&&<) :: 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 Source #

(>&&&<) :: (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 Source #

(>&&&&<) :: (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 Source #

(Covariant t, Contravariant u, Contravariant v, Contravariant w) => Contravariant (TUVW Co Contra Contra Contra t u v w) Source # 
Instance details

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 Source #

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

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

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

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

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

(>$$<) :: 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 Source #

(>$$$<) :: (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 Source #

(>$$$$<) :: (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 Source #

(>&&<) :: 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 Source #

(>&&&<) :: (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 Source #

(>&&&&<) :: (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 Source #

(Contravariant t, Covariant u, Covariant v, Covariant w) => Contravariant (TUVW Contra Co Co Co t u v w) Source # 
Instance details

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 Source #

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

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

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

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

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

(>$$<) :: 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 Source #

(>$$$<) :: (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 Source #

(>$$$$<) :: (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 Source #

(>&&<) :: 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 Source #

(>&&&<) :: (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 Source #

(>&&&&<) :: (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 Source #

(Contravariant t, Covariant u, Contravariant v, Contravariant w) => Contravariant (TUVW Contra Co Contra Contra t u v w) Source # 
Instance details

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 Source #

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

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

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

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

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

(>$$<) :: 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 Source #

(>$$$<) :: (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 Source #

(>$$$$<) :: (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 Source #

(>&&<) :: 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 Source #

(>&&&<) :: (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 Source #

(>&&&&<) :: (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 Source #

(Contravariant t, Contravariant u, Covariant v, Contravariant w) => Contravariant (TUVW Contra Contra Co Contra t u v w) Source # 
Instance details

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 Source #

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

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

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

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

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

(>$$<) :: 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 Source #

(>$$$<) :: (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 Source #

(>$$$$<) :: (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 Source #

(>&&<) :: 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 Source #

(>&&&<) :: (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 Source #

(>&&&&<) :: (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 Source #

(Contravariant t, Contravariant u, Contravariant v, Covariant w) => Contravariant (TUVW Contra Contra Contra Co t u v w) Source # 
Instance details

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 Source #

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

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

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

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

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

(>$$<) :: 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 Source #

(>$$$<) :: (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 Source #

(>$$$$<) :: (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 Source #

(>&&<) :: 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 Source #

(>&&&<) :: (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 Source #

(>&&&&<) :: (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 Source #

(Covariant t, Covariant u, Covariant v, Covariant w) => Covariant (TUVW Co Co Co Co t u v w) Source # 
Instance details

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 Source #

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

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

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

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

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 Source #

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

(<$$>) :: 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 Source #

(<$$$>) :: (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 Source #

(<$$$$>) :: (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 Source #

(<&&>) :: 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 Source #

(<&&&>) :: (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 Source #

(<&&&&>) :: (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 Source #

(Covariant t, Covariant u, Contravariant v, Contravariant w) => Covariant (TUVW Co Co Contra Contra t u v w) Source # 
Instance details

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 Source #

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

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

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

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

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 Source #

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

(<$$>) :: 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 Source #

(<$$$>) :: (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 Source #

(<$$$$>) :: (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 Source #

(<&&>) :: 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 Source #

(<&&&>) :: (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 Source #

(<&&&&>) :: (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 Source #

(Covariant t, Contravariant u, Covariant v, Contravariant w) => Covariant (TUVW Co Contra Co Contra t u v w) Source # 
Instance details

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 Source #

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

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

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

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

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 Source #

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

(<$$>) :: 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 Source #

(<$$$>) :: (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 Source #

(<$$$$>) :: (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 Source #

(<&&>) :: 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 Source #

(<&&&>) :: (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 Source #

(<&&&&>) :: (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 Source #

(Covariant t, Contravariant u, Contravariant v, Covariant w) => Covariant (TUVW Co Contra Contra Co t u v w) Source # 
Instance details

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 Source #

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

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

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

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

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 Source #

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

(<$$>) :: 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 Source #

(<$$$>) :: (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 Source #

(<$$$$>) :: (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 Source #

(<&&>) :: 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 Source #

(<&&&>) :: (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 Source #

(<&&&&>) :: (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 Source #

(Contravariant t, Covariant u, Covariant v, Contravariant w) => Covariant (TUVW Contra Co Co Contra t u v w) Source # 
Instance details

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 Source #

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

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

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

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

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 Source #

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

(<$$>) :: 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 Source #

(<$$$>) :: (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 Source #

(<$$$$>) :: (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 Source #

(<&&>) :: 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 Source #

(<&&&>) :: (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 Source #

(<&&&&>) :: (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 Source #

(Contravariant t, Covariant u, Contravariant v, Covariant w) => Covariant (TUVW Contra Co Contra Co t u v w) Source # 
Instance details

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 Source #

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

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

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

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

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 Source #

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

(<$$>) :: 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 Source #

(<$$$>) :: (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 Source #

(<$$$$>) :: (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 Source #

(<&&>) :: 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 Source #

(<&&&>) :: (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 Source #

(<&&&&>) :: (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 Source #

(Contravariant t, Contravariant u, Covariant v, Covariant w) => Covariant (TUVW Contra Contra Co Co t u v w) Source # 
Instance details

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 Source #

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

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

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

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

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 Source #

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

(<$$>) :: 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 Source #

(<$$$>) :: (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 Source #

(<$$$$>) :: (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 Source #

(<&&>) :: 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 Source #

(<&&&>) :: (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 Source #

(<&&&&>) :: (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 Source #

(Contravariant t, Contravariant u, Contravariant v, Contravariant w) => Covariant (TUVW Contra Contra Contra Contra t u v w) Source # 
Instance details

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 Source #

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

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

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

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

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 Source #

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

(<$$>) :: 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 Source #

(<$$$>) :: (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 Source #

(<$$$$>) :: (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 Source #

(<&&>) :: 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 Source #

(<&&&>) :: (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 Source #

(<&&&&>) :: (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 Source #

(Applicative t, Applicative u, Applicative v, Applicative w) => Applicative (TUVW Co Co Co Co t u v w) Source # 
Instance details

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 Source #

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 Source #

(*>) :: 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 Source #

(<*) :: 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 Source #

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

(<**>) :: 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 Source #

(<***>) :: (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 Source #

(<****>) :: (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 Source #

(Alternative t, Covariant u, Covariant v, Covariant w) => Alternative (TUVW Co Co Co Co t u v w) Source # 
Instance details

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 Source #

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 Source #

(Avoidable t, Covariant u, Covariant v, Covariant w) => Avoidable (TUVW Co Co Co Co t u v w) Source # 
Instance details

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

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

(Distributive t, Distributive u, Distributive v, Distributive w) => Distributive (TUVW Co Co Co Co t u v w) Source # 
Instance details

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 Source #

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 Source #

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 Source #

(>>>-) :: (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 Source #

(>>>>-) :: (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 Source #

(>>>>>-) :: (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 Source #

(Extractable t, Extractable u, Extractable v, Extractable w) => Extractable (TUVW Co Co Co Co t u v w) Source # 
Instance details

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

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

(Pointable t, Pointable u, Pointable v, Pointable w) => Pointable (TUVW Co Co Co Co t u v w) Source # 
Instance details

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

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

(Traversable t, Traversable u, Traversable v, Traversable w) => Traversable (TUVW Co Co Co Co t u v w) Source # 
Instance details

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 Source #

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 Source #

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 Source #

(->>>) :: (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 Source #

(->>>>) :: (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 Source #

(->>>>>) :: (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 Source #

(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) Source # 
Instance details

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 Source #

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

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

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

type Outline (TUVW ct cu cv cw t u v w) a Source # 
Instance details

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

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