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

Control.Functor.Indexed  Portability  portable  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 



Description 



Documentation 

class IxFunctor f where 
 Methods  imap :: (a > b) > f j k a > f j k b 
  Instances  


class IxFunctor w => IxCopointed w where 


class IxFunctor m => IxPointed m where 
 Methods    Instances  


class IxPointed m => IxApplicative m where 
 Methods  iap :: m i j (a > b) > m j k a > m i k b 
  Instances  


Produced by Haddock version 2.1.0 