Control.Distributed.Closure.Internal

Private internals. You should not use this module unless you are determined to monkey with the internals. This module comes with no API stability guarantees whatsoever. Use at your own risks.

Documentation

type Serializable a = (Binary a, Typeable a)

Values that can be sent across the network.

data Closure a where

Type of serializable closures. Abstractly speaking, a closure is a code reference paired together with an environment. A serializable closure includes a shareable code reference (i.e. a StaticPtr). Closures can be serialized only if all expressions captured in the environment are serializable.

Constructors

StaticPtr :: !(StaticPtr a) -> Closure a

Encoded :: !ByteString -> Closure ByteString

Ap :: !(Closure (a -> b)) -> !(Closure a) -> Closure b

Duplicate :: Closure a -> Closure (Closure a)

Closure :: a -> !(Closure a) -> Closure a

Instances

IsStatic Closure

Defined in Control.Distributed.Closure.Internal

Methods

fromStaticPtr :: StaticPtr a -> Closure a

StaticFunctor Closure

Defined in Data.Functor.Static

Methods

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

StaticComonad Closure

Defined in Control.Comonad.Static

Methods

staticExtract :: Typeable a => Closure a -> a

StaticExtend Closure

Defined in Control.Comonad.Static

Methods

staticDuplicate :: Typeable a => Closure a -> Closure (Closure a)

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

StaticApply Closure

Defined in Control.Applicative.Static

Methods

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

StaticBind Closure

Defined in Control.Monad.Static

Methods

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

staticJoin :: Typeable a => Closure (Closure a) -> Closure a

Typeable a => Binary (Closure a)

Defined in Control.Distributed.Closure.Internal

Methods

put :: Closure a -> Put

get :: Get (Closure a)

putList :: [Closure a] -> Put

closure :: StaticPtr a -> Closure a

Lift a Static pointer to a closure with an empty environment.

unclosure :: Closure a -> a

Resolve a Closure to the value that it represents. Calling unclosure multiple times on the same closure is efficient: for most argument values the result is memoized.

cpure :: Closure (Dict (Serializable a)) -> a -> Closure a

A closure can be created from any serializable value. cpure corresponds to Control.Applicative's pure, but restricted to lifting serializable values only.

cap :: Typeable a => Closure (a -> b) -> Closure a -> Closure b

Closure application. Note that Closure is not a functor, let alone an applicative functor, even if it too has a meaningful notion of application.

capDup :: Typeable a => Closure (Closure a -> b) -> Closure a -> Closure b

Nested closure application.

cmap :: Typeable a => StaticPtr (a -> b) -> Closure a -> Closure b

Deprecated: Use staticMap instead.

Closure is not a Functor, in that we cannot map arbitrary functions over it. That is, we cannot define fmap. However, we can map a static pointer to a function over a Closure.

cduplicate :: Closure a -> Closure (Closure a)

Turn a closure into a closure of a closure.