Safe Haskell	None
Language	Haskell2010

GHCi.Message

Contents

Orphan instances

Description

Remote GHCi message types and serialization.

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

Synopsis

data Message a where
- Shutdown :: Message ()
- RtsRevertCAFs :: Message ()
- InitLinker :: Message ()
- LookupSymbol :: String -> Message (Maybe (RemotePtr ()))
- LookupClosure :: String -> Message (Maybe HValueRef)
- LoadDLL :: String -> Message (Maybe String)
- LoadArchive :: String -> Message ()
- LoadObj :: String -> Message ()
- UnloadObj :: String -> Message ()
- AddLibrarySearchPath :: String -> Message (RemotePtr ())
- RemoveLibrarySearchPath :: RemotePtr () -> Message Bool
- ResolveObjs :: Message Bool
- FindSystemLibrary :: String -> Message (Maybe String)
- CreateBCOs :: [ByteString] -> Message [HValueRef]
- FreeHValueRefs :: [HValueRef] -> Message ()
- AddSptEntry :: Fingerprint -> HValueRef -> Message ()
- MallocData :: ByteString -> Message (RemotePtr ())
- MallocStrings :: [ByteString] -> Message [RemotePtr ()]
- PrepFFI :: FFIConv -> [FFIType] -> FFIType -> Message (RemotePtr C_ffi_cif)
- FreeFFI :: RemotePtr C_ffi_cif -> Message ()
- MkConInfoTable :: Bool -> Int -> Int -> Int -> Int -> ByteString -> Message (RemotePtr StgInfoTable)
- EvalStmt :: EvalOpts -> EvalExpr HValueRef -> Message (EvalStatus_ [HValueRef] [HValueRef])
- ResumeStmt :: EvalOpts -> RemoteRef (ResumeContext [HValueRef]) -> Message (EvalStatus_ [HValueRef] [HValueRef])
- AbandonStmt :: RemoteRef (ResumeContext [HValueRef]) -> Message ()
- EvalString :: HValueRef -> Message (EvalResult String)
- EvalStringToString :: HValueRef -> String -> Message (EvalResult String)
- EvalIO :: HValueRef -> Message (EvalResult ())
- MkCostCentres :: String -> [(String, String)] -> Message [RemotePtr CostCentre]
- CostCentreStackInfo :: RemotePtr CostCentreStack -> Message [String]
- NewBreakArray :: Int -> Message (RemoteRef BreakArray)
- SetupBreakpoint :: RemoteRef BreakArray -> Int -> Int -> Message ()
- BreakpointStatus :: RemoteRef BreakArray -> Int -> Message Bool
- GetBreakpointVar :: HValueRef -> Int -> Message (Maybe HValueRef)
- StartTH :: Message (RemoteRef (IORef QState))
- RunTH :: RemoteRef (IORef QState) -> HValueRef -> THResultType -> Maybe Loc -> Message (QResult ByteString)
- RunModFinalizers :: RemoteRef (IORef QState) -> [RemoteRef (Q ())] -> Message (QResult ())
- GetClosure :: HValueRef -> Message (GenClosure HValueRef)
- Seq :: HValueRef -> Message (EvalStatus_ () ())
- ResumeSeq :: RemoteRef (ResumeContext ()) -> Message (EvalStatus_ () ())
data Msg = (Binary a, Show a) => Msg (Message a)
data THMessage a where
- NewName :: String -> THMessage (THResult Name)
- Report :: Bool -> String -> THMessage (THResult ())
- LookupName :: Bool -> String -> THMessage (THResult (Maybe Name))
- Reify :: Name -> THMessage (THResult Info)
- ReifyFixity :: Name -> THMessage (THResult (Maybe Fixity))
- ReifyType :: Name -> THMessage (THResult Type)
- ReifyInstances :: Name -> [Type] -> THMessage (THResult [Dec])
- ReifyRoles :: Name -> THMessage (THResult [Role])
- ReifyAnnotations :: AnnLookup -> TypeRep -> THMessage (THResult [ByteString])
- ReifyModule :: Module -> THMessage (THResult ModuleInfo)
- ReifyConStrictness :: Name -> THMessage (THResult [DecidedStrictness])
- GetPackageRoot :: THMessage (THResult FilePath)
- AddDependentFile :: FilePath -> THMessage (THResult ())
- AddTempFile :: String -> THMessage (THResult FilePath)
- AddModFinalizer :: RemoteRef (Q ()) -> THMessage (THResult ())
- AddCorePlugin :: String -> THMessage (THResult ())
- AddTopDecls :: [Dec] -> THMessage (THResult ())
- AddForeignFilePath :: ForeignSrcLang -> FilePath -> THMessage (THResult ())
- IsExtEnabled :: Extension -> THMessage (THResult Bool)
- ExtsEnabled :: THMessage (THResult [Extension])
- PutDoc :: DocLoc -> String -> THMessage (THResult ())
- GetDoc :: DocLoc -> THMessage (THResult (Maybe String))
- StartRecover :: THMessage ()
- EndRecover :: Bool -> THMessage ()
- FailIfErrs :: THMessage (THResult ())
- RunTHDone :: THMessage ()
data THMsg = (Binary a, Show a) => THMsg (THMessage a)
data QResult a
- = QDone a
- | QException String
- | QFail String
data EvalStatus_ a b
- = EvalComplete Word64 (EvalResult a)
- | EvalBreak Bool HValueRef Int Int (RemoteRef (ResumeContext b)) (RemotePtr CostCentreStack)
type EvalStatus a = EvalStatus_ a a
data EvalResult a
- = EvalException SerializableException
- | EvalSuccess a
data EvalOpts = EvalOpts {
- useSandboxThread :: Bool
- singleStep :: Bool
- breakOnException :: Bool
- breakOnError :: Bool
}
data EvalExpr a
- = EvalThis a
- | EvalApp (EvalExpr a) (EvalExpr a)
data SerializableException
- = EUserInterrupt
- | EExitCode ExitCode
- | EOtherException String
toSerializableException :: SomeException -> SerializableException
fromSerializableException :: SerializableException -> SomeException
data THResult a
- = THException String
- | THComplete a
data THResultType
- = THExp
- | THPat
- | THType
- | THDec
- | THAnnWrapper
data ResumeContext a = ResumeContext {
- resumeBreakMVar :: MVar ()
- resumeStatusMVar :: MVar (EvalStatus a)
- resumeThreadId :: ThreadId
}
data QState = QState {
- qsMap :: Map TypeRep Dynamic
- qsLocation :: Maybe Loc
- qsPipe :: Pipe
}
getMessage :: Get Msg
putMessage :: Message a -> Put
getTHMessage :: Get THMsg
putTHMessage :: THMessage a -> Put
data Pipe = Pipe {
- pipeRead :: Handle
- pipeWrite :: Handle
- pipeLeftovers :: IORef (Maybe ByteString)
}
remoteCall :: Binary a => Pipe -> Message a -> IO a
remoteTHCall :: Binary a => Pipe -> THMessage a -> IO a
readPipe :: Pipe -> Get a -> IO a
writePipe :: Pipe -> Put -> IO ()

