category-extras-0.53.0: Various modules and constructs inspired by category theory

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Applicative.Parameterized

Description

 

Documentation

class PPointed f => PApplicative f whereSource

Methods

pap :: f (a -> b) c -> f a c -> f b cSource

class PFunctor f Hask Hask => PPointed f whereSource

Methods

preturn :: a -> f a cSource

Instances