Occurrence Name

In this context that means: "classified (i.e. as a type name, value name, etc) but not qualified and not yet resolved"

Mangle field names to avoid duplicate symbols.

See Note [Mangling OccNames].

Other names in the compiler add additional information to an OccName. This class provides a consistent way to access the underlying OccName.

Test for definitions internally generated by GHC. This predicate is used to suppress printing of internal definitions in some debug prints

Is an OccName one of a Typeable TyCon or Module binding? This is needed as these bindings are renamed differently. See Note [Grand plan for Typeable] in GHC.Tc.Instance.Typeable.

Derive a name for the representation type constructor of a data/newtype instance.

Test if the OccName is a data constructor that starts with a symbol (e.g. :, or [])

Test if the OccName is that for any operator (whether it is a data constructor or variable or whatever)

Value OccNamess are those that are either in the variable, field name or data constructor namespaces

Wrap parens around an operator

Haskell 98 encourages compilers to suppress warnings about unused names in a pattern if they start with _: this implements that test

Is this a term variable or field name namespace?

A map keyed on OccName. See Note [OccEnv].

The empty OccEnv.

A singleton OccEnv.

Add a single element to an OccEnv.

Map over an OccEnv (Functor instance).

Map over an OccEnv strictly.

mapMaybe for b OccEnv.

Look an element up in an OccEnv.

Lookup an element in an OccEnv, ignoring NameSpaces entirely.

Lookup an element in an OccEnv, looking in the record field namespace for a variable.

Look up all the record fields that match with the given FastString in an OccEnv.

Create an OccEnv from a list.

OccNames later on in the list override earlier OccNames.

Create an OccEnv from a list, combining different values with the same OccName using the combining function.

Extend an OccEnv by a list.

OccNames later on in the list override earlier OccNames.

Compute whether there is a value keyed by the given OccName.

Obtain the elements of an OccEnv.

The resulting order is non-deterministic.

Fold over an OccEnv. Non-deterministic, unless the folding function is commutative (i.e. a1 f ( a2 f b ) == a2 f ( a1 f b ) for all a1, a2, b).

Union of two OccEnvs, right-biased.

Union of two OccEnvs with a combining function.

Add a single element to an OccEnv, using a different function whether the OccName already exists or not.

Filter out all elements in an OccEnv using a predicate.

Delete multiple elements from an OccEnv.

Delete one element from an OccEnv.

Alter an OccEnv, adding or removing an element at the given key.

Remove elements of the first OccEnv that appear in the second OccEnv.

Alters (replaces or removes) those elements of the first OccEnv that are mentioned in the second OccEnv.

Same idea as differenceWith.

Force an OccEnv with the provided function.

A non-deterministic set of FastStrings. See Note [Deterministic UniqFM] in GHC.Types.Unique.DFM for explanation why it's not deterministic and why it matters. Use DFastStringEnv if the set eventually gets converted into a list or folded over in a way where the order changes the generated code.