Moduleghc-10.0.0.20260917GHC2024

GHC.HsToCore.Breakpoints.Types

Information attached to Breakpoints generated from Ticks

The breakpoint information stored in ModBreaks is generated during desugaring from the ticks annotating the source expressions.

This information can be queried per-breakpoint using the BreakpointId datatype, which indexes tick-level breakpoint information.

ModBreaks and BreakpointIds are not to be confused with InternalModBreaks and InternalBreakIds. The latter are constructed during bytecode generation and can be found in GHC.ByteCode.Breakpoints.

See Note [ModBreaks vs InternalModBreaks] and Note [Breakpoint identifiers]

3 types
1 value

Packageghc-10.0.0.20260917
Exports4
LanguageGHC2024
LicenceBSD-3-Clause
SourceTypes.hs

ModBreaks

2 declarations

datadata ModBreaks

All the information about the source-relevant breakpoints for a module

This information is constructed once during desugaring (with mkModBreaks) from breakpoint ticks and fixed/unchanged from there on forward. It could be exported as an abstract datatype because it should never be updated after construction, only queried.

The arrays can be indexed using the int in the corresponding BreakpointId (i.e. the BreakpointId whose Module matches the Module corresponding to these ModBreaks) with the accessors modBreaks_locs, modBreaks_vars, and modBreaks_decls.

Constructors

ModBreaks
- modBreaks_locs_ :: !Array BreakTickIndex BinSrcSpan
  An array giving the source span of each breakpoint.
- modBreaks_vars :: !Array BreakTickIndex [OccName]
  An array giving the names of the free variables at each breakpoint.
- modBreaks_decls :: !Array BreakTickIndex [String]
  An array giving the names of the declarations enclosing each breakpoint. See Note [Field modBreaks_decls]
- modBreaks_ccs :: !Array BreakTickIndex (ShortByteString, ShortByteString)
  Array pointing to cost centre info for each breakpoint; actual CostCentre allocation is done at link-time.
- modBreaks_module :: !Module
  The module to which this ModBreaks is associated. We also cache this here for internal sanity checks.

Instances2NFData, Binary

NFData ModBreaksDefined in ghc-10.0.0.20260917 · GHC.HsToCore.Breakpoints.Types
Binary ModBreaksDefined in ghc-10.0.0.20260917 · GHC.HsToCore.Breakpoints.Types

valuemodBreaks_locs :: ModBreaks -> Array BreakTickIndex SrcSpan

Re-exports BreakpointId

datadata BreakpointId

Breakpoint identifier.

Indexes into the structures in the ModBreaks created during desugaring (after inserting the breakpoint ticks in the expressions). See Note [Breakpoint identifiers]

Constructors

BreakpointId
- bi_tick_mod :: !Module
  Breakpoint tick module
- bi_tick_index :: !BreakTickIndex
  Breakpoint tick index

Instances6Eq, Data, Ord, NFData, Outputable, Binary

Eq BreakpointIdDefined in ghc-10.0.0.20260917 · GHC.Types.Tickish
Data BreakpointIdDefined in ghc-10.0.0.20260917 · GHC.Types.Tickish
Ord BreakpointIdDefined in ghc-10.0.0.20260917 · GHC.Types.Tickish
NFData BreakpointIdDefined in ghc-10.0.0.20260917 · GHC.Types.Tickish
Outputable BreakpointIdDefined in ghc-10.0.0.20260917 · GHC.Types.Tickish
Binary BreakpointIdDefined in ghc-10.0.0.20260917 · GHC.Types.Tickish

typetype BreakTickIndex = Int

Breakpoint tick index newtype BreakTickIndex = BreakTickIndex Int deriving (Eq, Ord, Data, Ix, NFData, Outputable)