adjunctions-0.2.2: Adjunctions

Portabilityrank-2 types, MPTCs
Stabilityexperimental
MaintainerEdward Kmett <[email protected]>

Data.Functor.Zap

Description

 

Documentation

newtype Zap f g Source

Constructors

Zap 

Fields

zapWith :: forall a b c. (a -> b -> c) -> f a -> g b -> c
 

zap :: Zap f g -> f (a -> b) -> g a -> bSource

flipZap :: Zap f g -> Zap g fSource

zapAdjunction :: Adjunction f g => Zap g fSource

composeZap :: Zap f g -> Zap h i -> Zap (Compose f h) (Compose g i)Source

newtype Bizap p q Source

Constructors

Bizap 

Fields

bizapWith :: forall a b c d e. (a -> c -> e) -> (b -> d -> e) -> p a b -> q c d -> e
 

bizap :: Bizap p q -> p (a -> c) (b -> c) -> q a b -> cSource

flipBizap :: Bizap p q -> Bizap q pSource

bizapProductSum :: Bizap (,) EitherSource