category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Functor.Zap
Portabilitynon-portable (functional-dependencies)
Stabilityexperimental
MaintainerEdward 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 whereSource
Minimum definition: zapWith
Methods
zapWith :: (a -> b -> c) -> f a -> g b -> cSource
zap :: f (a -> b) -> g a -> bSource
show/hide Instances
Zap Identity Identity
Zap ((->) e) ((,) e)
Zap ((->) e) ((,) e)
Zap (Reader e) (Coreader e)
Zap (Reader e) (Coreader e)
(>$<) :: Zap f g => f (a -> b) -> g a -> bSource
class Bizap p q | p -> q, q -> p whereSource
Minimum definition: bizapWith
Methods
bizapWith :: (a -> c -> e) -> (b -> d -> e) -> p a b -> q c d -> eSource
bizap :: p (a -> c) (b -> c) -> q a b -> cSource
show/hide Instances
(>>$<<) :: Bizap p q => p (a -> c) (b -> c) -> q a b -> cSource
Produced by Haddock version 2.4.2