Pandora.Pattern.Functor.Covariant

Documentation

class Covariant (t :: * -> *) where

When providing a new instance, you should ensure it satisfies the two laws:
* Identity morphism: comap identity ≡ identity
* Composition of morphisms: comap (f . g) ≡ comap f . comap g

Minimal complete definition

(<$>)

Methods

(<$>) :: (a -> b) -> t a -> t b infixl 4

Infix version of comap

comap :: (a -> b) -> t a -> t b

Prefix version of <$>

(<$) :: a -> t b -> t a infixl 4

Replace all locations in the input with the same value

($>) :: t a -> b -> t b infixl 4

Flipped version of <$

void :: t a -> t ()

Discards the result of evaluation

loeb :: t (t a -> a) -> t a

Computing a value from a structure of values

(<$$>) :: Covariant u => (a -> b) -> t (u a) -> t (u b)

Infix versions of comap with various nesting levels

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> t (u (v a)) -> t (u (v b))

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

Instances

Covariant Wye

Defined in Pandora.Paradigm.Basis.Wye

Methods

(<$>) :: (a -> b) -> Wye a -> Wye b

comap :: (a -> b) -> Wye a -> Wye b

(<$) :: a -> Wye b -> Wye a

($>) :: Wye a -> b -> Wye b

void :: Wye a -> Wye ()

loeb :: Wye (Wye a -> a) -> Wye a

