@[specialize #[]]

def
Lake.logProcCmd
{m : Type → Type u_1}
[Monad m]
(args : IO.Process.SpawnArgs)
(log : String → m PUnit)
:

m Unit

## Equations

- One or more equations did not get rendered due to their size.

## Instances For

@[specialize #[]]

def
Lake.logProcOutput
{m : Type → Type u_1}
[Monad m]
(out : IO.Process.Output)
(log : String → m PUnit)
:

m Unit

## Equations

- One or more equations did not get rendered due to their size.

## Instances For

@[specialize #[]]

def
Lake.logProcWith
{m : Type → Type u_1}
[Monad m]
(args : IO.Process.SpawnArgs)
(out : IO.Process.Output)
(log : String → m PUnit)
(logOutput : optParam (String → m PUnit) log)
:

m Unit

## Equations

- Lake.logProcWith args out log logOutput = do Lake.logProcCmd args log Lake.logProcOutput out logOutput

## Instances For

## Equations

- One or more equations did not get rendered due to their size.

## Instances For

## Equations

- One or more equations did not get rendered due to their size.

## Instances For

## Equations

- One or more equations did not get rendered due to their size.

## Instances For

## Equations

- One or more equations did not get rendered due to their size.