Documentation

Lake.CLI.Actions

def Lake.env (cmd : String) (args : optParam (Array String) #[]) :
Equations
  • One or more equations did not get rendered due to their size.
def Lake.exe (name : Lake.Name) (args : optParam (Array String) #[]) (buildConfig : optParam Lake.BuildConfig { oldMode := false, trustHash := true, noBuild := false, verbosity := Lake.Verbosity.normal, failLv := Lake.LogLevel.error, outLv := Lake.Verbosity.normal.minLogLv, out := Lake.OutStream.stderr, ansiMode := Lake.AnsiMode.auto }) :
Equations
  • One or more equations did not get rendered due to their size.
def Lake.Package.pack (pkg : Lake.Package) (file : optParam Lake.FilePath pkg.buildArchiveFile) :
Equations
def Lake.Package.unpack (pkg : Lake.Package) (file : optParam Lake.FilePath pkg.buildArchiveFile) :
Equations
Equations
  • One or more equations did not get rendered due to their size.
Equations
  • One or more equations did not get rendered due to their size.
def Lake.Package.test (pkg : Lake.Package) (args : optParam (List String) []) (buildConfig : optParam Lake.BuildConfig { oldMode := false, trustHash := true, noBuild := false, verbosity := Lake.Verbosity.normal, failLv := Lake.LogLevel.error, outLv := Lake.Verbosity.normal.minLogLv, out := Lake.OutStream.stderr, ansiMode := Lake.AnsiMode.auto }) :
Equations
  • One or more equations did not get rendered due to their size.
def Lake.Package.lint (pkg : Lake.Package) (args : optParam (List String) []) (buildConfig : optParam Lake.BuildConfig { oldMode := false, trustHash := true, noBuild := false, verbosity := Lake.Verbosity.normal, failLv := Lake.LogLevel.error, outLv := Lake.Verbosity.normal.minLogLv, out := Lake.OutStream.stderr, ansiMode := Lake.AnsiMode.auto }) :
Equations
  • One or more equations did not get rendered due to their size.