Moduleghc-9.10.3GHC2021

GHC.Core.UsageEnv

2 types
12 values

Packageghc-9.10.3
Exports14
LanguageGHC2021
LicenceBSD-3-Clause
SourceUsageEnv.hs

datadata Usage

Constructors

Zero
Bottom
MUsage Mult

Instances1Outputable

Outputable UsageDefined in ghc-9.10.3 · GHC.Core.UsageEnv

datadata UsageEnv

Instances1Outputable

Outputable UsageEnvDefined in ghc-9.10.3 · 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

|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 :: [UsageEnv] -> UsageEnv

valuesingleUsageUE :: Id -> UsageEnv

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