Safe Haskell	None
Language	GHC2021

GHC.Core.LateCC.Types

Description

Types related to late cost center insertion

Synopsis

data LateCCConfig = LateCCConfig {
- lateCCConfig_whichBinds :: !LateCCBindSpec
- lateCCConfig_overloadedCalls :: !Bool
- lateCCConfig_env :: !LateCCEnv
}
data LateCCBindSpec
- = LateCCNone
- | LateCCBinds
- | LateCCOverloadedBinds
data LateCCEnv = LateCCEnv {
- lateCCEnv_module :: !Module
- lateCCEnv_file :: Maybe FastString
- lateCCEnv_countEntries :: !Bool
- lateCCEnv_collectCCs :: !Bool
}
data LateCCState s = LateCCState {
- lateCCState_ccs :: !(Set CostCentre)
- lateCCState_ccState :: !CostCentreState
- lateCCState_extra :: !s
}
initLateCCState :: s -> LateCCState s
type LateCCM s = ReaderT LateCCEnv (State (LateCCState s))

Documentation

data LateCCConfig Source #

Late cost center insertion configuration.

Specifies whether cost centers are added to overloaded function call sites and/or top-level bindings, and which top-level bindings they are added to. Also holds the cost center insertion environment.

Constructors

LateCCConfig
Fields lateCCConfig_whichBinds :: !LateCCBindSpec lateCCConfig_overloadedCalls :: !Bool lateCCConfig_env :: !LateCCEnv

data LateCCBindSpec Source #

The types of top-level bindings we support adding cost centers to.

Constructors

LateCCNone
LateCCBinds
LateCCOverloadedBinds

data LateCCEnv Source #

Late cost centre insertion environment

Constructors

LateCCEnv
Fields lateCCEnv_module :: !Module Current module lateCCEnv_file :: Maybe FastString Current file, if we have one lateCCEnv_countEntries :: !Bool Whether the inserted cost centers should count entries lateCCEnv_collectCCs :: !Bool Whether to collect the cost centres we insert. See Note [Collecting late cost centres]

data LateCCState s Source #

Late cost centre insertion state, indexed by some extra state type that an insertion method may require.

Constructors

LateCCState
Fields lateCCState_ccs :: !(Set CostCentre) Cost centres that have been inserted lateCCState_ccState :: !CostCentreState Per-module state tracking for cost centre indices lateCCState_extra :: !s

initLateCCState :: s -> LateCCState s Source #

The empty late cost centre insertion state

type LateCCM s = ReaderT LateCCEnv (State (LateCCState s)) Source #

Late cost centre insertion monad