 categoryextras0.53.6: Various modules and constructs inspired by category theory  Contents  Index 

Control.Functor.Zap  Portability  nonportable (functionaldependencies)  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 



Description 
Dual (bi)Functors


Synopsis 

class Zap f g  f > g, g > f where  zapWith :: (a > b > c) > f a > g b > c  zap :: f (a > b) > g a > b 
  (>$<) :: Zap f g => f (a > b) > g a > b   class Bizap p q  p > q, q > p where  bizapWith :: (a > c > e) > (b > d > e) > p a b > q c d > e  bizap :: p (a > c) (b > c) > q a b > c 
  (>>$<<) :: Bizap p q => p (a > c) (b > c) > q a b > c 


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 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 p q => p (a > c) (b > c) > q a b > c 

Produced by Haddock version 2.1.0 