A unique, unambiguous name for something, containing information about where that thing originated.

BuiltInSyntax is for things like (:), [] and tuples, which have special syntactic forms. They aren't in scope as such.

Create a name brought into being by the compiler

Create a name which is (for now at least) local to the current module and hence does not need a Module to disambiguate it from other Names

Make a name for a foreign call

Create a name which definitely originates in the given module

Create a name which is actually defined by the compiler itself

Make the Name into an internal name, regardless of what it was to begin with

Print fully qualified name (with unit-id and module, but no unique)

Print a ticky ticky styled name

Module argument is the module to use for internal and system names. When printing the name in a ticky profile, the module name is included even for local things. However, ticky uses the format "x (M)" rather than "M.x". Hence, this function provides a separation from normal styling.

Will the Name come from a dynamically linked package?

This matches a datacon as well as its worker and promoted tycon.

Returns True if the name is (a) Internal (b) External but from the specified module (c) External but from the interactive package

The key idea is that False means: the entity is defined in some other module you can find the details (type, fixity, instances) in some interface file those details will be stored in the EPT or HPT

True means: the entity is defined in this module or earlier in the GHCi session you can find details (type, fixity, instances) in the TcGblEnv or TcLclEnv

The isInteractiveModule part is because successive interactions of a GHCi session each give rise to a fresh module (Ghci1, Ghci2, etc), but they all come from the magic interactive package; and all the details are kept in the TcLclEnv, TcGblEnv, NOT in the HPT or EPT. See Note [The interactive package] in GHC.Runtime.Context

Returns True if the name is external or from the interactive package See documentation of nameIsLocalOrFrom function

Returns True if the Name comes from some other package: neither this package nor the interactive package.

Compare Names lexicographically This only works for Names that originate in the source code or have been tidied.

A class allowing convenient access to the Name of various datatypes

Print the string of Name unqualifiedly directly.

Get a string representation of a Name that's unique and stable across recompilations. Used for deterministic generation of binds for derived instances. eg. "$aeson_70dylHtv1FFGeai1IoxcQr$Data.Aeson.Types.Internal$String"