A build key with some missing info.
- Package names may be elided (replaced by
Name.anonymous
). - Facet names are unqualified (they do not include the input target kind) and may also be ellided.
- Module package targets are supported via a fake
packageTarget
with a target name ending inmoduleTargetIndicator
.
Equations
Instances For
Parses a PartialBuildKey
from a String
.
Uses the same syntax as the lake build
/ lake query
CLI.
Equations
Instances For
Equations
Instances For
Equations
Instances For
@[reducible, match_pattern, inline]
Equations
Instances For
@[reducible, match_pattern, inline]
Equations
Instances For
@[reducible, match_pattern, inline]
Equations
Instances For
@[reducible, match_pattern, inline]