- build : ι → Lake.IndexBuildM (DataFam name)
The facet's build (function).
- getJob? : Option (DataFam name → Lake.BuildJob Unit)
Does this facet produce an associated asynchronous job?
A facet's declarative configuration.
Instances For
@[inline, reducible]
abbrev
Lake.FacetConfig.name
{DataFam : Lake.Name → Type}
{ι : Type}
{name : Lake.Name}
:
Lake.FacetConfig DataFam ι name → Lake.Name
Instances For
@[inline]
def
Lake.mkFacetConfig
{ι : Type}
{α : Type}
{Fam : Lake.Name → Type}
{facet : Lake.Name}
(build : ι → Lake.IndexBuildM α)
[h : Lake.FamilyOut Fam facet α]
:
Lake.FacetConfig Fam ι facet
A smart constructor for facet configurations that are not known to generate targets.
Instances For
@[inline]
def
Lake.mkFacetJobConfigSmall
{ι : Type}
{α : Type}
{Fam : Lake.Name → Type}
{facet : Lake.Name}
(build : ι → Lake.IndexBuildM (Lake.BuildJob α))
[h : Lake.FamilyOut Fam facet (Lake.BuildJob α)]
:
Lake.FacetConfig Fam ι facet
A smart constructor for facet configurations that generate jobs for the CLI. This is for small jobs that do not the increase the progress counter.
Instances For
@[inline]
def
Lake.mkFacetJobConfig
{ι : Type}
{α : Type}
{Fam : Lake.Name → Type}
{facet : Lake.Name}
(build : ι → Lake.IndexBuildM (Lake.BuildJob α))
[Lake.FamilyOut Fam facet (Lake.BuildJob α)]
:
Lake.FacetConfig Fam ι facet
A smart constructor for facet configurations that generate jobs for the CLI.
Instances For
@[inline, reducible]
A module facet's declarative configuration.
Instances For
@[inline, reducible]
A module facet declaration from a configuration file.
Instances For
@[inline, reducible]
A package facet's declarative configuration.
Instances For
@[inline, reducible]
A package facet declaration from a configuration file.
Instances For
@[inline, reducible]
A library facet's declarative configuration.
Instances For
@[inline, reducible]
A library facet declaration from a configuration file.