Control.Applicative.Static

Documentation

class StaticFunctor f => StaticApply f where

Instances of StaticApply should satisfy the following laws (writing staticMap, staticApply as infix (<$>), (<*>), respectively):

static (.) <$> u <*> v <*> w = u <*> (v <*> w)
x <*> (f <$> y) = (static (flip (.)) `cap` f) <$> x <*> y
f <$> (x <*> y) = (static (.) `cap` f) <$> x <*> y

Methods

staticApply :: (Typeable a, Typeable b) => f (a -> b) -> f a -> f b

Instances

StaticApply Closure

Defined in Control.Applicative.Static

Methods

staticApply :: (Typeable a, Typeable b) => Closure (a -> b) -> Closure a -> Closure b

class StaticApply f => StaticApplicative f where

Methods

staticPure :: Typeable a => a -> f a