| Safe Haskell | Safe-Infered |
|---|
StgCmmClosure
- type DynTag = Int
- tagForCon :: DataCon -> DynTag
- isSmallFamily :: Int -> Bool
- type ConTagZ = Int
- dataConTagZ :: DataCon -> ConTagZ
- isVoidRep :: PrimRep -> Bool
- isGcPtrRep :: PrimRep -> Bool
- addIdReps :: [Id] -> [(PrimRep, Id)]
- addArgReps :: [StgArg] -> [(PrimRep, StgArg)]
- argPrimRep :: StgArg -> PrimRep
- data LambdaFormInfo
- data StandardFormInfo
- mkLFThunk :: Type -> TopLevelFlag -> [Id] -> UpdateFlag -> LambdaFormInfo
- mkLFReEntrant :: TopLevelFlag -> [Id] -> [Id] -> ArgDescr -> LambdaFormInfo
- mkConLFInfo :: DataCon -> LambdaFormInfo
- mkSelectorLFInfo :: Id -> Int -> Bool -> LambdaFormInfo
- mkApLFInfo :: Id -> UpdateFlag -> Arity -> LambdaFormInfo
- mkLFImported :: Id -> LambdaFormInfo
- mkLFArgument :: Id -> LambdaFormInfo
- mkLFLetNoEscape :: LambdaFormInfo
- mkLFBlackHole :: LambdaFormInfo
- lfDynTag :: LambdaFormInfo -> DynTag
- maybeIsLFCon :: LambdaFormInfo -> Maybe DataCon
- isLFThunk :: LambdaFormInfo -> Bool
- isLFReEntrant :: LambdaFormInfo -> Bool
- lfUpdatable :: LambdaFormInfo -> Bool
- nodeMustPointToIt :: LambdaFormInfo -> Bool
- data CallMethod
- getCallMethod :: DynFlags -> Name -> CafInfo -> LambdaFormInfo -> Int -> CallMethod
- isKnownFun :: LambdaFormInfo -> Bool
- funTag :: ClosureInfo -> DynTag
- tagForArity :: Int -> DynTag
- data ClosureInfo
- mkClosureInfo :: Bool -> Id -> LambdaFormInfo -> Int -> Int -> C_SRT -> String -> ClosureInfo
- mkCmmInfo :: ClosureInfo -> CmmInfoTable
- closureLFInfo :: ClosureInfo -> LambdaFormInfo
- closureName :: ClosureInfo -> Name
- closureInfoLabel :: ClosureInfo -> CLabel
- staticClosureLabel :: Platform -> ClosureInfo -> CLabel
- closureRednCountsLabel :: Platform -> ClosureInfo -> CLabel
- closureSlowEntryLabel :: Platform -> ClosureInfo -> CLabel
- closureLocalEntryLabel :: Platform -> ClosureInfo -> CLabel
- closureUpdReqd :: ClosureInfo -> Bool
- closureSingleEntry :: ClosureInfo -> Bool
- closureReEntrant :: ClosureInfo -> Bool
- closureFunInfo :: ClosureInfo -> Maybe (Int, ArgDescr)
- isToplevClosure :: ClosureInfo -> Bool
- blackHoleOnEntry :: ClosureInfo -> Bool
- isStaticClosure :: ClosureInfo -> Bool
- mkDataConInfoTable :: DataCon -> Bool -> Int -> Int -> CmmInfoTable
- cafBlackHoleInfoTable :: CmmInfoTable
- staticClosureNeedsLink :: CmmInfoTable -> Bool
Documentation
isSmallFamily :: Int -> BoolSource
dataConTagZ :: DataCon -> ConTagZSource
isGcPtrRep :: PrimRep -> BoolSource
addArgReps :: [StgArg] -> [(PrimRep, StgArg)]Source
argPrimRep :: StgArg -> PrimRepSource
LambdaFormInfo
data LambdaFormInfo Source
data StandardFormInfo Source
mkLFThunk :: Type -> TopLevelFlag -> [Id] -> UpdateFlag -> LambdaFormInfoSource
mkLFReEntrant :: TopLevelFlag -> [Id] -> [Id] -> ArgDescr -> LambdaFormInfoSource
mkSelectorLFInfo :: Id -> Int -> Bool -> LambdaFormInfoSource
mkApLFInfo :: Id -> UpdateFlag -> Arity -> LambdaFormInfoSource
data CallMethod Source
getCallMethod :: DynFlags -> Name -> CafInfo -> LambdaFormInfo -> Int -> CallMethodSource
funTag :: ClosureInfo -> DynTagSource
tagForArity :: Int -> DynTagSource
ClosureInfo
data ClosureInfo Source
mkClosureInfo :: Bool -> Id -> LambdaFormInfo -> Int -> Int -> C_SRT -> String -> ClosureInfoSource
mkCmmInfo :: ClosureInfo -> CmmInfoTableSource
Convert from ClosureInfo to CmmInfoTable.
Inspection
closureName :: ClosureInfo -> NameSource
Labels
Predicates
closureFunInfo :: ClosureInfo -> Maybe (Int, ArgDescr)Source
InfoTables
mkDataConInfoTable :: DataCon -> Bool -> Int -> Int -> CmmInfoTableSource