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

Control.Monad.Parameterized  Portability  portable  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 



Description 



Documentation 

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  


class PFunctor f Hask Hask => PPointed f where 
 Methods    Instances  


class PPointed f => PApplicative f where 
 Methods  pap :: f (a > b) c > f a c > f b c 
  Instances  


class PApplicative f => PMonad f where 
 Methods  pbind :: (a > f b c) > f a c > f b c   pjoin :: f (f a b) b > f a b 
  Instances  


(>>*=) :: PMonad f => f a c > (a > f b c) > f b c 

(=*<<) :: PMonad f => (a > f b c) > f a c > f b c 

(>>*) :: PMonad f => f a c > f b c > f b c 

papPMonad :: PMonad f => f (a > b) c > f a c > f b c 

Produced by Haddock version 2.1.0 