Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Core.UsageEnv

Synopsis

data Usage
data UsageEnv
value addUE
value addUsage
value bottomUE
value deleteUE
value lookupUE
value popUE
value scaleUE
value scaleUsage
value supUE
value supUEs
value singleUsageUE
value zeroUE

Packageghc-lib-parser-9.14.1.20251220
Exports14
LanguageGHC2021
LicenceBSD-3-Clause
SourceUsageEnv.hs

datadata Usage

Constructors

Zero
Bottom
MUsage Mult

Instances1Outputable

Outputable UsageDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.UsageEnv

datadata UsageEnv

Instances1Outputable

Outputable UsageEnvDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.UsageEnv

valueaddUE :: UsageEnv -> UsageEnv -> UsageEnv

valueaddUsage :: Usage -> Usage -> Usage

valuebottomUE :: UsageEnv

valuedeleteUE :: NamedThing n => UsageEnv -> n -> UsageEnv

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

Source#

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

valuepopUE :: NamedThing n => UsageEnv -> n -> (Usage, UsageEnv)

valuescaleUE :: Mult -> UsageEnv -> UsageEnv

valuescaleUsage :: Mult -> Usage -> Usage

valuesupUE :: UsageEnv -> UsageEnv -> UsageEnv

valuesupUEs :: Foldable f => f UsageEnv -> UsageEnv

valuesingleUsageUE :: Id -> UsageEnv

Source#

Record a single usage of an Id, i.e. {n: 1} Exception: We do not record external names (both GlobalIds and top-level LocalIds) because they're not relevant to linearity checking.

valuezeroUE :: UsageEnv