Pandora.Pattern.Functor.Divariant

Documentation

class (forall i. Contravariant (Flip v i) left target, forall i. Covariant (v i) right target) => Divariant v left right target where

When providing a new instance, you should ensure it satisfies:
* Identity: identity >-> identity ≡ identity
* Interpreted: f . g >-> h . i ≡ g >-> h . f >-> i

Methods

(>->) :: left a b -> right c d -> target (v b c) (v a d) infixl 4

Instances

Divariant Imprint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

(>->) :: (a -> b) -> (c -> d) -> Imprint b c -> Imprint a d

Divariant Environment ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Environment

Methods

(>->) :: (a -> b) -> (c -> d) -> Environment b c -> Environment a d

Divariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Algebraic.Exponential

Methods

(>->) :: (a -> b) -> (c -> d) -> (b -> c) -> (a -> d)