distributed-closure-0.4.0: Serializable closures for distributed programming.

Safe HaskellNone
LanguageHaskell2010

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

class StaticApply f => StaticApplicative f where Source #

Minimal complete definition

staticPure

Methods

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