Pandora.Pattern.Functor.Contravariant

Documentation

class (Category source, Category target) => Contravariant source target t where

When providing a new instance, you should ensure it satisfies:
* Identity morphism: (identity ->$<-) ≡ identity
* Interpreted of morphisms: (f ->$<-) . (g ->$<-) ≡ (g . f ->$<-)

Methods

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

Instances

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Predicate

Defined in Pandora.Paradigm.Primary.Functor.Predicate

Methods

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

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((<--) a)

Defined in Pandora.Paradigm.Primary.Algebraic.Exponential

Methods

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

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

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

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Convergence r)

Defined in Pandora.Paradigm.Primary.Functor.Convergence

Methods

(->$<-) :: (a -> b) -> Convergence r b -> Convergence r a

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip Imprint a)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

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

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip Environment a)

Defined in Pandora.Paradigm.Inventory.Environment

Methods

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

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Constant a :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

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

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Backwards t)

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

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

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Reverse t)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

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

(Divariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) p, Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u) => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((t >:.:> u) := p)

Defined in Pandora.Paradigm.Schemes.T_U

Methods

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

(forall i. Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (p i), Bivariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) p, Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u) => Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((t >:.:< u) := p)

Defined in Pandora.Paradigm.Schemes.T_U

Methods

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

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Kan ('Left :: Type -> Wye Type) t u b)

Defined in Pandora.Paradigm.Primary.Transformer.Kan

Methods

(->$<-) :: (a -> b0) -> Kan 'Left t u b b0 -> Kan 'Left t u b a