(Covariant t, Covariant u, Covariant v, Contravariant w) => Contravariant (UUU Co Co Co Contra t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Covariant u, Contravariant v, Covariant w) => Contravariant (UUU Co Co Contra Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Contravariant u, Covariant v, Covariant w) => Contravariant (UUU Co Contra Co Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Contravariant u, Contravariant v, Contravariant w) => Contravariant (UUU Co Contra Contra Contra t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Covariant u, Covariant v, Covariant w) => Contravariant (UUU Contra Co Co Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Covariant u, Contravariant v, Contravariant w) => Contravariant (UUU Contra Co Contra Contra t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Contravariant u, Covariant v, Contravariant w) => Contravariant (UUU Contra Contra Co Contra t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Contravariant u, Contravariant v, Covariant w) => Contravariant (UUU Contra Contra Contra Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Covariant u, Covariant v, Covariant w) => Covariant (UUU Co Co Co Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Covariant u, Contravariant v, Contravariant w) => Covariant (UUU Co Co Contra Contra t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Contravariant u, Covariant v, Contravariant w) => Covariant (UUU Co Contra Co Contra t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Contravariant u, Contravariant v, Covariant w) => Covariant (UUU Co Contra Contra Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Covariant u, Covariant v, Contravariant w) => Covariant (UUU Contra Co Co Contra t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Covariant u, Contravariant v, Covariant w) => Covariant (UUU Contra Co Contra Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Contravariant u, Covariant v, Covariant w) => Covariant (UUU Contra Contra Co Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Contravariant u, Contravariant v, Contravariant w) => Covariant (UUU Contra Contra Contra Contra t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Applicative t, Applicative u, Applicative v, Applicative w) => Applicative (UUU Co Co Co Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Alternative t, Covariant u, Covariant v, Covariant w) => Alternative (UUU Co Co Co Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Distributive t, Distributive u, Distributive v, Distributive w) => Distributive (UUU Co Co Co Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Exclusive t, Covariant u, Covariant v, Covariant w) => Exclusive (UUU Co Co Co Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Extractable t, Extractable u, Extractable v, Extractable w) => Extractable (UUU Co Co Co Co t u v w) Source # | |
|
(Pointable t, Pointable u, Pointable v, Pointable w) => Pointable (UUU Co Co Co Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Traversable t, Traversable u, Traversable v, Traversable w) => Traversable (UUU Co Co Co Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(t :-|: u, v :-|: w, q :-|: q, r :-|: s) => Adjoint (UUU Co Co Co Co t v q r) (UUU Co Co Co Co u w q s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |