ghc-8.0.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

Demand

Documentation

data UseDmd #

Constructors

UCall Count UseDmd 
UProd [ArgUse] 
UHead 
Used 

data Count #

Constructors

One 
Many 

Instances

type Demand = JointDmd ArgStr ArgUse #

type CleanDemand = JointDmd StrDmd UseDmd #

getStrDmd :: JointDmd s u -> s #

getUseDmd :: JointDmd s u -> u #

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

type BothDmdArg = (DmdEnv, Termination ()) #

type DmdResult = Termination CPRResult #

seqDemand :: Demand -> () #

postProcessUnsat :: DmdShell -> DmdType -> DmdType #

useCount :: Use u -> Count #