category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Monad.Parameterized
Portabilityportable
Stabilityexperimental
MaintainerEdward 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 whereSource
Methods
bimap :: r a b -> s c d -> t (p a c) (p b d)Source
show/hide Instances
class PFunctor f Hask Hask => PPointed f whereSource
Methods
preturn :: a -> f a cSource
show/hide Instances
class PPointed f => PApplicative f whereSource
Methods
pap :: f (a -> b) c -> f a c -> f b cSource
show/hide Instances
class PApplicative f => PMonad f whereSource
Methods
pbind :: (a -> f b c) -> f a c -> f b cSource
pjoin :: f (f a b) b -> f a bSource
show/hide Instances
(>>*=) :: PMonad f => f a c -> (a -> f b c) -> f b cSource
(=*<<) :: PMonad f => (a -> f b c) -> f a c -> f b cSource
(>>*) :: PMonad f => f a c -> f b c -> f b cSource
papPMonad :: PMonad f => f (a -> b) c -> f a c -> f b cSource
Produced by Haddock version 2.4.2