Documentation

data Message a where Source #

A Message a is a message that returns a value of type a. These are requests sent from GHC to the server.

Constructors

Shutdown :: Message ()	Exit the iserv process
RtsRevertCAFs :: Message ()
InitLinker :: Message ()
LookupSymbol :: String -> Message (Maybe (RemotePtr ()))
LookupClosure :: String -> Message (Maybe HValueRef)
LoadDLL :: String -> Message (Maybe String)
LoadArchive :: String -> Message ()
LoadObj :: String -> Message ()
UnloadObj :: String -> Message ()
AddLibrarySearchPath :: String -> Message (RemotePtr ())
RemoveLibrarySearchPath :: RemotePtr () -> Message Bool
ResolveObjs :: Message Bool
FindSystemLibrary :: String -> Message (Maybe String)
CreateBCOs :: [ByteString] -> Message [HValueRef]	Create a set of BCO objects, and return HValueRefs to them Note: Each ByteString contains a Binary-encoded [ResolvedBCO], not a ResolvedBCO. The list is to allow us to serialise the ResolvedBCOs in parallel. See `createBCOs` in compilerGHCRuntime/Interpreter.hs.
FreeHValueRefs :: [HValueRef] -> Message ()	Release `HValueRef`s
AddSptEntry :: Fingerprint -> HValueRef -> Message ()	Add entries to the Static Pointer Table
MallocData :: ByteString -> Message (RemotePtr ())	Malloc some data and return a `RemotePtr` to it
MallocStrings :: [ByteString] -> Message [RemotePtr ()]
PrepFFI :: FFIConv -> [FFIType] -> FFIType -> Message (RemotePtr C_ffi_cif)	Calls `prepareForeignCall`
FreeFFI :: RemotePtr C_ffi_cif -> Message ()	Free data previously created by `PrepFFI`
MkConInfoTable :: Bool -> Int -> Int -> Int -> Int -> ByteString -> Message (RemotePtr StgInfoTable)	Create an info table for a constructor
EvalStmt :: EvalOpts -> EvalExpr HValueRef -> Message (EvalStatus_ [HValueRef] [HValueRef])	Evaluate a statement
ResumeStmt :: EvalOpts -> RemoteRef (ResumeContext [HValueRef]) -> Message (EvalStatus_ [HValueRef] [HValueRef])	Resume evaluation of a statement after a breakpoint
AbandonStmt :: RemoteRef (ResumeContext [HValueRef]) -> Message ()	Abandon evaluation of a statement after a breakpoint
EvalString :: HValueRef -> Message (EvalResult String)	Evaluate something of type `IO String`
EvalStringToString :: HValueRef -> String -> Message (EvalResult String)	Evaluate something of type `String -> IO String`
EvalIO :: HValueRef -> Message (EvalResult ())	Evaluate something of type `IO ()`
MkCostCentres :: String -> [(String, String)] -> Message [RemotePtr CostCentre]	Create a set of CostCentres with the same module name
CostCentreStackInfo :: RemotePtr CostCentreStack -> Message [String]	Show a `CostCentreStack` as a `[String]`
NewBreakArray :: Int -> Message (RemoteRef BreakArray)	Create a new array of breakpoint flags
SetupBreakpoint :: RemoteRef BreakArray -> Int -> Int -> Message ()	Set how many times a breakpoint should be ignored also used for enable/disable
BreakpointStatus :: RemoteRef BreakArray -> Int -> Message Bool	Query the status of a breakpoint (True = enabled)
GetBreakpointVar :: HValueRef -> Int -> Message (Maybe HValueRef)	Get a reference to a free variable at a breakpoint
StartTH :: Message (RemoteRef (IORef QState))	Start a new TH module, return a state token that should be
RunTH :: RemoteRef (IORef QState) -> HValueRef -> THResultType -> Maybe Loc -> Message (QResult ByteString)	Evaluate a TH computation. Returns a ByteString, because we have to force the result before returning it to ensure there are no errors lurking in it. The TH types don't have NFData instances, and even if they did, we have to serialize the value anyway, so we might as well serialize it to force it.
RunModFinalizers :: RemoteRef (IORef QState) -> [RemoteRef (Q ())] -> Message (QResult ())	Run the given mod finalizers.
GetClosure :: HValueRef -> Message (GenClosure HValueRef)	Remote interface to GHC.Exts.Heap.getClosureData. This is used by the GHCi debugger to inspect values in the heap for :print and type reconstruction.
Seq :: HValueRef -> Message (EvalStatus_ () ())	Evaluate something. This is used to support :force in GHCi.
ResumeSeq :: RemoteRef (ResumeContext ()) -> Message (EvalStatus_ () ())	Resume forcing a free variable in a breakpoint (#2950)

Instances

Instances details

Show (Message a) Source #
Instance details Defined in GHCi.Message Methods showsPrec :: Int -> Message a -> ShowS Source # show :: Message a -> String Source # showList :: [Message a] -> ShowS Source #

data Msg Source #

Constructors

(Binary a, Show a) => Msg (Message a)

data THMessage a where Source #

Messages sent back to GHC from GHCi.TH, to implement the methods of Quasi. For an overview of how TH works with Remote GHCi, see Note [Remote Template Haskell] in GHCi.TH.

Constructors

NewName :: String -> THMessage (THResult Name)
Report :: Bool -> String -> THMessage (THResult ())
LookupName :: Bool -> String -> THMessage (THResult (Maybe Name))
Reify :: Name -> THMessage (THResult Info)
ReifyFixity :: Name -> THMessage (THResult (Maybe Fixity))
ReifyType :: Name -> THMessage (THResult Type)
ReifyInstances :: Name -> [Type] -> THMessage (THResult [Dec])
ReifyRoles :: Name -> THMessage (THResult [Role])
ReifyAnnotations :: AnnLookup -> TypeRep -> THMessage (THResult [ByteString])
ReifyModule :: Module -> THMessage (THResult ModuleInfo)
ReifyConStrictness :: Name -> THMessage (THResult [DecidedStrictness])
GetPackageRoot :: THMessage (THResult FilePath)
AddDependentFile :: FilePath -> THMessage (THResult ())
AddTempFile :: String -> THMessage (THResult FilePath)
AddModFinalizer :: RemoteRef (Q ()) -> THMessage (THResult ())
AddCorePlugin :: String -> THMessage (THResult ())
AddTopDecls :: [Dec] -> THMessage (THResult ())
AddForeignFilePath :: ForeignSrcLang -> FilePath -> THMessage (THResult ())
IsExtEnabled :: Extension -> THMessage (THResult Bool)
ExtsEnabled :: THMessage (THResult [Extension])
PutDoc :: DocLoc -> String -> THMessage (THResult ())
GetDoc :: DocLoc -> THMessage (THResult (Maybe String))
StartRecover :: THMessage ()
EndRecover :: Bool -> THMessage ()
FailIfErrs :: THMessage (THResult ())
RunTHDone :: THMessage ()	Indicates that this RunTH is finished, and the next message will be the result of RunTH (a QResult).

Instances

Instances details

Show (THMessage a) Source #
Instance details Defined in GHCi.Message Methods showsPrec :: Int -> THMessage a -> ShowS Source # show :: THMessage a -> String Source # showList :: [THMessage a] -> ShowS Source #

data THMsg Source #

Constructors

(Binary a, Show a) => THMsg (THMessage a)

data QResult a Source #

Template Haskell return values

Constructors

QDone a	RunTH finished successfully; return value follows
QException String	RunTH threw an exception
QFail String	RunTH called `fail`

Instances

Instances details

Generic (QResult a) Source #

Instance details

Defined in GHCi.Message

Associated Types

type Rep (QResult a)

Instance details

Defined in GHCi.Message

type Rep (QResult a) = D1 ('MetaData "QResult" "GHCi.Message" "ghci-9.8.0.20230727-eebd" 'False) (C1 ('MetaCons "QDone" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "QException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "QFail" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

Methods

from :: QResult a -> Rep (QResult a) x Source #

to :: Rep (QResult a) x -> QResult a Source #

Show a => Show (QResult a) Source #

Instance details

Defined in GHCi.Message

Methods

showsPrec :: Int -> QResult a -> ShowS Source #

show :: QResult a -> String Source #

showList :: [QResult a] -> ShowS Source #

Binary a => Binary (QResult a) Source #

Instance details

Defined in GHCi.Message

Methods

put :: QResult a -> Put Source #

get :: Get (QResult a) Source #

putList :: [QResult a] -> Put Source #

type Rep (QResult a) Source #

Instance details

Defined in GHCi.Message

type Rep (QResult a) = D1 ('MetaData "QResult" "GHCi.Message" "ghci-9.8.0.20230727-eebd" 'False) (C1 ('MetaCons "QDone" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "QException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "QFail" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

data EvalStatus_ a b Source #

Constructors

EvalComplete Word64 (EvalResult a)
EvalBreak Bool HValueRef Int Int (RemoteRef (ResumeContext b)) (RemotePtr CostCentreStack)

Instances

Instances details

Generic (EvalStatus_ a b) Source #

Instance details

Defined in GHCi.Message

Associated Types

type Rep (EvalStatus_ a b)

Instance details

Defined in GHCi.Message

Methods

from :: EvalStatus_ a b -> Rep (EvalStatus_ a b) x Source #

to :: Rep (EvalStatus_ a b) x -> EvalStatus_ a b Source #

Show a => Show (EvalStatus_ a b) Source #

Instance details

Defined in GHCi.Message

Methods

showsPrec :: Int -> EvalStatus_ a b -> ShowS Source #

show :: EvalStatus_ a b -> String Source #

showList :: [EvalStatus_ a b] -> ShowS Source #

Binary a => Binary (EvalStatus_ a b) Source #

Instance details

Defined in GHCi.Message

Methods

put :: EvalStatus_ a b -> Put Source #

get :: Get (EvalStatus_ a b) Source #

putList :: [EvalStatus_ a b] -> Put Source #

type Rep (EvalStatus_ a b) Source #

Instance details

Defined in GHCi.Message

type EvalStatus a = EvalStatus_ a a Source #

data EvalResult a Source #

Constructors

EvalException SerializableException
EvalSuccess a

Instances

Instances details

Generic (EvalResult a) Source #

Instance details

Defined in GHCi.Message

Associated Types

type Rep (EvalResult a)

Instance details

Defined in GHCi.Message

type Rep (EvalResult a) = D1 ('MetaData "EvalResult" "GHCi.Message" "ghci-9.8.0.20230727-eebd" 'False) (C1 ('MetaCons "EvalException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SerializableException)) :+: C1 ('MetaCons "EvalSuccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from :: EvalResult a -> Rep (EvalResult a) x Source #

to :: Rep (EvalResult a) x -> EvalResult a Source #

Show a => Show (EvalResult a) Source #

Instance details

Defined in GHCi.Message

Methods

showsPrec :: Int -> EvalResult a -> ShowS Source #

show :: EvalResult a -> String Source #

showList :: [EvalResult a] -> ShowS Source #

Binary a => Binary (EvalResult a) Source #

Instance details

Defined in GHCi.Message

Methods

put :: EvalResult a -> Put Source #

get :: Get (EvalResult a) Source #

putList :: [EvalResult a] -> Put Source #

type Rep (EvalResult a) Source #

Instance details

Defined in GHCi.Message

type Rep (EvalResult a) = D1 ('MetaData "EvalResult" "GHCi.Message" "ghci-9.8.0.20230727-eebd" 'False) (C1 ('MetaCons "EvalException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SerializableException)) :+: C1 ('MetaCons "EvalSuccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

data EvalOpts Source #

Constructors

EvalOpts
Fields useSandboxThread :: Bool singleStep :: Bool breakOnException :: Bool breakOnError :: Bool

Instances

Instances details

Generic EvalOpts Source #

Instance details

Defined in GHCi.Message

Associated Types

type Rep EvalOpts

Instance details

Defined in GHCi.Message

type Rep EvalOpts = D1 ('MetaData "EvalOpts" "GHCi.Message" "ghci-9.8.0.20230727-eebd" 'False) (C1 ('MetaCons "EvalOpts" 'PrefixI 'True) ((S1 ('MetaSel ('Just "useSandboxThread") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "singleStep") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :*: (S1 ('MetaSel ('Just "breakOnException") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "breakOnError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

Methods

from :: EvalOpts -> Rep EvalOpts x Source #

to :: Rep EvalOpts x -> EvalOpts Source #

Show EvalOpts Source #

Instance details

Defined in GHCi.Message

Methods

showsPrec :: Int -> EvalOpts -> ShowS Source #

show :: EvalOpts -> String Source #

showList :: [EvalOpts] -> ShowS Source #

Binary EvalOpts Source #

Instance details

Defined in GHCi.Message

Methods

put :: EvalOpts -> Put Source #

get :: Get EvalOpts Source #

putList :: [EvalOpts] -> Put Source #

type Rep EvalOpts Source #

Instance details

Defined in GHCi.Message

type Rep EvalOpts = D1 ('MetaData "EvalOpts" "GHCi.Message" "ghci-9.8.0.20230727-eebd" 'False) (C1 ('MetaCons "EvalOpts" 'PrefixI 'True) ((S1 ('MetaSel ('Just "useSandboxThread") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "singleStep") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :*: (S1 ('MetaSel ('Just "breakOnException") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "breakOnError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

data EvalExpr a Source #

We can pass simple expressions to EvalStmt, consisting of values and application. This allows us to wrap the statement to be executed in another function, which is used by GHCi to implement :set args and :set prog. It might be worthwhile to extend this little language in the future.

Constructors

EvalThis a
EvalApp (EvalExpr a) (EvalExpr a)

Instances

Instances details

Generic (EvalExpr a) Source #

Instance details

Defined in GHCi.Message

Associated Types

type Rep (EvalExpr a)

Instance details

Defined in GHCi.Message

type Rep (EvalExpr a) = D1 ('MetaData "EvalExpr" "GHCi.Message" "ghci-9.8.0.20230727-eebd" 'False) (C1 ('MetaCons "EvalThis" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "EvalApp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EvalExpr a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EvalExpr a))))

Methods

from :: EvalExpr a -> Rep (EvalExpr a) x Source #

to :: Rep (EvalExpr a) x -> EvalExpr a Source #

Show a => Show (EvalExpr a) Source #

Instance details

Defined in GHCi.Message

Methods

showsPrec :: Int -> EvalExpr a -> ShowS Source #

show :: EvalExpr a -> String Source #

showList :: [EvalExpr a] -> ShowS Source #

Binary a => Binary (EvalExpr a) Source #

Instance details

Defined in GHCi.Message

Methods

put :: EvalExpr a -> Put Source #

get :: Get (EvalExpr a) Source #

putList :: [EvalExpr a] -> Put Source #

type Rep (EvalExpr a) Source #

Instance details

Defined in GHCi.Message

type Rep (EvalExpr a) = D1 ('MetaData "EvalExpr" "GHCi.Message" "ghci-9.8.0.20230727-eebd" 'False) (C1 ('MetaCons "EvalThis" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "EvalApp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EvalExpr a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EvalExpr a))))

data SerializableException Source #

Constructors

EUserInterrupt
EExitCode ExitCode
EOtherException String

Instances

Instances details

Generic SerializableException Source #

Instance details

Defined in GHCi.Message

Associated Types

type Rep SerializableException

Instance details

Defined in GHCi.Message

type Rep SerializableException = D1 ('MetaData "SerializableException" "GHCi.Message" "ghci-9.8.0.20230727-eebd" 'False) (C1 ('MetaCons "EUserInterrupt" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EExitCode" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExitCode)) :+: C1 ('MetaCons "EOtherException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

Methods

from :: SerializableException -> Rep SerializableException x Source #

to :: Rep SerializableException x -> SerializableException Source #

Show SerializableException Source #

Instance details

Defined in GHCi.Message

Methods

showsPrec :: Int -> SerializableException -> ShowS Source #

show :: SerializableException -> String Source #

showList :: [SerializableException] -> ShowS Source #

Binary SerializableException Source #

Instance details

Defined in GHCi.Message

Methods

put :: SerializableException -> Put Source #

get :: Get SerializableException Source #

putList :: [SerializableException] -> Put Source #

type Rep SerializableException Source #

Instance details

Defined in GHCi.Message

type Rep SerializableException = D1 ('MetaData "SerializableException" "GHCi.Message" "ghci-9.8.0.20230727-eebd" 'False) (C1 ('MetaCons "EUserInterrupt" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EExitCode" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExitCode)) :+: C1 ('MetaCons "EOtherException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

toSerializableException :: SomeException -> SerializableException Source #

fromSerializableException :: SerializableException -> SomeException Source #

data THResult a Source #

Constructors

THException String
THComplete a

Instances

Instances details

Generic (THResult a) Source #

Instance details

Defined in GHCi.Message

Associated Types

type Rep (THResult a)

Instance details

Defined in GHCi.Message

type Rep (THResult a) = D1 ('MetaData "THResult" "GHCi.Message" "ghci-9.8.0.20230727-eebd" 'False) (C1 ('MetaCons "THException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "THComplete" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from :: THResult a -> Rep (THResult a) x Source #

to :: Rep (THResult a) x -> THResult a Source #

Show a => Show (THResult a) Source #

Instance details

Defined in GHCi.Message

Methods

showsPrec :: Int -> THResult a -> ShowS Source #

show :: THResult a -> String Source #

showList :: [THResult a] -> ShowS Source #

Binary a => Binary (THResult a) Source #

Instance details

Defined in GHCi.Message

Methods

put :: THResult a -> Put Source #

get :: Get (THResult a) Source #

putList :: [THResult a] -> Put Source #

type Rep (THResult a) Source #

Instance details

Defined in GHCi.Message

type Rep (THResult a) = D1 ('MetaData "THResult" "GHCi.Message" "ghci-9.8.0.20230727-eebd" 'False) (C1 ('MetaCons "THException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "THComplete" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

data THResultType Source #

Constructors

THExp
THPat
THType
THDec
THAnnWrapper

Instances

Instances details

Enum THResultType Source #

Instance details

Defined in GHCi.Message

Methods

succ :: THResultType -> THResultType Source #

pred :: THResultType -> THResultType Source #

toEnum :: Int -> THResultType Source #

fromEnum :: THResultType -> Int Source #

enumFrom :: THResultType -> [THResultType] Source #

enumFromThen :: THResultType -> THResultType -> [THResultType] Source #

enumFromTo :: THResultType -> THResultType -> [THResultType] Source #

enumFromThenTo :: THResultType -> THResultType -> THResultType -> [THResultType] Source #

Generic THResultType Source #

Instance details

Defined in GHCi.Message

Associated Types

type Rep THResultType

Instance details

Defined in GHCi.Message

type Rep THResultType = D1 ('MetaData "THResultType" "GHCi.Message" "ghci-9.8.0.20230727-eebd" 'False) ((C1 ('MetaCons "THExp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "THPat" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "THType" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "THDec" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "THAnnWrapper" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: THResultType -> Rep THResultType x Source #

to :: Rep THResultType x -> THResultType Source #

Show THResultType Source #

Instance details

Defined in GHCi.Message

Methods

showsPrec :: Int -> THResultType -> ShowS Source #

show :: THResultType -> String Source #

showList :: [THResultType] -> ShowS Source #

Binary THResultType Source #

Instance details

Defined in GHCi.Message

Methods

put :: THResultType -> Put Source #

get :: Get THResultType Source #

putList :: [THResultType] -> Put Source #

type Rep THResultType Source #

Instance details

Defined in GHCi.Message

type Rep THResultType = D1 ('MetaData "THResultType" "GHCi.Message" "ghci-9.8.0.20230727-eebd" 'False) ((C1 ('MetaCons "THExp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "THPat" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "THType" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "THDec" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "THAnnWrapper" 'PrefixI 'False) (U1 :: Type -> Type))))

data ResumeContext a Source #

Constructors

ResumeContext
Fields resumeBreakMVar :: MVar () resumeStatusMVar :: MVar (EvalStatus a) resumeThreadId :: ThreadId

data QState Source #

The server-side Template Haskell state. This is created by the StartTH message. A new one is created per module that GHC typechecks.

Constructors

QState
Fields qsMap :: Map TypeRep Dynamic persistent data between splices in a module qsLocation :: Maybe Loc location for current splice, if any qsPipe :: Pipe pipe to communicate with GHC

Instances

Instances details

Show QState Source #
Instance details Defined in GHCi.Message Methods showsPrec :: Int -> QState -> ShowS Source # show :: QState -> String Source # showList :: [QState] -> ShowS Source #

getMessage :: Get Msg Source #

putMessage :: Message a -> Put Source #

getTHMessage :: Get THMsg Source #

putTHMessage :: THMessage a -> Put Source #

data Pipe Source #

Constructors

Pipe
Fields pipeRead :: Handle pipeWrite :: Handle pipeLeftovers :: IORef (Maybe ByteString)

remoteCall :: Binary a => Pipe -> Message a -> IO a Source #

remoteTHCall :: Binary a => Pipe -> THMessage a -> IO a Source #

readPipe :: Pipe -> Get a -> IO a Source #

writePipe :: Pipe -> Put -> IO () Source #

Orphan instances

Binary ExitCode Source #
Instance details Methods put :: ExitCode -> Put Source # get :: Get ExitCode Source # putList :: [ExitCode] -> Put Source #
Binary ClosureType Source #
Instance details Methods put :: ClosureType -> Put Source # get :: Get ClosureType Source # putList :: [ClosureType] -> Put Source #
Binary PrimType Source #
Instance details Methods put :: PrimType -> Put Source # get :: Get PrimType Source # putList :: [PrimType] -> Put Source #
Binary TsoFlags Source #
Instance details Methods put :: TsoFlags -> Put Source # get :: Get TsoFlags Source # putList :: [TsoFlags] -> Put Source #
Binary WhatNext Source #
Instance details Methods put :: WhatNext -> Put Source # get :: Get WhatNext Source # putList :: [WhatNext] -> Put Source #
Binary WhyBlocked Source #
Instance details Methods put :: WhyBlocked -> Put Source # get :: Get WhyBlocked Source # putList :: [WhyBlocked] -> Put Source #
Binary StgInfoTable Source #
Instance details Methods put :: StgInfoTable -> Put Source # get :: Get StgInfoTable Source # putList :: [StgInfoTable] -> Put Source #
Binary CostCentre Source #
Instance details Methods put :: CostCentre -> Put Source # get :: Get CostCentre Source # putList :: [CostCentre] -> Put Source #
Binary CostCentreStack Source #
Instance details Methods put :: CostCentreStack -> Put Source # get :: Get CostCentreStack Source # putList :: [CostCentreStack] -> Put Source #
Binary IndexTable Source #
Instance details Methods put :: IndexTable -> Put Source # get :: Get IndexTable Source # putList :: [IndexTable] -> Put Source #
Binary StgTSOProfInfo Source #
Instance details Methods put :: StgTSOProfInfo -> Put Source # get :: Get StgTSOProfInfo Source # putList :: [StgTSOProfInfo] -> Put Source #
Binary (FunPtr a) Source #
Instance details Methods put :: FunPtr a -> Put Source # get :: Get (FunPtr a) Source # putList :: [FunPtr a] -> Put Source #
Binary (Ptr a) Source #
Instance details Methods put :: Ptr a -> Put Source # get :: Get (Ptr a) Source # putList :: [Ptr a] -> Put Source #
Binary a => Binary (GenClosure a) Source #
Instance details Methods put :: GenClosure a -> Put Source # get :: Get (GenClosure a) Source # putList :: [GenClosure a] -> Put Source #