Pandora.Core.Functor

Documentation

data Variant

Constructors

Co

Contra

Instances

(Covariant t, Contravariant u) => Contravariant (U Co Contra t u)

Defined in Pandora.Paradigm.Junction.Composition

Methods

(>$<) :: (a -> b) -> U Co Contra t u b -> U Co Contra t u a

contramap :: (a -> b) -> U Co Contra t u b -> U Co Contra t u a

(>$) :: b -> U Co Contra t u b -> U Co Contra t u a

($<) :: U Co Contra t u b -> b -> U Co Contra t u a

full :: U Co Contra t u () -> U Co Contra t u a

(>&<) :: U Co Contra t u b -> (a -> b) -> U Co Contra t u a

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

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

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

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

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

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

(Contravariant t, Covariant u) => Contravariant (U Contra Co t u)

Defined in Pandora.Paradigm.Junction.Composition

Methods

(>$<) :: (a -> b) -> U Contra Co t u b -> U Contra Co t u a

contramap :: (a -> b) -> U Contra Co t u b -> U Contra Co t u a

(>$) :: b -> U Contra Co t u b -> U Contra Co t u a

($<) :: U Contra Co t u b -> b -> U Contra Co t u a

full :: U Contra Co t u () -> U Contra Co t u a

(>&<) :: U Contra Co t u b -> (a -> b) -> U Contra Co t u a

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

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

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

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

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

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

(Covariant t, Covariant u) => Covariant (U Co Co t u)

Defined in Pandora.Paradigm.Junction.Composition

Methods

(<$>) :: (a -> b) -> U Co Co t u a -> U Co Co t u b

comap :: (a -> b) -> U Co Co t u a -> U Co Co t u b

(<$) :: a -> U Co Co t u b -> U Co Co t u a

($>) :: U Co Co t u a -> b -> U Co Co t u b

void :: U Co Co t u a -> U Co Co t u ()

loeb :: U Co Co t u (U Co Co t u a -> a) -> U Co Co t u a

(<&>) :: U Co Co t u a -> (a -> b) -> U Co Co t u b

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

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

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

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

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

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

(Contravariant t, Contravariant u) => Covariant (U Contra Contra t u)

Defined in Pandora.Paradigm.Junction.Composition

Methods

(<$>) :: (a -> b) -> U Contra Contra t u a -> U Contra Contra t u b

comap :: (a -> b) -> U Contra Contra t u a -> U Contra Contra t u b

(<$) :: a -> U Contra Contra t u b -> U Contra Contra t u a

($>) :: U Contra Contra t u a -> b -> U Contra Contra t u b

void :: U Contra Contra t u a -> U Contra Contra t u ()

loeb :: U Contra Contra t u (U Contra Contra t u a -> a) -> U Contra Contra t u a

(<&>) :: U Contra Contra t u a -> (a -> b) -> U Contra Contra t u b

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

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

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

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

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

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

(Applicative t, Applicative u) => Applicative (U Co Co t u)

Defined in Pandora.Paradigm.Junction.Composition

Methods

(<*>) :: U Co Co t u (a -> b) -> U Co Co t u a -> U Co Co t u b

apply :: U Co Co t u (a -> b) -> U Co Co t u a -> U Co Co t u b

(*>) :: U Co Co t u a -> U Co Co t u b -> U Co Co t u b

(<*) :: U Co Co t u a -> U Co Co t u b -> U Co Co t u a

forever :: U Co Co t u a -> U Co Co t u b

(Alternative t, Covariant u) => Alternative (U Co Co t u)

Defined in Pandora.Paradigm.Junction.Composition

Methods

(<+>) :: U Co Co t u a -> U Co Co t u a -> U Co Co t u a

alter :: U Co Co t u a -> U Co Co t u a -> U Co Co t u a

(Avoidable t, Covariant u) => Avoidable (U Co Co t u)

Defined in Pandora.Paradigm.Junction.Composition

Methods

idle :: U Co Co t u a

(Distributive t, Distributive u) => Distributive (U Co Co t u)

Defined in Pandora.Paradigm.Junction.Composition

Methods

(>>-) :: Covariant t0 => t0 a -> (a -> U Co Co t u b) -> (U Co Co t u :.: t0) b

