category-extras-0.51.3: Various modules and constructs inspired by category theory Source code Contents Index

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

Description

Documentation

class PPointed f => PApplicative f where Source

Methods pap :: f (a -> b) c -> f a c -> f b c Source Instances FunctorPlus f => PApplicative (PCofree f) Functor f => PApplicative (PFree f) ContraFunctor h => PApplicative (PHyper h) Monoid t => PApplicative (Const2 t)

class PFunctor f Hask Hask => PPointed f where Source

Methods preturn :: a -> f a c Source Instances FunctorPlus f => PPointed (PCofree f) Functor f => PPointed (PFree f) ContraFunctor h => PPointed (PHyper h) Monoid t => PPointed (Const2 t) (Pointed f, PPointed p) => PPointed (Of f p)

Produced by Haddock version 2.3.0