Control.Static.Closure

This module contains a "closure" type, originally inspired by Closure, but modified significantly, and also generalised in a number of ways.

There was some also unsafe casts in Control.Distributed.Closure.Internal that scared me, which this package does not have.

Documentation

data Closure t a where

Somewhat inspired by Closure but modified. Whereas Closure requires the serialised type to be a lazy ByteString, this closure type allows the serialised type to be given as a parameter.

Constructors

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

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

CAp :: !(Closure t (a -> b)) -> !(Closure t a) -> Closure t b

Instances

IsStatic (Closure t)

Methods

fromStaticPtr :: StaticPtr a -> Closure t a

IsClosure (Closure t)

Methods

closure :: StaticPtr a -> Closure t a

unclosure :: Closure t a -> a

cap :: Closure t (a -> b) -> Closure t a -> Closure t b

cmap :: StaticPtr (a -> b) -> Closure t a -> Closure t b

IsPureClosure (Closure ByteString)

Associated Types

type ClosureConstraint (Closure ByteString :: * -> *) a :: Constraint

Methods

cpure :: ClosureConstraint (Closure ByteString) a => a -> Closure ByteString a

cfmap :: ClosureConstraint (Closure ByteString) b => (a -> b) -> Closure ByteString a -> Closure ByteString b

Binary t => Binary (Closure t a)

Methods

put :: Closure t a -> Put

get :: Get (Closure t a)

putList :: [Closure t a] -> Put

type ClosureConstraint (Closure ByteString) a

type ClosureConstraint (Closure ByteString) a = (Typeable * a, HasClosureDict (Binary a))

decodeWithDict :: Dict (Binary a) -> ByteString -> a

newtype Tag

Constructors

Tag Word8

Instances

Binary Tag

Methods

put :: Tag -> Put

get :: Get Tag

putList :: [Tag] -> Put

pattern PureTag :: Tag

pattern StaticPtrTag :: Tag

pattern ApTag :: Tag

putClosure :: Binary t => Closure t a -> Put

Inspired by putClosure.

getClosure :: Binary t => Get (Closure t a)

Inspired by getDynClosure, but I think simplified.