Pandora.Pattern.Functor.Divariant

Documentation

class (forall i. Contravariant left target (Flip v i), forall i. Covariant right target (v i)) => Divariant left right target v 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 ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Imprint

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

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

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

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)