Safe Haskell	Safe-Inferred
Language	Haskell2010

GHCi.RemoteTypes

Description

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

For details on Remote GHCi, see Note [Remote GHCi] in compilerGHCRuntime/Interpreter.hs.

Synopsis

newtype RemotePtr a = RemotePtr Word64
toRemotePtr :: Ptr a -> RemotePtr a
fromRemotePtr :: RemotePtr a -> Ptr a
castRemotePtr :: RemotePtr a -> RemotePtr b
newtype HValue = HValue Any
data RemoteRef a
mkRemoteRef :: a -> IO (RemoteRef a)
localRef :: RemoteRef a -> IO a
freeRemoteRef :: RemoteRef a -> IO ()
type HValueRef = RemoteRef HValue
toHValueRef :: RemoteRef a -> RemoteRef HValue
data ForeignRef a
mkForeignRef :: RemoteRef a -> IO () -> IO (ForeignRef a)
withForeignRef :: ForeignRef a -> (RemoteRef a -> IO b) -> IO b
type ForeignHValue = ForeignRef HValue
unsafeForeignRefToRemoteRef :: ForeignRef a -> RemoteRef a
finalizeForeignRef :: ForeignRef a -> IO ()

Documentation

newtype RemotePtr a Source #

Constructors

RemotePtr Word64

Instances

Instances details

Show (RemotePtr a) #
Instance details Defined in GHCi.RemoteTypes Methods showsPrec :: Int -> RemotePtr a -> ShowS Source # show :: RemotePtr a -> String Source # showList :: [RemotePtr a] -> ShowS Source #
Binary (RemotePtr a) #
Instance details Defined in GHCi.RemoteTypes Methods put :: RemotePtr a -> Put Source # get :: Get (RemotePtr a) Source # putList :: [RemotePtr a] -> Put Source #
NFData (RemotePtr a) #
Instance details Defined in GHCi.RemoteTypes 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

Instances details

Show HValue #
Instance details Defined in GHCi.RemoteTypes 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

Instances details

Show (RemoteRef a) #
Instance details Defined in GHCi.RemoteTypes Methods showsPrec :: Int -> RemoteRef a -> ShowS Source # show :: RemoteRef a -> String Source # showList :: [RemoteRef a] -> ShowS Source #
Binary (RemoteRef a) #
Instance details Defined in GHCi.RemoteTypes 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

Instances details

NFData (ForeignRef a) #
Instance details Defined in GHCi.RemoteTypes 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 #