category-extras-0.53.6: Various modules and constructs inspired by category theoryContentsIndex
Control.Applicative.Parameterized
Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Documentation
class PPointed f => PApplicative f where
Methods
pap :: f (a -> b) c -> f a c -> f b c
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)
Produced by Haddock version 2.1.0