GHCi.RemoteTypes

newtype RemotePtr a Source

toRemotePtr :: Ptr a -> RemotePtr a Source

fromRemotePtr :: RemotePtr a -> Ptr a Source

castRemotePtr :: RemotePtr a -> RemotePtr b Source

newtype HValue Source

data RemoteRef a Source

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

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