Documentation

Lake.Build.InputFile

← Copula mathematical handbook

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