category-extras-0.53.6: Various modules and constructs inspired by category theory Contents Index

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

Description

Documentation

class PPointed f => PApplicative f where

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

class PFunctor f Hask Hask => PPointed f where

Methods preturn :: a -> f a c 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