Documentation

Lake.Build.InputFile

Input File Build #

Build function definitions for input files and directories.

Input File #

source
def Lake.InputFile.defaultFacetConfig :
KFacetConfig facetKind defaultFacet

The facet configuration for the builtin ExternLib.staticFacet.

Equations
    Instances For
      source
      def Lake.InputFile.initFacetConfigs :
      DNameMap (KFacetConfig facetKind)

      A name-configuration map for the initial set of input file facets (e.g., default).

      Equations
        Instances For

          Input Directory #

          source
          def Lake.InputDir.defaultFacetConfig :
          KFacetConfig facetKind defaultFacet

          The facet configuration for the builtin ExternLib.staticFacet.

          Equations
            Instances For
              source
              def Lake.InputDir.initFacetConfigs :
              DNameMap (KFacetConfig facetKind)

              A name-configuration map for the initial set of input directory facets (e.g., default).

              Equations
                Instances For