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

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



Description 
A more categorical definition of Functor than endofunctors in the category Hask



Documentation 

class (Category r, Category t) => PFunctor p r t  p r > t, p t > r where 
 Methods  first :: r a b > t (p a c) (p b c) 
  Instances  


first' :: Bifunctor p r s t => r a b > t (p a c) (p b c) 

class (Category s, Category t) => QFunctor q s t  q s > t, q t > s where 
 Methods  second :: s a b > t (q c a) (q c b) 
  Instances  


second' :: Bifunctor p r s t => s a b > t (p c a) (p c b) 

class (PFunctor p r t, QFunctor p s t) => Bifunctor p r s t  p r > s t, p s > r t, p t > r s where 
 Methods  bimap :: r a b > s c d > t (p a c) (p b d) 
  Instances  


dimap :: Bifunctor f (Dual k) k k => k b a > k c d > k (f a c) (f b d) 

Produced by Haddock version 2.1.0 