Given a possibly on-the-fly instantiated module, split it into a Module that we definitely can find on-disk, as well as an instantiation if we need to instantiate it on the fly. If the instantiation is Nothing no on-the-fly renaming is needed.

Return the unit-id this unit is an instance of and the module instantiations (if any).

Remove instantiations of the given instantiated unit

Remove instantiations of the given module instantiated unit

Create a hole Module

Test if a Module is not instantiated

This gives a stable ordering, as opposed to the Ord instance which gives an ordering based on the Uniques of the components, which may not be stable from run to run of the compiler.

Get a string representation of a Module that's unique and stable across recompilations. eg. "$aeson_70dylHtv1FFGeai1IoxcQr$Data.Aeson.Types.Internal"

A Module is definite if it has no free holes.

Test if a Module corresponds to a given InstalledModule, modulo instantiation.