Data.Functor.Zap

Documentation

newtype Zap f g

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 -> b

flipZap :: Zap f g -> Zap g f

zapAdjunction :: Adjunction f g => Zap g f

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

newtype Bizap p q

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 -> c

flipBizap :: Bizap p q -> Bizap q p

bizapProductSum :: Bizap (,) Either