category-extras-0.53.0: Various modules and constructs inspired by category theory Source code 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 Source

Minimum definition: zapWith Methods zapWith :: (a -> b -> c) -> f a -> g b -> c Source zap :: f (a -> b) -> g a -> b Source 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 -> b Source

class Bizap p q | p -> q, q -> p where Source

Minimum definition: bizapWith Methods bizapWith :: (a -> c -> e) -> (b -> d -> e) -> p a b -> q c d -> e Source bizap :: p (a -> c) (b -> c) -> q a b -> c Source Instances Bizap Either (,) Bizap Either (,) Bizap (,) Either Bizap (,) Either (Bizap p q, Zap f g, Zap i j) => Bizap (Biff p f i) (Biff q g j)

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

Produced by Haddock version 2.3.0