Pandora.Pattern.Functor.Divariant

Documentation

class (forall i. Covariant (v i)) => Divariant (v :: * -> * -> *) where

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

Minimal complete definition

(>->)

Methods

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

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

Prefix version of >->

Instances

Divariant Imprint

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

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

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

Divariant Environment

Defined in Pandora.Paradigm.Inventory.Environment

Methods

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

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

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

Defined in Pandora.Paradigm.Primary.Functor.Function

Methods

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

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

class (forall i. Contravariant_ (Flip v i) left target, forall i. Covariant_ (v i) right target) => Divariant_ v left right target where

Methods

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

Instances

Divariant_ ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Function

Methods

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