(Covariant t, Contravariant u) => Contravariant (U Co Contra t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Covariant u) => Contravariant (U Contra Co t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Covariant u) => Covariant (U Co Co t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Contravariant u) => Covariant (U Contra Contra t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Applicative t, Applicative u) => Applicative (U Co Co t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Alternative t, Covariant u) => Alternative (U Co Co t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Avoidable t, Covariant u) => Avoidable (U Co Co t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Distributive t, Distributive u) => Distributive (U Co Co t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Extractable t, Extractable u) => Extractable (U Co Co t u) Source # | |
|
(Pointable t, Pointable u) => Pointable (U Co Co t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Traversable t, Traversable u) => Traversable (U Co Co t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition Methods (->>) :: (Pointable u0, Applicative u0) => U Co Co t u a -> (a -> u0 b) -> (u0 :.: U Co Co t u) b Source # traverse :: (Pointable u0, Applicative u0) => (a -> u0 b) -> U Co Co t u a -> (u0 :.: U Co Co t u) b Source # sequence :: (Pointable u0, Applicative u0) => (U Co Co t u :.: u0) a -> (u0 :.: U Co Co t u) a Source # (->>>) :: (Pointable u0, Applicative u0, Traversable v) => (v :.: U Co Co t u) a -> (a -> u0 b) -> (u0 :.: (v :.: U Co Co t u)) b Source # (->>>>) :: (Pointable u0, Applicative u0, Traversable v, Traversable w) => (w :.: (v :.: U Co Co t u)) a -> (a -> u0 b) -> (u0 :.: (w :.: (v :.: U Co Co t u))) b Source # (->>>>>) :: (Pointable u0, Applicative u0, Traversable v, Traversable w, Traversable j) => (j :.: (w :.: (v :.: U Co Co t u))) a -> (a -> u0 b) -> (u0 :.: (j :.: (w :.: (v :.: U Co Co t u)))) b Source # |
(t :-|: u, v :-|: w) => Adjoint (U Co Co t v) (U Co Co u w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Covariant u, Contravariant v) => Contravariant (UU Co Co Contra t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Contravariant u, Covariant v) => Contravariant (UU Co Contra Co t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Covariant u, Covariant v) => Contravariant (UU Contra Co Co t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Contravariant u, Contravariant v) => Contravariant (UU Contra Contra Contra t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Covariant u, Covariant v) => Covariant (UU Co Co Co t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Contravariant u, Contravariant v) => Covariant (UU Co Contra Contra t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Covariant u, Contravariant v) => Covariant (UU Contra Co Contra t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Contravariant u, Covariant v) => Covariant (UU Contra Contra Co t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Applicative t, Applicative u, Applicative v) => Applicative (UU Co Co Co t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Alternative t, Covariant u, Covariant v) => Alternative (UU Co Co Co t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Avoidable t, Covariant u, Covariant v) => Avoidable (UU Co Co Co t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Distributive t, Distributive u, Distributive v) => Distributive (UU Co Co Co t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Extractable t, Extractable u, Extractable v) => Extractable (UU Co Co Co t u v) Source # | |
|
(Pointable t, Pointable u, Pointable v) => Pointable (UU Co Co Co t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Traversable t, Traversable u, Traversable v) => Traversable (UU Co Co Co t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition Methods (->>) :: (Pointable u0, Applicative u0) => UU Co Co Co t u v a -> (a -> u0 b) -> (u0 :.: UU Co Co Co t u v) b Source # traverse :: (Pointable u0, Applicative u0) => (a -> u0 b) -> UU Co Co Co t u v a -> (u0 :.: UU Co Co Co t u v) b Source # sequence :: (Pointable u0, Applicative u0) => (UU Co Co Co t u v :.: u0) a -> (u0 :.: UU Co Co Co t u v) a Source # (->>>) :: (Pointable u0, Applicative u0, Traversable v0) => (v0 :.: UU Co Co Co t u v) a -> (a -> u0 b) -> (u0 :.: (v0 :.: UU Co Co Co t u v)) b Source # (->>>>) :: (Pointable u0, Applicative u0, Traversable v0, Traversable w) => (w :.: (v0 :.: UU Co Co Co t u v)) a -> (a -> u0 b) -> (u0 :.: (w :.: (v0 :.: UU Co Co Co t u v))) b Source # (->>>>>) :: (Pointable u0, Applicative u0, Traversable v0, Traversable w, Traversable j) => (j :.: (w :.: (v0 :.: UU Co Co Co t u v))) a -> (a -> u0 b) -> (u0 :.: (j :.: (w :.: (v0 :.: UU Co Co Co t u v)))) b Source # |
(t :-|: w, v :-|: x, u :-|: y) => Adjoint (UU Co Co Co t v u) (UU Co Co Co w x y) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(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 |
(Avoidable t, Covariant u, Covariant v, Covariant w) => Avoidable (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 |
(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 Methods (->>) :: (Pointable u0, Applicative u0) => UUU Co Co Co Co t u v w a -> (a -> u0 b) -> (u0 :.: UUU Co Co Co Co t u v w) b Source # traverse :: (Pointable u0, Applicative u0) => (a -> u0 b) -> UUU Co Co Co Co t u v w a -> (u0 :.: UUU Co Co Co Co t u v w) b Source # sequence :: (Pointable u0, Applicative u0) => (UUU Co Co Co Co t u v w :.: u0) a -> (u0 :.: UUU Co Co Co Co t u v w) a Source # (->>>) :: (Pointable u0, Applicative u0, Traversable v0) => (v0 :.: UUU Co Co Co Co t u v w) a -> (a -> u0 b) -> (u0 :.: (v0 :.: UUU Co Co Co Co t u v w)) b Source # (->>>>) :: (Pointable u0, Applicative u0, Traversable v0, Traversable w0) => (w0 :.: (v0 :.: UUU Co Co Co Co t u v w)) a -> (a -> u0 b) -> (u0 :.: (w0 :.: (v0 :.: UUU Co Co Co Co t u v w))) b Source # (->>>>>) :: (Pointable u0, Applicative u0, Traversable v0, Traversable w0, Traversable j) => (j :.: (w0 :.: (v0 :.: UUU Co Co Co Co t u v w))) a -> (a -> u0 b) -> (u0 :.: (j :.: (w0 :.: (v0 :.: UUU Co Co Co Co t u v w)))) b Source # |
(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 |