distributed-process-0.2.1: Cloud Haskell: Erlang-style concurrency in Haskell

Safe HaskellNone

Control.Distributed.Process.Internal.Closure.Static

Contents

Description

Combinators on static values

Synopsis

Static functionals

staticConst :: (Typeable a, Typeable b) => Static (a -> b -> a)Source

Static version of const

staticFlip :: (Typeable a, Typeable b, Typeable c) => Static (a -> b -> c) -> Static (b -> a -> c)Source

Static version of flip

staticFst :: (Typeable a, Typeable b) => Static ((a, b) -> a)Source

Static version of fst

staticSnd :: (Typeable a, Typeable b) => Static ((a, b) -> b)Source

Static version of snd

staticCompose :: (Typeable a, Typeable b, Typeable c) => Static (b -> c) -> Static (a -> b) -> Static (a -> c)Source

Static version of (.)

staticFirst :: (Typeable a, Typeable b, Typeable c) => Static ((a -> b) -> (a, c) -> (b, c))Source

Static version of first

staticSecond :: (Typeable a, Typeable b, Typeable c) => Static ((a -> b) -> (c, a) -> (c, b))Source

Static version of second

staticSplit :: (Typeable a, Typeable b, Typeable c, Typeable d) => Static (a -> c) -> Static (b -> d) -> Static ((a, b) -> (c, d))Source

Static version of (***)

Static constants

staticUnit :: Static ()Source

Static version of '()'

Creating closures

staticDecode :: Typeable a => Static (SerializableDict a) -> Static (ByteString -> a)Source

Static decoder, given a static serialization dictionary.

See module documentation of Control.Distributed.Process.Closure for an example.

staticClosure :: forall a. Typeable a => Static a -> Closure aSource

Convert a static value into a closure.

toClosure :: forall a. Serializable a => Static (SerializableDict a) -> a -> Closure aSource

Convert a serializable value into a closure.

Serialization dictionaries (and their static versions)

sdictUnit :: Static (SerializableDict ())Source

Serialization dictionary for '()'

Runtime support