Documentation

Lake.DSL.Config

A dummy default constant for __dir__ to make it type check outside Lakefile elaboration (e.g., when editing).

A dummy default constant for get_config to make it type check outside Lakefile elaboration (e.g., when editing).

A macro that expands to the path of package's directory during the Lakefile's elaboration.

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

      A macro that expands to the specified configuration option (or none, if not the option has not been set) during the Lakefile's elaboration.

      Configuration arguments are set either via the Lake CLI (by the -K option) or via the with clause in a require statement.

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