Control.Functor.Zap

Dual Functors

Documentation

class Zap f g | f -> g, g -> f where

Minimum definition: zapWith

Methods

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

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

Instances

Zap Identity Identity

(>$<) :: Zap f g => f (a -> b) -> g a -> b

class BiZap p q | p -> q, q -> p where

Minimum definition: bizapWith

Methods

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

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

Instances

BiZap Either (,)

BiZap (,) Either

(BiZap p q, Zap f g, Zap i j) => BiZap (BiffB p f i) (BiffB q g j)

(>>$<<) :: BiZap p q => p (a -> c) (b -> c) -> q a b -> c