adjunctions-0.3: Adjunctions
Data.Functor.Zap
Description
newtype Zap f g Source
Constructors
Fields
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
bizap :: Bizap p q -> p (a -> c) (b -> c) -> q a b -> cSource
flipBizap :: Bizap p q -> Bizap q pSource
bizapProductSum :: Bizap (,) EitherSource