Identifies a possibly nested module

Compute a common prefix between two module paths, if any. This is basically "anti-unification" of the two paths, where we compute the longest common prefix, and the remaining differences for each module.

Does the first module path contain the second? This returns true if the paths are the same.

Top-level Module names are just text.

Make a normal module name out of text. This function should not be used to build a Main module name. See mainModName.

Break up a module name on the separators, String version

Break up a module name on the separators, Text version. For the main module this will forget the filename that corresponds to this module and will only report [Main]

Change a normal module name to a module name to be used for an anonnymous argument. The first two ints are the line and column of the name, which are used for name disambiguation.

Change a normal module name to a module name to be used for an anonnymous interface.

This is used when we check that the name of a module matches the file where it is defined.

This is useful when we want to hide anonymous modules.

The type of identifiers. * The boolean flag indicates whether or not they're infix operators. The boolean is present just as cached information from the lexer, and never used during comparisons. * The MaybeAnon indicates if this is an anonymous name

Make a normal (i.e., not anonymous) identifier

Make a normal (i.e., not anonymous) identifier

Make a normal (i.e., not anonymous) identifier

Is this an ident for an anonymous module interface (i.e., a parameter block)?

Make an anonymous identifier for the module corresponding to a `where` block in a functor instantiation. The two ints are the line and column of the definition site.

Make an anonymous identifier for the interface corresponding to a parameter declaration.

Make an anonymous identifier for an instantiation in an import. The two ints are the line and column of the definition site.

Namespaces for names

Identifies an entitiy

Describes where a top-level name came from

Returns true iff the ogSource of the given OrigName is FromModParam

A way to identify primitives: we used to use just Ident, but this isn't good anymore as now we have primitives in multiple modules. This is used as a key when we need to lookup details about a specific primitive. Also, this is intended to mostly be used internally, so we don't store the fixity flag of the Ident

A shortcut to make (non-infix) primitives in the prelude.