Documentation

data StrDmd Source

data UseDmd Source

data Count Source

countOnce :: CountSource

countMany :: CountSource

type Demand = JointDmdSource

data CleanDemand Source

mkProdDmd :: [JointDmd] -> CleanDemandSource

mkOnceUsedDmd :: CleanDemand -> JointDmdSource

mkManyUsedDmd :: CleanDemand -> JointDmdSource

mkHeadStrict :: CleanDemand -> CleanDemandSource

oneifyDmd :: JointDmd -> JointDmdSource

getUsage :: CleanDemand -> UseDmdSource

toCleanDmd :: (CleanDemand -> e -> (DmdType, e)) -> Demand -> e -> (DmdType, e)Source

absDmd :: JointDmdSource

topDmd :: JointDmdSource

botDmd :: JointDmdSource

seqDmd :: JointDmdSource

lubDmd :: JointDmd -> JointDmd -> JointDmdSource

bothDmd :: JointDmd -> JointDmd -> JointDmdSource

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 DmdType Source

dmdTypeDepth :: DmdType -> AritySource

lubDmdType :: DmdType -> DmdType -> DmdTypeSource

bothDmdEnv :: DmdEnv -> DmdEnv -> DmdEnvSource

bothDmdType :: DmdType -> DmdType -> DmdTypeSource

topDmdType :: DmdTypeSource

botDmdType :: DmdTypeSource

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

mkTopDmdType :: [Demand] -> DmdResult -> DmdTypeSource

type DmdEnv = VarEnv DemandSource

emptyDmdEnv :: VarEnv DemandSource

type DmdResult = CPRResultSource

data CPRResult Source

isBotRes :: DmdResult -> BoolSource

isTopRes :: DmdResult -> BoolSource

resTypeArgDmd :: DmdResult -> JointDmdSource

topRes :: DmdResultSource

botRes :: DmdResultSource

cprProdRes :: DmdResultSource

cprSumRes :: ConTag -> DmdResultSource

appIsBottom :: StrictSig -> Int -> BoolSource

isBottomingSig :: StrictSig -> BoolSource

pprIfaceStrictSig :: StrictSig -> SDocSource

returnsCPR :: DmdResult -> BoolSource

returnsCPRProd :: DmdResult -> BoolSource

returnsCPR_maybe :: DmdResult -> Maybe ConTagSource

newtype StrictSig Source

mkStrictSig :: DmdType -> StrictSigSource

topSig :: StrictSigSource

botSig :: StrictSigSource

cprProdSig :: StrictSigSource

isTopSig :: 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

deferDmd :: JointDmd -> JointDmdSource

deferType :: DmdType -> DmdTypeSource

deferAndUse :: Bool -> Count -> DmdType -> DmdTypeSource

deferEnv :: DmdEnv -> DmdEnvSource

modifyEnv :: Bool -> (Demand -> Demand) -> DmdEnv -> DmdEnv -> DmdEnv -> DmdEnvSource

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

splitProdDmd_maybe :: JointDmd -> Maybe [JointDmd]Source

peelCallDmd :: CleanDemand -> (CleanDemand, Bool, Count)Source

mkCallDmd :: CleanDemand -> CleanDemandSource

dmdTransformSig :: StrictSig -> CleanDemand -> DmdTypeSource

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

argOneShots :: JointDmd -> [Bool]Source

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

isSingleUsed :: JointDmd -> BoolSource

useType :: DmdType -> DmdTypeSource

useEnv :: DmdEnv -> DmdEnvSource

zapDemand :: DynFlags -> Demand -> DemandSource

zapStrictSig :: DynFlags -> StrictSig -> StrictSigSource

worthSplittingFun :: [JointDmd] -> DmdResult -> BoolSource

worthSplittingThunk :: JointDmd -> DmdResult -> BoolSource