Control.Categorical.Bifunctor

Documentation

class (Functor r (NT t) f, Category s) => Bifunctor r s t f where

Methods

bimap :: r aᵣ bᵣ -> s aₛ bₛ -> f aᵣ aₛ `t` f bᵣ bₛ

Instances

Category s => Bifunctor (Dual s :: k1 -> k1 -> Type) (s :: k1 -> k1 -> Type) ((->) :: Type -> Type -> Type) (s :: k1 -> k1 -> Type)

Defined in Control.Categorical.Bifunctor

Methods

bimap :: Dual s aᵣ bᵣ -> s aₛ bₛ -> s aᵣ aₛ -> s bᵣ bₛ

(Bifunctor f, Functor ((->) :: Type -> Type -> Type) (NT ((->) :: Type -> Type -> Type) :: (Type -> Type) -> (Type -> Type) -> Type) f) => Bifunctor ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (f :: Type -> Type -> Type)

Defined in Control.Categorical.Bifunctor

Methods

bimap :: (aᵣ -> bᵣ) -> (aₛ -> bₛ) -> f aᵣ aₛ -> f bᵣ bₛ

Bifunctor (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (Sum :: (k1 -> Type) -> (k1 -> Type) -> k1 -> Type)

Defined in Control.Categorical.Bifunctor

Methods

bimap :: NT (->) aᵣ bᵣ -> NT (->) aₛ bₛ -> NT (->) (Sum aᵣ aₛ) (Sum bᵣ bₛ)

Bifunctor (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (Product :: (k1 -> Type) -> (k1 -> Type) -> k1 -> Type)

Defined in Control.Categorical.Bifunctor

Methods

bimap :: NT (->) aᵣ bᵣ -> NT (->) aₛ bₛ -> NT (->) (Product aᵣ aₛ) (Product bᵣ bₛ)

(<***>) :: Bifunctor r s t f => r aᵣ bᵣ -> s aₛ bₛ -> f aᵣ aₛ `t` f bᵣ bₛ infixr 3

(<⁂>) :: Bifunctor r s t f => r aᵣ bᵣ -> s aₛ bₛ -> f aᵣ aₛ `t` f bᵣ bₛ infixr 3