GHCi.RemoteTypes

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.

Documentation

newtype RemotePtr a

Constructors

RemotePtr Word64

Instances

Show (RemotePtr a)

Defined in GHCi.RemoteTypes

Methods

showsPrec :: Int -> RemotePtr a -> ShowS

show :: RemotePtr a -> String

showList :: [RemotePtr a] -> ShowS

Binary (RemotePtr a)

Defined in GHCi.RemoteTypes

Methods

put :: RemotePtr a -> Put

get :: Get (RemotePtr a)

putList :: [RemotePtr a] -> Put

NFData (RemotePtr a)

Defined in GHCi.RemoteTypes

Methods

rnf :: RemotePtr a -> ()

toRemotePtr :: Ptr a -> RemotePtr a

fromRemotePtr :: RemotePtr a -> Ptr a

castRemotePtr :: RemotePtr a -> RemotePtr b

newtype HValue

Constructors

HValue Any

Instances

Show HValue

Defined in GHCi.RemoteTypes

Methods

showsPrec :: Int -> HValue -> ShowS

show :: HValue -> String

showList :: [HValue] -> ShowS

data RemoteRef a

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

Instances

Show (RemoteRef a)

Defined in GHCi.RemoteTypes

Methods

showsPrec :: Int -> RemoteRef a -> ShowS

show :: RemoteRef a -> String

showList :: [RemoteRef a] -> ShowS

Binary (RemoteRef a)

Defined in GHCi.RemoteTypes

Methods

put :: RemoteRef a -> Put

get :: Get (RemoteRef a)

putList :: [RemoteRef a] -> Put

mkRemoteRef :: a -> IO (RemoteRef a)

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

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

freeRemoteRef :: RemoteRef a -> IO ()

Release an HValueRef that originated in this process

type HValueRef = RemoteRef HValue

toHValueRef :: RemoteRef a -> RemoteRef HValue

data ForeignRef a

An HValueRef with a finalizer

Instances

NFData (ForeignRef a)

Defined in GHCi.RemoteTypes

Methods

rnf :: ForeignRef a -> ()

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

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

Use a ForeignHValue

type ForeignHValue = ForeignRef HValue

unsafeForeignRefToRemoteRef :: ForeignRef a -> RemoteRef a

finalizeForeignRef :: ForeignRef a -> IO ()