ghc-7.8.4: The GHC API

Safe HaskellNone
LanguageHaskell98

Demand

Documentation

data UseDmd Source

Constructors

UCall Count UseDmd 
UProd [MaybeUsed] 
UHead 
Used 

data Count Source

Constructors

One 
Many 

type Demand = JointDmd Source

mkProdDmd :: [JointDmd] -> CleanDemand Source

oneifyDmd :: JointDmd -> JointDmd Source

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

absDmd :: JointDmd Source

topDmd :: JointDmd Source

botDmd :: JointDmd Source

seqDmd :: JointDmd Source

lubDmd :: JointDmd -> JointDmd -> JointDmd Source

bothDmd :: JointDmd -> JointDmd -> JointDmd Source

isTopDmd :: JointDmd -> Bool Source

isBotDmd :: JointDmd -> Bool Source

isAbsDmd :: JointDmd -> Bool Source

isSeqDmd :: JointDmd -> Bool Source

type BothDmdArg = (DmdEnv, Termination ()) Source

type DmdResult = Termination CPRResult Source

seqDemand :: JointDmd -> () Source

seqDemandList :: [JointDmd] -> () Source

evalDmd :: JointDmd Source

postProcessUnsat :: DeferAndUse -> DmdType -> DmdType Source

splitProdDmd_maybe :: JointDmd -> Maybe [JointDmd] Source

isSingleUsed :: JointDmd -> Bool Source