Documentation

data StrDmd Source #

data UseDmd Source #

data Count Source #

type Demand = JointDmd ArgStr ArgUse Source #

type CleanDemand = JointDmd StrDmd UseDmd Source #

getStrDmd :: JointDmd s u -> s Source #

getUseDmd :: JointDmd s u -> u Source #

mkProdDmd :: [Demand] -> CleanDemand Source #

mkOnceUsedDmd :: CleanDemand -> Demand Source #

mkManyUsedDmd :: CleanDemand -> Demand Source #

mkHeadStrict :: CleanDemand -> CleanDemand Source #

oneifyDmd :: Demand -> Demand Source #

toCleanDmd :: Demand -> Type -> (DmdShell, CleanDemand) Source #

absDmd :: Demand Source #

topDmd :: Demand Source #

botDmd :: Demand Source #

seqDmd :: Demand Source #

lubDmd :: Demand -> Demand -> Demand Source #

bothDmd :: Demand -> Demand -> Demand Source #

lazyApply1Dmd :: Demand Source #

lazyApply2Dmd :: Demand Source #

strictApply1Dmd :: Demand Source #

catchArgDmd :: Demand Source #

isTopDmd :: Demand -> Bool Source #

isAbsDmd :: Demand -> Bool Source #

isSeqDmd :: Demand -> Bool Source #

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

cleanUseDmd_maybe :: Demand -> Maybe UseDmd Source #

strictenDmd :: Demand -> CleanDemand Source #

bothCleanDmd :: CleanDemand -> CleanDemand -> CleanDemand Source #

addCaseBndrDmd :: Demand -> [Demand] -> [Demand] Source #

data DmdType Source #

dmdTypeDepth :: DmdType -> Arity Source #

lubDmdType :: DmdType -> DmdType -> DmdType Source #

bothDmdType :: DmdType -> BothDmdArg -> DmdType Source #

nopDmdType :: DmdType Source #

botDmdType :: DmdType Source #

mkDmdType :: DmdEnv -> [Demand] -> DmdResult -> DmdType Source #

addDemand :: Demand -> DmdType -> DmdType Source #

removeDmdTyArgs :: DmdType -> DmdType Source #

type BothDmdArg = (DmdEnv, Termination ()) Source #

mkBothDmdArg :: DmdEnv -> BothDmdArg Source #

toBothDmdArg :: DmdType -> BothDmdArg Source #

type DmdEnv = VarEnv Demand Source #

emptyDmdEnv :: VarEnv Demand Source #

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

findIdDemand :: DmdType -> Var -> Demand Source #

type DmdResult = Termination CPRResult Source #

data CPRResult Source #

isBotRes :: DmdResult -> Bool Source #

isTopRes :: DmdResult -> Bool Source #

topRes :: DmdResult Source #

botRes :: DmdResult Source #

exnRes :: DmdResult Source #

cprProdRes :: [DmdType] -> DmdResult Source #

vanillaCprProdRes :: Arity -> DmdResult Source #

cprSumRes :: ConTag -> DmdResult Source #

appIsBottom :: StrictSig -> Int -> Bool Source #

isBottomingSig :: StrictSig -> Bool Source #

pprIfaceStrictSig :: StrictSig -> SDoc Source #

trimCPRInfo :: Bool -> Bool -> DmdResult -> DmdResult Source #

returnsCPR_maybe :: DmdResult -> Maybe ConTag Source #

newtype StrictSig Source #

mkStrictSig :: DmdType -> StrictSig Source #

mkClosedStrictSig :: [Demand] -> DmdResult -> StrictSig Source #

nopSig :: StrictSig Source #

botSig :: StrictSig Source #

exnSig :: StrictSig Source #

cprProdSig :: Arity -> StrictSig Source #

isTopSig :: StrictSig -> Bool Source #

hasDemandEnvSig :: StrictSig -> Bool Source #

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

strictSigDmdEnv :: StrictSig -> DmdEnv Source #

increaseStrictSigArity :: Int -> StrictSig -> StrictSig Source #

seqDemand :: Demand -> () Source #

seqDemandList :: [Demand] -> () Source #

seqDmdType :: DmdType -> () Source #

seqStrictSig :: StrictSig -> () Source #

evalDmd :: Demand Source #

cleanEvalDmd :: CleanDemand Source #

cleanEvalProdDmd :: Arity -> CleanDemand Source #

isStrictDmd :: Demand -> Bool Source #

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

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

deferAfterIO :: DmdType -> DmdType Source #

postProcessUnsat :: DmdShell -> DmdType -> DmdType Source #

postProcessDmdType :: DmdShell -> DmdType -> BothDmdArg Source #

splitProdDmd_maybe :: Demand -> Maybe [Demand] Source #

peelCallDmd :: CleanDemand -> (CleanDemand, DmdShell) Source #

mkCallDmd :: CleanDemand -> CleanDemand Source #

mkWorkerDemand :: Int -> Demand Source #

dmdTransformSig :: StrictSig -> CleanDemand -> DmdType Source #

dmdTransformDataConSig :: Arity -> StrictSig -> CleanDemand -> DmdType Source #

dmdTransformDictSelSig :: StrictSig -> CleanDemand -> DmdType Source #

argOneShots :: Demand -> [OneShotInfo] Source #

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

saturatedByOneShots :: Int -> Demand -> Bool Source #

trimToType :: Demand -> TypeShape -> Demand Source #

data TypeShape Source #

useCount :: Use u -> Count Source #

isUsedOnce :: Demand -> Bool Source #

reuseEnv :: DmdEnv -> DmdEnv Source #

killUsageDemand :: DynFlags -> Demand -> Demand Source #

killUsageSig :: DynFlags -> StrictSig -> StrictSig Source #

zapUsageDemand :: Demand -> Demand Source #

zapUsageEnvSig :: StrictSig -> StrictSig Source #

zapUsedOnceDemand :: Demand -> Demand Source #

zapUsedOnceSig :: StrictSig -> StrictSig Source #

strictifyDictDmd :: Type -> Demand -> Demand Source #