category-extras-0.53.6: Various modules and constructs inspired by category theoryContentsIndex
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 where
Methods
bimap :: r a b -> s c d -> t (p a c) (p b d)
show/hide Instances
class PFunctor f Hask Hask => PPointed f where
Methods
preturn :: a -> f a c
show/hide Instances
ContraFunctor h => PPointed (PHyper h)
FunctorPlus f => PPointed (PCofree f)
Functor f => PPointed (PFree f)
Monoid t => PPointed (Const2 t)
(Pointed f, PPointed p) => PPointed (Of f p)
class PPointed f => PApplicative f where
Methods
pap :: f (a -> b) c -> f a c -> f b c
show/hide 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
show/hide Instances
ContraFunctor h => PMonad (PHyper h)
FunctorPlus f => PMonad (PCofree f)
Functor f => PMonad (PFree f)
Monoid t => PMonad (Const2 t)
(>>*=) :: 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