| category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
|
Control.Functor.Zap | Portability | non-portable (functional-dependencies) | 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 |