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.
|Show (RemotePtr a)|
|Binary (RemotePtr a)|
|NFData (RemotePtr a)|
A reference to a remote value. These are allocated and freed explicitly.
|Show (RemoteRef a)|
|Binary (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.
Convert an HValueRef to an HValue. Should only be used if the HValue originated in this process.
Release an HValueRef that originated in this process
An HValueRef with a finalizer
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).
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).