Documentation

data StrDmdSource

data UseDmdSource

data CountSource

countOnce :: CountSource

countMany :: CountSource

type Demand = JointDmdSource

data CleanDemandSource

mkProdDmd :: [JointDmd] -> CleanDemandSource

mkOnceUsedDmd :: CleanDemand -> JointDmdSource

mkManyUsedDmd :: CleanDemand -> JointDmdSource

mkHeadStrict :: CleanDemand -> CleanDemandSource

oneifyDmd :: JointDmd -> JointDmdSource

getUsage :: CleanDemand -> UseDmdSource

toCleanDmd :: Demand -> (CleanDemand, DeferAndUseM)Source

absDmd :: JointDmdSource

topDmd :: JointDmdSource

botDmd :: JointDmdSource

seqDmd :: JointDmdSource

lubDmd :: JointDmd -> JointDmd -> JointDmdSource

bothDmd :: JointDmd -> JointDmd -> JointDmdSource

apply1Dmd :: DemandSource

apply2Dmd :: DemandSource

isTopDmd :: JointDmd -> BoolSource

isBotDmd :: JointDmd -> BoolSource

isAbsDmd :: JointDmd -> BoolSource

isSeqDmd :: JointDmd -> BoolSource

peelUseCall :: UseDmd -> Maybe (Count, UseDmd)Source

cleanUseDmd_maybe :: JointDmd -> Maybe UseDmdSource

strictenDmd :: JointDmd -> CleanDemandSource

bothCleanDmd :: CleanDemand -> CleanDemand -> CleanDemandSource

data DmdTypeSource

dmdTypeDepth :: DmdType -> AritySource

lubDmdType :: DmdType -> DmdType -> DmdTypeSource

bothDmdType :: DmdType -> BothDmdArg -> DmdTypeSource

nopDmdType :: DmdTypeSource

botDmdType :: DmdTypeSource

mkDmdType :: DmdEnv -> [Demand] -> DmdResult -> DmdTypeSource

addDemand :: Demand -> DmdType -> DmdTypeSource

removeDmdTyArgs :: DmdType -> DmdTypeSource

type BothDmdArg = (DmdEnv, Termination ())Source

mkBothDmdArg :: DmdEnv -> BothDmdArgSource

toBothDmdArg :: DmdType -> BothDmdArgSource

type DmdEnv = VarEnv DemandSource

emptyDmdEnv :: VarEnv DemandSource

peelFV :: DmdType -> Var -> (DmdType, Demand)Source

type DmdResult = Termination CPRResultSource

data CPRResultSource

isBotRes :: DmdResult -> BoolSource

isTopRes :: DmdResult -> BoolSource

topRes :: DmdResultSource

botRes :: DmdResultSource

cprProdRes :: [DmdType] -> DmdResultSource

vanillaCprProdRes :: Arity -> DmdResultSource

cprSumRes :: ConTag -> DmdResultSource

appIsBottom :: StrictSig -> Int -> BoolSource

isBottomingSig :: StrictSig -> BoolSource

pprIfaceStrictSig :: StrictSig -> SDocSource

trimCPRInfo :: Bool -> Bool -> DmdResult -> DmdResultSource

returnsCPR_maybe :: DmdResult -> Maybe ConTagSource

newtype StrictSigSource

mkStrictSig :: DmdType -> StrictSigSource

mkClosedStrictSig :: [Demand] -> DmdResult -> StrictSigSource

nopSig :: StrictSigSource

botSig :: StrictSigSource

cprProdSig :: Arity -> StrictSigSource

isNopSig :: StrictSig -> BoolSource

splitStrictSig :: StrictSig -> ([Demand], DmdResult)Source

increaseStrictSigArity :: Int -> StrictSig -> StrictSigSource

seqDemand :: JointDmd -> ()Source

seqDemandList :: [JointDmd] -> ()Source

seqDmdType :: DmdType -> ()Source

seqStrictSig :: StrictSig -> ()Source

evalDmd :: JointDmdSource

cleanEvalDmd :: CleanDemandSource

cleanEvalProdDmd :: Arity -> CleanDemandSource

isStrictDmd :: Demand -> BoolSource

splitDmdTy :: DmdType -> (Demand, DmdType)Source

splitFVs :: Bool -> DmdEnv -> (DmdEnv, DmdEnv)Source

deferAfterIO :: DmdType -> DmdTypeSource

postProcessUnsat :: DeferAndUse -> DmdType -> DmdTypeSource

postProcessDmdTypeM :: DeferAndUseM -> DmdType -> BothDmdArgSource

splitProdDmd :: Arity -> JointDmd -> [JointDmd]Source

splitProdDmd_maybe :: JointDmd -> Maybe [JointDmd]Source

peelCallDmd :: CleanDemand -> (CleanDemand, DeferAndUse)Source

mkCallDmd :: CleanDemand -> CleanDemandSource

dmdTransformSig :: StrictSig -> CleanDemand -> DmdTypeSource

dmdTransformDataConSig :: Arity -> StrictSig -> CleanDemand -> DmdTypeSource

dmdTransformDictSelSig :: StrictSig -> CleanDemand -> DmdTypeSource

argOneShots :: OneShotInfo -> JointDmd -> [OneShotInfo]Source

argsOneShots :: StrictSig -> Arity -> [[OneShotInfo]]Source

isSingleUsed :: JointDmd -> BoolSource

reuseEnv :: DmdEnv -> DmdEnvSource

zapDemand :: DynFlags -> Demand -> DemandSource

zapStrictSig :: DynFlags -> StrictSig -> StrictSigSource

strictifyDictDmd :: Type -> Demand -> DemandSource