GHCi.ResolvedBCO

Documentation

data ResolvedBCO

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

• resolvedBCOIsLE :: Bool
• resolvedBCOArity :: !Int
• resolvedBCOInstrs :: UArray Int Word16
• resolvedBCOBitmap :: UArray Int Word64
• resolvedBCOLits :: UArray Int Word64
• resolvedBCOPtrs :: SizedSeq ResolvedBCOPtr

Instances

Show ResolvedBCO

Defined in GHCi.ResolvedBCO

Methods

showsPrec :: Int -> ResolvedBCO -> ShowS

show :: ResolvedBCO -> String

showList :: [ResolvedBCO] -> ShowS

Generic ResolvedBCO

Defined in GHCi.ResolvedBCO

Associated Types

type Rep ResolvedBCO :: Type -> Type

Methods

from :: ResolvedBCO -> Rep ResolvedBCO x

to :: Rep ResolvedBCO x -> ResolvedBCO

Binary ResolvedBCO

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

Methods

put :: ResolvedBCO -> Put

get :: Get ResolvedBCO

putList :: [ResolvedBCO] -> Put

type Rep ResolvedBCO

Defined in GHCi.ResolvedBCO

type Rep ResolvedBCO = D1 (MetaData "ResolvedBCO" "GHCi.ResolvedBCO" "ghc-lib-0.20190402-HnXkzhLcc2y4RINYwA146V" 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

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

Show ResolvedBCOPtr

Defined in GHCi.ResolvedBCO

Methods

showsPrec :: Int -> ResolvedBCOPtr -> ShowS

show :: ResolvedBCOPtr -> String

showList :: [ResolvedBCOPtr] -> ShowS

Generic ResolvedBCOPtr

Defined in GHCi.ResolvedBCO

Associated Types

type Rep ResolvedBCOPtr :: Type -> Type

Methods

from :: ResolvedBCOPtr -> Rep ResolvedBCOPtr x

to :: Rep ResolvedBCOPtr x -> ResolvedBCOPtr

Binary ResolvedBCOPtr

Defined in GHCi.ResolvedBCO

Methods

put :: ResolvedBCOPtr -> Put

get :: Get ResolvedBCOPtr

putList :: [ResolvedBCOPtr] -> Put

type Rep ResolvedBCOPtr

Defined in GHCi.ResolvedBCO

type Rep ResolvedBCOPtr = D1 (MetaData "ResolvedBCOPtr" "GHCi.ResolvedBCO" "ghc-lib-0.20190402-HnXkzhLcc2y4RINYwA146V" 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))))))

isLittleEndian :: Bool