Control.Applicative.Parameterized

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)