Documentation

data Demand Source

topDmd, errDmd, evalDmd, seqDmd, lazyDmd :: DemandSource

isStrictDmd :: Demand -> BoolSource

isTop :: Demand -> BoolSource

isAbsent :: Demand -> BoolSource

seqDemand :: Demand -> ()Source

data DmdType Source

topDmdType, botDmdType :: DmdTypeSource

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

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

dmdTypeDepth :: DmdType -> AritySource

seqDmdType :: DmdType -> ()Source

type DmdEnv = VarEnv DemandSource

emptyDmdEnv :: VarEnv DemandSource

data DmdResult Source

retCPR :: DmdResultSource

isBotRes :: DmdResult -> BoolSource

returnsCPR :: DmdResult -> BoolSource

resTypeArgDmd :: DmdResult -> DemandSource

data Demands Source

mapDmds :: (Demand -> Demand) -> Demands -> DemandsSource

zipWithDmds :: (Demand -> Demand -> Demand) -> Demands -> Demands -> DemandsSource

allTop :: Demands -> BoolSource

seqDemands :: Demands -> ()Source

newtype StrictSig Source

mkStrictSig :: DmdType -> StrictSigSource

topSig, cprSig, botSig :: StrictSigSource

isTopSig :: StrictSig -> BoolSource

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

increaseStrictSigArity :: Int -> StrictSig -> StrictSigSource

pprIfaceStrictSig :: StrictSig -> SDocSource

appIsBottom :: StrictSig -> Int -> BoolSource

isBottomingSig :: StrictSig -> BoolSource

seqStrictSig :: StrictSig -> ()Source