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

Control.Monad.Indexed  Portability  nonportable (rank2 polymorphism)  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 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  


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


class IxMonad m => IxMonadZero m where 
 Methods    Instances  


class IxMonadZero m => IxMonadPlus m where 
 Methods  implus :: m i j a > m i j a > m i j a 
  Instances  


ijoin :: IxMonad m => m i j (m j k a) > m i k a 

(>>>=) :: IxMonad m => m i j a > (a > m j k b) > m i k b 

(=<<<) :: IxMonad m => (a > m j k b) > m i j a > m i k b 

iapIxMonad :: IxMonad m => m i j (a > b) > m j k a > m i k b 

Produced by Haddock version 2.1.0 