collect :: Covariant t0 => (a -> U Co Co t u b) -> t0 a -> (U Co Co t u :.: t0) b

distribute :: Covariant t0 => (t0 :.: U Co Co t u) a -> (U Co Co t u :.: t0) a

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

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

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

(Extractable t, Extractable u) => Extractable (U Co Co t u)

Defined in Pandora.Paradigm.Junction.Composition

Methods

extract :: U Co Co t u a -> a

(Pointable t, Pointable u) => Pointable (U Co Co t u)

Defined in Pandora.Paradigm.Junction.Composition

Methods

point :: a -> U Co Co t u a

(Traversable t, Traversable u) => Traversable (U Co Co t u)

Defined 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

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

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

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

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

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

(t :-|: u, v :-|: w) => Adjoint (U Co Co t v) (U Co Co u w)

Defined in Pandora.Paradigm.Junction.Composition

Methods

phi :: (U Co Co t v a -> b) -> a -> U Co Co u w b

psi :: (a -> U Co Co u w b) -> U Co Co t v a -> b

eta :: a -> (U Co Co u w :.: U Co Co t v) a

epsilon :: (U Co Co t v :.: U Co Co u w) a -> a

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

(Contravariant t, Contravariant u, Contravariant v) => Contravariant (UU Contra Contra Contra t u v)

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

contramap :: (a -> b) -> UU Contra Contra Contra t u v b -> UU Contra Contra Contra t u v a

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

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

full :: UU Contra Contra Contra t u v () -> UU Contra Contra Contra t u v a

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

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

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

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

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

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

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

(Covariant t, Covariant u, Covariant v) => Covariant (UU Co Co Co t u v)

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

void :: UU Co Co Co t u v a -> UU Co Co Co t u v ()

loeb :: UU Co Co Co t u v (UU Co Co Co t u v a -> a) -> UU Co Co Co t u v a

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

(Applicative t, Applicative u, Applicative v) => Applicative (UU Co Co Co t u v)

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

forever :: UU Co Co Co t u v a -> UU Co Co Co t u v b

(Alternative t, Covariant u, Covariant v) => Alternative (UU Co Co Co t u v)

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

alter :: UU Co Co Co t u v a -> UU Co Co Co t u v a -> UU Co Co Co t u v a

(Avoidable t, Covariant u, Covariant v) => Avoidable (UU Co Co Co t u v)

Defined in Pandora.Paradigm.Junction.Composition

Methods

idle :: UU Co Co Co t u v a

(Distributive t, Distributive u, Distributive v) => Distributive (UU Co Co Co t u v)

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

(Extractable t, Extractable u, Extractable v) => Extractable (UU Co Co Co t u v)

Defined in Pandora.Paradigm.Junction.Composition

Methods

extract :: UU Co Co Co t u v a -> a

(Pointable t, Pointable u, Pointable v) => Pointable (UU Co Co Co t u v)

Defined in Pandora.Paradigm.Junction.Composition

Methods

point :: a -> UU Co Co Co t u v a

(Traversable t, Traversable u, Traversable v) => Traversable (UU Co Co Co t u v)

Defined 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

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

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

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

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

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

(t :-|: w, v :-|: x, u :-|: y) => Adjoint (UU Co Co Co t v u) (UU Co Co Co w x y)

Defined in Pandora.Paradigm.Junction.Composition

Methods

phi :: (UU Co Co Co t v u a -> b) -> a -> UU Co Co Co w x y b

psi :: (a -> UU Co Co Co w x y b) -> UU Co Co Co t v u a -> b

eta :: a -> (UU Co Co Co w x y :.: UU Co Co Co t v u) a

epsilon :: (UU Co Co Co t v u :.: UU Co Co Co w x y) a -> a

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

(>>>>-) :: (Covariant t0, Covariant v0, Covariant w0) => (t0 :.: (v0 :.: w0)) a -> (a -> UUU Co Co Co Co t u v w b) -> (UUU 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 -> UUU Co Co Co Co t u v w b) -> (UUU Co Co Co Co t u v w :.: (t0 :.: (v0 :.: (w0 :.: j)))) b

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

Defined 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

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

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

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

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

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

(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)

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

type (:.:) t u a = t (u a) infixr 0