Documentation

Lake.Config.Script

@[inline, reducible]
abbrev Lake.ScriptM (α : Type) :

The type of a Script's monad. IO equipped information about the Lake configuration.

Equations
Instances For
    @[inline, reducible]

    The type of a Script's function. Similar to the main function's signature, except that its monad is also equipped with information about the Lake configuration.

    Equations
    Instances For
      structure Lake.Script :

      A package Script is a ScriptFn definition that is indexed by a String key and can be be run by lake run <key> [-- <args>].

      Instances For
        Equations
        Equations
        Instances For