Safe Haskell | None |
---|---|
Language | Haskell2010 |
GHC.Core.UsageEnv
Synopsis
- data UsageEnv
- addUsage :: Usage -> Usage -> Usage
- scaleUsage :: Mult -> Usage -> Usage
- zeroUE :: UsageEnv
- lookupUE :: NamedThing n => UsageEnv -> n -> Usage
- scaleUE :: Mult -> UsageEnv -> UsageEnv
- deleteUE :: NamedThing n => UsageEnv -> n -> UsageEnv
- addUE :: UsageEnv -> UsageEnv -> UsageEnv
- data Usage
- unitUE :: NamedThing n => n -> Mult -> UsageEnv
- bottomUE :: UsageEnv
- supUE :: UsageEnv -> UsageEnv -> UsageEnv
- supUEs :: [UsageEnv] -> UsageEnv
Documentation
scaleUsage :: Mult -> Usage -> Usage #
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|.
deleteUE :: NamedThing n => UsageEnv -> n -> UsageEnv #
unitUE :: NamedThing n => n -> Mult -> UsageEnv #