Resolved Module Name
A ResolvedModuleName represents the canonical name of an Avail module that has been resolved to an absolute file reference.
Author
Todd L Smith
Richard Arriaga
Parameters
The just-resolved module name.
The ModuleRoots with which to look up the module.
The ResolverReference for the module.
Whether module resolution followed a renaming rule.
Properties
true iff the resolved module name represents a package, false otherwise.
The size, in bytes, of the module. If the source module is available, then the size of the source module is used; otherwise, the size of the compiled module is used.
The fully-qualified package name of the ModuleName.
The fully-qualified module name.
The resolved repository.
The ResolverReference for the module.
The lazily-initialized root-relative ModuleName. This is the fully-qualified name minus the rootName.