A facet's declarative configuration.
- kind : Lean.Name
The facet kind (i.e., the kind of targets that support this facet).
The facet's fetch function.
- outKind : OptDataKind (FacetOut name)
The optional data kind of the facet's output.
- buildable : Bool
Is this facet compatible with the
lake build
CLI? Format this facet's output (e.g., for
lake query
).- memoize : Bool
Whether the fetch of this facet should be cached in the Lake build store.
Instances For
Instances For
- outKind : OptDataKind (FacetOut name)
Instances For
Instances For
Equations
Instances For
Run the facet configuration's fetch function.
Instances For
A smart constructor for facet configurations that generate jobs for the CLI.
Equations
- One or more equations did not get rendered due to their size.
Instances For
A module facet's declarative configuration.
Instances For
A module facet declaration from a configuration file.
Instances For
A package facet's declarative configuration.
Instances For
A package facet declaration from a configuration file.
Instances For
A library facet's declarative configuration.
Instances For
A library facet declaration from a configuration file.
Instances For
A library facet's declarative configuration.
Instances For
A Lean executable facet's declarative configuration.
Instances For
An external library facet's declarative configuration.