Documentation

Lake.Build.Index

The Lake Build Index #

The Lake build index is the complete map of Lake build keys to Lake build functions, which is used by Lake to build any Lake build info.

This module leverages the index to perform topologically-based recursive builds.

Recursive build function for anything in the Lake build index.

Equations
    Instances For

      Recursive build function with memoization.

      Equations
        Instances For
          @[inline]
          def Lake.FetchT.run {m : TypeType} {α : Type} (x : FetchT m α) :

          Run a recursive Lake build using the Lake build index and a topological / suspending scheduler.

          Equations
            Instances For