Safe Haskell	None
Language	Haskell2010

GHCi.RemoteTypes

Description

Types for referring to remote objects in Remote GHCi. For more details, see Note [External GHCi pointers] in compilerghciGHCi.hs

For details on Remote GHCi, see Note [Remote GHCi] in compilerghciGHCi.hs.

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 # putList :: [RemotePtr a] -> Put Source #
NFData (RemotePtr a) #
Methods rnf :: 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 # putList :: [RemoteRef a] -> Put 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

Instances

NFData (ForeignRef a) #
Methods rnf :: ForeignRef a -> () Source #

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 #