Documentation

Lake.Build.Package

Package Facet Builds #

Build function definitions for a package's builtin facets.

source
def Lake.Package.depsFacetConfig :
PackageFacetConfig depsFacet

The PackageFacetConfig for the builtin depsFacet.

Equations
    Instances For
      source
      def Lake.Package.transDepsFacetConfig :
      PackageFacetConfig transDepsFacet

      The PackageFacetConfig for the builtin transDepsFacet.

      Equations
        Instances For
          source
          def Lake.Package.optBuildCacheFacetConfig :
          PackageFacetConfig optBuildCacheFacet

          The PackageFacetConfig for the builtin optBuildCacheFacet.

          Equations
            Instances For
              source
              def Lake.Package.extraDepFacetConfig :
              PackageFacetConfig extraDepFacet

              The PackageFacetConfig for the builtin dynlibFacet.

              Equations
                Instances For
                  source
                  def Lake.Package.buildCacheFacetConfig :
                  PackageFacetConfig buildCacheFacet

                  The PackageFacetConfig for the builtin buildCacheFacet.

                  Equations
                    Instances For
                      source
                      def Lake.Package.optBarrelFacetConfig :
                      PackageFacetConfig optReservoirBarrelFacet

                      The PackageFacetConfig for the builtin optReservoirBarrelFacet.

                      Equations
                        Instances For
                          source
                          def Lake.Package.barrelFacetConfig :
                          PackageFacetConfig reservoirBarrelFacet

                          The PackageFacetConfig for the builtin reservoirBarrelFacet.

                          Equations
                            Instances For
                              source
                              def Lake.Package.optGitHubReleaseFacetConfig :
                              PackageFacetConfig optGitHubReleaseFacet

                              The PackageFacetConfig for the builtin optGitHubReleaseFacet.

                              Equations
                                Instances For
                                  source
                                  def Lake.Package.gitHubReleaseFacetConfig :
                                  PackageFacetConfig gitHubReleaseFacet

                                  The PackageFacetConfig for the builtin gitHubReleaseFacet.

                                  Equations
                                    Instances For
                                      source
                                      def Lake.Package.afterBuildCacheAsync {α : Type} (self : Package) (build : JobM (Job α)) :
                                      FetchM (Job α)

                                      Perform a build job after first checking for an (optional) cached build for the package (e.g., from Reservoir or GitHub).

                                      Equations
                                        Instances For
                                          source
                                          def Lake.Package.afterBuildCacheSync {α : Type} (self : Package) (build : JobM α) :
                                          FetchM (Job α)

                                          Perform a build after first checking for an (optional) cached build for the package (e.g., from Reservoir or GitHub).

                                          Equations
                                            Instances For
                                              source
                                              def Lake.Package.initFacetConfigs :
                                              DNameMap PackageFacetConfig

                                              A name-configuration map for the initial set of Lake package facets (e.g., extraDep).

                                              Equations
                                                Instances For
                                                  source
                                                  @[reducible, inline]
                                                  abbrev Lake.initPackageFacetConfigs :
                                                  DNameMap PackageFacetConfig

                                                  A name-configuration map for the initial set of Lake package facets (e.g., extraDep).

                                                  Equations
                                                    Instances For