Safe Haskell	None
Language	Haskell2010

Control.Applicative.Static

Synopsis

Documentation

class StaticFunctor f => StaticApply f where Source #

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

Minimal complete definition

staticApply

Methods

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

Instances

StaticApply Closure Source #
Methods staticApply :: (Typeable * a, Typeable * b) => Closure (a -> b) -> Closure a -> Closure b Source #

class StaticApply f => StaticApplicative f where Source #

Minimal complete definition

staticPure

Methods

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