Module build

Module build 

Source
Expand description

Given a compilation Plan, build all packages in the graph.

Structs§

BuildError
An error occurred while building according to a compilation plan.
BuildOptions
BuildPkgError
An error was produced while building a package.
BuiltContract
A successfully built contract package.
BuiltLibrary
A successfully built library package.
BuiltPredicate
An predicate built as a part of a contract.
PlanBuilder
A context that allows for iteratively compiling packages within a given compilation Plan.
PrebuiltPkg
A package that is ready to be built.
PredicateMetadata
An predicate built as a part of a contract.

Enums§

BuildPkgErrorKind
BuiltPkg
A successfully built package.
PintcError
WriteError
An error occurred while writing a built package’s output artifacts.

Functions§

build_plan
Given a compilation Plan, return a PlanBuilder that may be used to compile all packages within the graph.

Type Aliases§

BuiltPkgs
A mapping from the node index to the associated built package.