GHC.Core.UsageEnv

Documentation

data Usage

Constructors

Zero

Bottom

MUsage Mult

Instances

Outputable Usage

Defined in GHC.Core.UsageEnv

Methods

ppr :: Usage -> SDoc

data UsageEnv

Instances

Outputable UsageEnv

Defined in GHC.Core.UsageEnv

Methods

ppr :: UsageEnv -> SDoc

addUE :: UsageEnv -> UsageEnv -> UsageEnv

addUsage :: Usage -> Usage -> Usage

bottomUE :: UsageEnv

deleteUE :: NamedThing n => UsageEnv -> n -> UsageEnv

lookupUE :: NamedThing n => UsageEnv -> n -> Usage

|lookupUE x env| returns the multiplicity assigned to |x| in |env|, if |x| is not bound in |env|, then returns |Zero| or |Bottom|.

scaleUE :: Mult -> UsageEnv -> UsageEnv

scaleUsage :: Mult -> Usage -> Usage

supUE :: UsageEnv -> UsageEnv -> UsageEnv

supUEs :: [UsageEnv] -> UsageEnv

unitUE :: NamedThing n => n -> Mult -> UsageEnv

zeroUE :: UsageEnv