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.

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

    The PackageFacetConfig for the builtin transDepsFacet.

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

      The PackageFacetConfig for the builtin optBuildCacheFacet.

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

        The PackageFacetConfig for the builtin dynlibFacet.

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

          The PackageFacetConfig for the builtin buildCacheFacet.

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

            The PackageFacetConfig for the builtin optReservoirBarrelFacet.

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

              The PackageFacetConfig for the builtin reservoirBarrelFacet.

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

                The PackageFacetConfig for the builtin optGitHubReleaseFacet.

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

                  The PackageFacetConfig for the builtin gitHubReleaseFacet.

                  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).

                    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).

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

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

                        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).

                          Instances For