Resolved Module Name
A ResolvedModuleName represents the canonical name of an Avail module that has been resolved to an absolutefile reference.
Author
Todd L Smith
Richard Arriaga
Parameters
qualified Name
The just-resolved module name.
module Roots
The ModuleRoots with which to look up the module.
resolver Reference
The ResolverReference for the module.
is Rename
Whether module resolution followed a renaming rule.
Functions
Properties
Link copied to clipboard
true iff the resolved module name represents a package, false otherwise.
Link copied to clipboard
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.
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
The ResolverReference for the module.
Link copied to clipboard
The lazily-initialized root-relative ModuleName. This is the fully-qualified name minus the rootName.