ghc-8.2.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

Demand

Synopsis

Documentation

type Demand = JointDmd ArgStr ArgUse Source #

type CleanDemand = JointDmd StrDmd UseDmd Source #

getStrDmd :: JointDmd s u -> s Source #

getUseDmd :: JointDmd s u -> u Source #

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

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

type DmdResult = Termination CPRResult Source #

useCount :: Use u -> Count Source #

zapUsedOnceDemand :: Demand -> Demand Source #

Remove all 1* information (but not C1 information) from the demand

zapUsedOnceSig :: StrictSig -> StrictSig Source #

Remove all 1* information (but not C1 information) from the strictness signature