Documentation

Lake.Build.Store

The Lake Build Store #

The Lake build store is the map of Lake build keys to build task and/or build results that is slowly filled during a recursive build (e.g., via topological-based build of an initial key's dependencies).

@[inline, reducible]
abbrev Lake.MonadBuildStore (m : TypeType u_1) :
Type u_1

A monad equipped with a Lake build store.

Equations
Instances For
    @[inline, reducible]

    The type of the Lake build store.

    Equations
    Instances For
      @[inline]
      Equations
      Instances For

        Derive an array of built module facets from the store.

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For

          Derive a map of module names to built facets from the store.

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For

            Derive an array of built package facets from the store.

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For

              Derive an array of built target facets from the store.

              Equations
              • One or more equations did not get rendered due to their size.
              Instances For

                Derive an array of built external shared libraries from the store.

                Equations
                Instances For