(<$$>) :: Covariant u => (a -> b) -> Wye (u a) -> Wye (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Wye (u (v a)) -> Wye (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Wye (u (v (w a))) -> Wye (u (v (w b)))

Covariant Edges

Defined in Pandora.Paradigm.Basis.Edges

Methods

(<$>) :: (a -> b) -> Edges a -> Edges b

comap :: (a -> b) -> Edges a -> Edges b

(<$) :: a -> Edges b -> Edges a

($>) :: Edges a -> b -> Edges b

void :: Edges a -> Edges ()

loeb :: Edges (Edges a -> a) -> Edges a

(<$$>) :: Covariant u => (a -> b) -> Edges (u a) -> Edges (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Edges (u (v a)) -> Edges (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Edges (u (v (w a))) -> Edges (u (v (w b)))

Covariant Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Methods

(<$>) :: (a -> b) -> Maybe a -> Maybe b

comap :: (a -> b) -> Maybe a -> Maybe b

(<$) :: a -> Maybe b -> Maybe a

($>) :: Maybe a -> b -> Maybe b

void :: Maybe a -> Maybe ()

loeb :: Maybe (Maybe a -> a) -> Maybe a

(<$$>) :: Covariant u => (a -> b) -> Maybe (u a) -> Maybe (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Maybe (u (v a)) -> Maybe (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Maybe (u (v (w a))) -> Maybe (u (v (w b)))

Covariant Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

(<$>) :: (a -> b) -> Identity a -> Identity b

comap :: (a -> b) -> Identity a -> Identity b

(<$) :: a -> Identity b -> Identity a

($>) :: Identity a -> b -> Identity b

void :: Identity a -> Identity ()

loeb :: Identity (Identity a -> a) -> Identity a

(<$$>) :: Covariant u => (a -> b) -> Identity (u a) -> Identity (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Identity (u (v a)) -> Identity (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Identity (u (v (w a))) -> Identity (u (v (w b)))

Covariant (Yoneda t)

Defined in Pandora.Paradigm.Basis.Yoneda

Methods

(<$>) :: (a -> b) -> Yoneda t a -> Yoneda t b

comap :: (a -> b) -> Yoneda t a -> Yoneda t b

(<$) :: a -> Yoneda t b -> Yoneda t a

($>) :: Yoneda t a -> b -> Yoneda t b

void :: Yoneda t a -> Yoneda t ()

loeb :: Yoneda t (Yoneda t a -> a) -> Yoneda t a

(<$$>) :: Covariant u => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Yoneda t (u (v a)) -> Yoneda t (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Yoneda t (u (v (w a))) -> Yoneda t (u (v (w b)))

Covariant (Variation e)

Defined in Pandora.Paradigm.Basis.Variation

Methods

(<$>) :: (a -> b) -> Variation e a -> Variation e b

comap :: (a -> b) -> Variation e a -> Variation e b

(<$) :: a -> Variation e b -> Variation e a

($>) :: Variation e a -> b -> Variation e b

void :: Variation e a -> Variation e ()

loeb :: Variation e (Variation e a -> a) -> Variation e a

(<$$>) :: Covariant u => (a -> b) -> Variation e (u a) -> Variation e (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Variation e (u (v a)) -> Variation e (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Variation e (u (v (w a))) -> Variation e (u (v (w b)))

Covariant t => Covariant (Jet t)

Defined in Pandora.Paradigm.Basis.Jet

Methods

(<$>) :: (a -> b) -> Jet t a -> Jet t b

comap :: (a -> b) -> Jet t a -> Jet t b

(<$) :: a -> Jet t b -> Jet t a

($>) :: Jet t a -> b -> Jet t b

void :: Jet t a -> Jet t ()

loeb :: Jet t (Jet t a -> a) -> Jet t a

(<$$>) :: Covariant u => (a -> b) -> Jet t (u a) -> Jet t (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Jet t (u (v a)) -> Jet t (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Jet t (u (v (w a))) -> Jet t (u (v (w b)))

Covariant t => Covariant (Free t)

Defined in Pandora.Paradigm.Basis.Free

Methods

(<$>) :: (a -> b) -> Free t a -> Free t b

comap :: (a -> b) -> Free t a -> Free t b

(<$) :: a -> Free t b -> Free t a

($>) :: Free t a -> b -> Free t b

void :: Free t a -> Free t ()

loeb :: Free t (Free t a -> a) -> Free t a

(<$$>) :: Covariant u => (a -> b) -> Free t (u a) -> Free t (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Free t (u (v a)) -> Free t (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Free t (u (v (w a))) -> Free t (u (v (w b)))

Covariant (Product a)

Defined in Pandora.Paradigm.Basis.Product

Methods

(<$>) :: (a0 -> b) -> Product a a0 -> Product a b

comap :: (a0 -> b) -> Product a a0 -> Product a b

(<$) :: a0 -> Product a b -> Product a a0

($>) :: Product a a0 -> b -> Product a b

void :: Product a a0 -> Product a ()

loeb :: Product a (Product a a0 -> a0) -> Product a a0

(<$$>) :: Covariant u => (a0 -> b) -> Product a (u a0) -> Product a (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a0 -> b) -> Product a (u (v a0)) -> Product a (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a0 -> b) -> Product a (u (v (w a0))) -> Product a (u (v (w b)))

Covariant t => Covariant (Jack t)

Defined in Pandora.Paradigm.Basis.Jack

Methods

(<$>) :: (a -> b) -> Jack t a -> Jack t b

comap :: (a -> b) -> Jack t a -> Jack t b

(<$) :: a -> Jack t b -> Jack t a

($>) :: Jack t a -> b -> Jack t b

void :: Jack t a -> Jack t ()

loeb :: Jack t (Jack t a -> a) -> Jack t a

(<$$>) :: Covariant u => (a -> b) -> Jack t (u a) -> Jack t (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Jack t (u (v a)) -> Jack t (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Jack t (u (v (w a))) -> Jack t (u (v (w b)))

Covariant (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

(<$>) :: (a -> b) -> Conclusion e a -> Conclusion e b

comap :: (a -> b) -> Conclusion e a -> Conclusion e b

(<$) :: a -> Conclusion e b -> Conclusion e a

($>) :: Conclusion e a -> b -> Conclusion e b

void :: Conclusion e a -> Conclusion e ()

loeb :: Conclusion e (Conclusion e a -> a) -> Conclusion e a

(<$$>) :: Covariant u => (a -> b) -> Conclusion e (u a) -> Conclusion e (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Conclusion e (u (v a)) -> Conclusion e (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Conclusion e (u (v (w a))) -> Conclusion e (u (v (w b)))

Covariant t => Covariant (Cofree t)

Defined in Pandora.Paradigm.Basis.Cofree

Methods

(<$>) :: (a -> b) -> Cofree t a -> Cofree t b

comap :: (a -> b) -> Cofree t a -> Cofree t b

(<$) :: a -> Cofree t b -> Cofree t a

($>) :: Cofree t a -> b -> Cofree t b

void :: Cofree t a -> Cofree t ()

loeb :: Cofree t (Cofree t a -> a) -> Cofree t a

(<$$>) :: Covariant u => (a -> b) -> Cofree t (u a) -> Cofree t (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Cofree t (u (v a)) -> Cofree t (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Cofree t (u (v (w a))) -> Cofree t (u (v (w b)))

Covariant t => Covariant (Storage p t)

Defined in Pandora.Paradigm.Inventory.Storage

Methods

(<$>) :: (a -> b) -> Storage p t a -> Storage p t b

comap :: (a -> b) -> Storage p t a -> Storage p t b

(<$) :: a -> Storage p t b -> Storage p t a

($>) :: Storage p t a -> b -> Storage p t b

void :: Storage p t a -> Storage p t ()

loeb :: Storage p t (Storage p t a -> a) -> Storage p t a

(<$$>) :: Covariant u => (a -> b) -> Storage p t (u a) -> Storage p t (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Storage p t (u (v a)) -> Storage p t (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Storage p t (u (v (w a))) -> Storage p t (u (v (w b)))

Covariant t => Covariant (Stateful s t)

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

(<$>) :: (a -> b) -> Stateful s t a -> Stateful s t b

comap :: (a -> b) -> Stateful s t a -> Stateful s t b

(<$) :: a -> Stateful s t b -> Stateful s t a

($>) :: Stateful s t a -> b -> Stateful s t b

void :: Stateful s t a -> Stateful s t ()

loeb :: Stateful s t (Stateful s t a -> a) -> Stateful s t a

(<$$>) :: Covariant u => (a -> b) -> Stateful s t (u a) -> Stateful s t (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Stateful s t (u (v a)) -> Stateful s t (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Stateful s t (u (v (w a))) -> Stateful s t (u (v (w b)))

Covariant (Constant a :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Constant

Methods

(<$>) :: (a0 -> b) -> Constant a a0 -> Constant a b

comap :: (a0 -> b) -> Constant a a0 -> Constant a b

(<$) :: a0 -> Constant a b -> Constant a a0

($>) :: Constant a a0 -> b -> Constant a b

void :: Constant a a0 -> Constant a ()

loeb :: Constant a (Constant a a0 -> a0) -> Constant a a0

(<$$>) :: Covariant u => (a0 -> b) -> Constant a (u a0) -> Constant a (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a0 -> b) -> Constant a (u (v a0)) -> Constant a (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a0 -> b) -> Constant a (u (v (w a0))) -> Constant a (u (v (w b)))

Covariant ((->) a :: Type -> Type)

Defined in Pandora.Pattern.Functor.Covariant

Methods

(<$>) :: (a0 -> b) -> (a -> a0) -> a -> b

comap :: (a0 -> b) -> (a -> a0) -> a -> b

(<$) :: a0 -> (a -> b) -> a -> a0

($>) :: (a -> a0) -> b -> a -> b

void :: (a -> a0) -> a -> ()

loeb :: (a -> ((a -> a0) -> a0)) -> a -> a0

(<$$>) :: Covariant u => (a0 -> b) -> (a -> u a0) -> a -> u b

(<$$$>) :: (Covariant u, Covariant v) => (a0 -> b) -> (a -> u (v a0)) -> a -> u (v b)

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a0 -> b) -> (a -> u (v (w a0))) -> a -> u (v (w b))

Covariant (Ran t u b)

Defined in Pandora.Paradigm.Junction.Kan

Methods

(<$>) :: (a -> b0) -> Ran t u b a -> Ran t u b b0

comap :: (a -> b0) -> Ran t u b a -> Ran t u b b0

(<$) :: a -> Ran t u b b0 -> Ran t u b a

($>) :: Ran t u b a -> b0 -> Ran t u b b0

void :: Ran t u b a -> Ran t u b ()

loeb :: Ran t u b (Ran t u b a -> a) -> Ran t u b a

(<$$>) :: Covariant u0 => (a -> b0) -> Ran t u b (u0 a) -> Ran t u b (u0 b0)

(<$$$>) :: (Covariant u0, Covariant v) => (a -> b0) -> Ran t u b (u0 (v a)) -> Ran t u b (u0 (v b0))

(<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b0) -> Ran t u b (u0 (v (w a))) -> Ran t u b (u0 (v (w b0)))

Covariant t => Covariant (Continuation r t)

Defined in Pandora.Paradigm.Basis.Continuation

Methods

(<$>) :: (a -> b) -> Continuation r t a -> Continuation r t b

comap :: (a -> b) -> Continuation r t a -> Continuation r t b

(<$) :: a -> Continuation r t b -> Continuation r t a

($>) :: Continuation r t a -> b -> Continuation r t b

void :: Continuation r t a -> Continuation r t ()

loeb :: Continuation r t (Continuation r t a -> a) -> Continuation r t a

(<$$>) :: Covariant u => (a -> b) -> Continuation r t (u a) -> Continuation r t (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Continuation r t (u (v a)) -> Continuation r t (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Continuation r t (u (v (w a))) -> Continuation r t (u (v (w b)))

Covariant t => Covariant (Environmental e t)

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

(<$>) :: (a -> b) -> Environmental e t a -> Environmental e t b

comap :: (a -> b) -> Environmental e t a -> Environmental e t b

(<$) :: a -> Environmental e t b -> Environmental e t a

($>) :: Environmental e t a -> b -> Environmental e t b

void :: Environmental e t a -> Environmental e t ()

loeb :: Environmental e t (Environmental e t a -> a) -> Environmental e t a

(<$$>) :: Covariant u => (a -> b) -> Environmental e t (u a) -> Environmental e t (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Environmental e t (u (v a)) -> Environmental e t (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Environmental e t (u (v (w a))) -> Environmental e t (u (v (w b)))

(Covariant (t u), Covariant u) => Covariant (Y t u)

Defined in Pandora.Paradigm.Junction.Transformer

Methods

(<$>) :: (a -> b) -> Y t u a -> Y t u b

comap :: (a -> b) -> Y t u a -> Y t u b

(<$) :: a -> Y t u b -> Y t u a

($>) :: Y t u a -> b -> Y t u b

void :: Y t u a -> Y t u ()

loeb :: Y t u (Y t u a -> a) -> Y t u a

(<$$>) :: Covariant u0 => (a -> b) -> Y t u (u0 a) -> Y t u (u0 b)

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

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

(Covariant t, Covariant u) => Covariant (T t u)

Defined in Pandora.Paradigm.Junction.Transformer

Methods

(<$>) :: (a -> b) -> T t u a -> T t u b

comap :: (a -> b) -> T t u a -> T t u b

(<$) :: a -> T t u b -> T t u a

($>) :: T t u a -> b -> T t u b

void :: T t u a -> T t u ()

loeb :: T t u (T t u a -> a) -> T t u a

(<$$>) :: Covariant u0 => (a -> b) -> T t u (u0 a) -> T t u (u0 b)

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

(<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> T t u (u0 (v (w a))) -> T 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

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

(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

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

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

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

(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

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

(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

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

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

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

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

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

(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

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

(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

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

(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

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

(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

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