Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
GHCi.ResolvedBCO
Synopsis
- data ResolvedBCO = ResolvedBCO {
- resolvedBCOIsLE :: Bool
- resolvedBCOArity :: !Int
- resolvedBCOInstrs :: UArray Int Word16
- resolvedBCOBitmap :: UArray Int Word64
- resolvedBCOLits :: UArray Int Word64
- resolvedBCOPtrs :: SizedSeq ResolvedBCOPtr
- data ResolvedBCOPtr
- isLittleEndian :: Bool
Documentation
data ResolvedBCO Source #
A ResolvedBCO
is one in which all the Name
references have been
resolved to actual addresses or RemoteHValues
.
Note, all arrays are zero-indexed (we assume this when serializing/deserializing)
Constructors
ResolvedBCO | |
Fields
|
Instances
Generic ResolvedBCO Source # | |
Defined in GHCi.ResolvedBCO Associated Types type Rep ResolvedBCO :: Type -> Type | |
Show ResolvedBCO Source # | |
Defined in GHCi.ResolvedBCO Methods showsPrec :: Int -> ResolvedBCO -> ShowS # show :: ResolvedBCO -> String # showList :: [ResolvedBCO] -> ShowS # | |
Binary ResolvedBCO Source # | The Binary instance for ResolvedBCOs. Note, that we do encode the endianness, however there is no support for mixed endianness setups. This is primarily to ensure that ghc and iserv share the same endianness. |
Defined in GHCi.ResolvedBCO | |
type Rep ResolvedBCO Source # | |
Defined in GHCi.ResolvedBCO type Rep ResolvedBCO = D1 ('MetaData "ResolvedBCO" "GHCi.ResolvedBCO" "ghc-lib-parser-9.4.5.20230430-3l319oISrwg5O8XOrKFn5M" 'False) (C1 ('MetaCons "ResolvedBCO" 'PrefixI 'True) ((S1 ('MetaSel ('Just "resolvedBCOIsLE") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "resolvedBCOArity") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "resolvedBCOInstrs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UArray Int Word16)))) :*: (S1 ('MetaSel ('Just "resolvedBCOBitmap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UArray Int Word64)) :*: (S1 ('MetaSel ('Just "resolvedBCOLits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UArray Int Word64)) :*: S1 ('MetaSel ('Just "resolvedBCOPtrs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SizedSeq ResolvedBCOPtr)))))) |
data ResolvedBCOPtr Source #
Constructors
ResolvedBCORef !Int | reference to the Nth BCO in the current set |
ResolvedBCOPtr !(RemoteRef HValue) | reference to a previously created BCO |
ResolvedBCOStaticPtr !(RemotePtr ()) | reference to a static ptr |
ResolvedBCOPtrBCO ResolvedBCO | a nested BCO |
ResolvedBCOPtrBreakArray !(RemoteRef BreakArray) | Resolves to the MutableArray# inside the BreakArray |
Instances
Generic ResolvedBCOPtr Source # | |
Defined in GHCi.ResolvedBCO Associated Types type Rep ResolvedBCOPtr :: Type -> Type | |
Show ResolvedBCOPtr Source # | |
Defined in GHCi.ResolvedBCO Methods showsPrec :: Int -> ResolvedBCOPtr -> ShowS # show :: ResolvedBCOPtr -> String # showList :: [ResolvedBCOPtr] -> ShowS # | |
Binary ResolvedBCOPtr Source # | |
Defined in GHCi.ResolvedBCO | |
type Rep ResolvedBCOPtr Source # | |
Defined in GHCi.ResolvedBCO type Rep ResolvedBCOPtr = D1 ('MetaData "ResolvedBCOPtr" "GHCi.ResolvedBCO" "ghc-lib-parser-9.4.5.20230430-3l319oISrwg5O8XOrKFn5M" 'False) ((C1 ('MetaCons "ResolvedBCORef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "ResolvedBCOPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (RemoteRef HValue)))) :+: (C1 ('MetaCons "ResolvedBCOStaticPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (RemotePtr ()))) :+: (C1 ('MetaCons "ResolvedBCOPtrBCO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ResolvedBCO)) :+: C1 ('MetaCons "ResolvedBCOPtrBreakArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (RemoteRef BreakArray)))))) |