ghc-8.0.0.20160204: 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