Pandora.Pattern.Functor.Contravariant

Documentation

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

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

Minimal complete definition

(>$<)

Methods

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

Infix version of contramap

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

Prefix version of >$<

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

Replace all locations in the output with the same value

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

Flipped version of >$

full :: t () -> t a

Fill the input of evaluation

(>&<) :: t b -> (a -> b) -> t a

Flipped infix version of contramap

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

Infix versions of contramap with various nesting levels

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

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

(>&&<) :: Contravariant u => ((t :.: u) >< a) -> (a -> b) -> (t :.: u) >< b

Infix flipped versions of contramap with various nesting levels

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

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

Instances

Contravariant Predicate

Defined in Pandora.Paradigm.Basis.Predicate

Methods

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

contramap :: (a -> b) -> Predicate b -> Predicate a

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

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

full :: Predicate () -> Predicate a

(>&<) :: Predicate b -> (a -> b) -> Predicate a

(>$$<) :: Contravariant u => (a -> b) -> ((Predicate :.: u) >< a) -> (Predicate :.: u) >< b

(>$$$<) :: (Contravariant u, Contravariant v) => (a -> b) -> ((Predicate :.: (u :.: v)) >< b) -> (Predicate :.: (u :.: v)) >< a

(>$$$$<) :: (Contravariant u, Contravariant v, Contravariant w) => (a -> b) -> ((Predicate :.: (u :.: (v :.: w))) >< a) -> (Predicate :.: (u :.: (v :.: w))) >< b

(>&&<) :: Contravariant u => ((Predicate :.: u) >< a) -> (a -> b) -> (Predicate :.: u) >< b

(>&&&<) :: (Contravariant u, Contravariant v) => ((Predicate :.: (u :.: v)) >< b) -> (a -> b) -> (Predicate :.: (u :.: v)) >< a

(>&&&&<) :: (Contravariant u, Contravariant v, Contravariant w) => ((Predicate :.: (u :.: (v :.: w))) >< a) -> (a -> b) -> (Predicate :.: (u :.: (v :.: w))) >< b

Contravariant (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Proxy

Methods

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

contramap :: (a -> b) -> Proxy b -> Proxy a

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

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

full :: Proxy () -> Proxy a

(>&<) :: Proxy b -> (a -> b) -> Proxy a

(>$$<) :: Contravariant u => (a -> b) -> ((Proxy :.: u) >< a) -> (Proxy :.: u) >< b

(>$$$<) :: (Contravariant u, Contravariant v) => (a -> b) -> ((Proxy :.: (u :.: v)) >< b) -> (Proxy :.: (u :.: v)) >< a

(>$$$$<) :: (Contravariant u, Contravariant v, Contravariant w) => (a -> b) -> ((Proxy :.: (u :.: (v :.: w))) >< a) -> (Proxy :.: (u :.: (v :.: w))) >< b

(>&&<) :: Contravariant u => ((Proxy :.: u) >< a) -> (a -> b) -> (Proxy :.: u) >< b

(>&&&<) :: (Contravariant u, Contravariant v) => ((Proxy :.: (u :.: v)) >< b) -> (a -> b) -> (Proxy :.: (u :.: v)) >< a

(>&&&&<) :: (Contravariant u, Contravariant v, Contravariant w) => ((Proxy :.: (u :.: (v :.: w))) >< a) -> (a -> b) -> (Proxy :.: (u :.: (v :.: w))) >< b

Contravariant (Constant a :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Constant

Methods

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

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

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

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

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

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

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

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

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

(>&&<) :: Contravariant u => ((Constant a :.: u) >< a0) -> (a0 -> b) -> (Constant a :.: u) >< b

(>&&&<) :: (Contravariant u, Contravariant v) => ((Constant a :.: (u :.: v)) >< b) -> (a0 -> b) -> (Constant a :.: (u :.: v)) >< a0

(>&&&&<) :: (Contravariant u, Contravariant v, Contravariant w) => ((Constant a :.: (u :.: (v :.: w))) >< a0) -> (a0 -> b) -> (Constant a :.: (u :.: (v :.: w))) >< b

Contravariant (Lan t u b)

Defined in Pandora.Paradigm.Basis.Kan

Methods

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

contramap :: (a -> b0) -> Lan t u b b0 -> Lan t u b a

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

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

full :: Lan t u b () -> Lan t u b a

(>&<) :: Lan t u b b0 -> (a -> b0) -> Lan t u b a

(>$$<) :: Contravariant u0 => (a -> b0) -> ((Lan t u b :.: u0) >< a) -> (Lan t u b :.: u0) >< b0

(>$$$<) :: (Contravariant u0, Contravariant v) => (a -> b0) -> ((Lan t u b :.: (u0 :.: v)) >< b0) -> (Lan t u b :.: (u0 :.: v)) >< a

(>$$$$<) :: (Contravariant u0, Contravariant v, Contravariant w) => (a -> b0) -> ((Lan t u b :.: (u0 :.: (v :.: w))) >< a) -> (Lan t u b :.: (u0 :.: (v :.: w))) >< b0

(>&&<) :: Contravariant u0 => ((Lan t u b :.: u0) >< a) -> (a -> b0) -> (Lan t u b :.: u0) >< b0

(>&&&<) :: (Contravariant u0, Contravariant v) => ((Lan t u b :.: (u0 :.: v)) >< b0) -> (a -> b0) -> (Lan t u b :.: (u0 :.: v)) >< a

(>&&&&<) :: (Contravariant u0, Contravariant v, Contravariant w) => ((Lan t u b :.: (u0 :.: (v :.: w))) >< a) -> (a -> b0) -> (Lan t u b :.: (u0 :.: (v :.: w))) >< b0

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

Defined in Pandora.Pattern.Junction.Schemes.TU

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Pattern.Junction.Schemes.TU

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Pattern.Junction.Schemes.TUV

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Pattern.Junction.Schemes.TUV

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Pattern.Junction.Schemes.TUV

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Pattern.Junction.Schemes.TUV

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Pattern.Junction.Schemes.TUVW

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Pattern.Junction.Schemes.TUVW

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Pattern.Junction.Schemes.TUVW

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Pattern.Junction.Schemes.TUVW

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Pattern.Junction.Schemes.TUVW

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Pattern.Junction.Schemes.TUVW

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Pattern.Junction.Schemes.TUVW

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Pattern.Junction.Schemes.TUVW

Methods

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

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

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

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

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

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

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

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

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

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

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

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