Safe Haskell	None
Language	Haskell2010

GHCi.RemoteTypes

Synopsis

Documentation

newtype RemotePtr a Source

Constructors

RemotePtr Word64

Instances

Show (RemotePtr a)
Methods showsPrec :: Int -> RemotePtr a -> ShowS Source show :: RemotePtr a -> String Source showList :: [RemotePtr a] -> ShowS Source
Binary (RemotePtr a)
Methods put :: RemotePtr a -> Put Source get :: Get (RemotePtr a) Source

toRemotePtr :: Ptr a -> RemotePtr a Source

fromRemotePtr :: RemotePtr a -> Ptr a Source

castRemotePtr :: RemotePtr a -> RemotePtr b Source

newtype HValue Source

Constructors

HValue Any

Instances

Show HValue
Methods showsPrec :: Int -> HValue -> ShowS Source show :: HValue -> String Source showList :: [HValue] -> ShowS Source

data RemoteRef a Source

A reference to a remote value. These are allocated and freed explicitly.

Instances

Show (RemoteRef a)
Methods showsPrec :: Int -> RemoteRef a -> ShowS Source show :: RemoteRef a -> String Source showList :: [RemoteRef a] -> ShowS Source
Binary (RemoteRef a)
Methods put :: RemoteRef a -> Put Source get :: Get (RemoteRef a) Source

mkRemoteRef :: a -> IO (RemoteRef a) Source

Make a reference to a local value that we can send remotely. This reference will keep the value that it refers to alive until freeRemoteRef is called.

localRef :: RemoteRef a -> IO a Source

Convert an HValueRef to an HValue. Should only be used if the HValue originated in this process.

freeRemoteRef :: RemoteRef a -> IO () Source

Release an HValueRef that originated in this process

type HValueRef = RemoteRef HValue Source

toHValueRef :: RemoteRef a -> RemoteRef HValue Source

data ForeignRef a Source

An HValueRef with a finalizer

mkForeignRef :: RemoteRef a -> IO () -> IO (ForeignRef a) Source

Create a ForeignRef from a RemoteRef. The finalizer should arrange to call freeHValueRef on the HValueRef. (since this function needs to be called in the process that created the HValueRef, it cannot be called directly from the finalizer).

withForeignRef :: ForeignRef a -> (RemoteRef a -> IO b) -> IO b Source

Use a ForeignHValue

type ForeignHValue = ForeignRef HValue Source

unsafeForeignRefToRemoteRef :: ForeignRef a -> RemoteRef a Source

finalizeForeignRef :: ForeignRef a -> IO () Source