Documentation

Lake.Util.Proc

source
@[specialize #[]]
def Lake.logProcCmd {m : Type → Type u_1} [Monad m] (args : IO.Process.SpawnArgs) (log : String → m PUnit) :
m Unit
Instances For
    source
    @[specialize #[]]
    def Lake.logProcOutput {m : Type → Type u_1} [Monad m] (out : IO.Process.Output) (log : String → m PUnit) :
    m Unit
    Instances For
      source
      @[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
      Instances For
        source
        def Lake.proc (args : IO.Process.SpawnArgs) (quiet : optParam Bool false) :
        Lake.LogIO Unit
        Instances For
          source
          def Lake.captureProc (args : IO.Process.SpawnArgs) :
          Lake.LogIO String
          Instances For
            source
            def Lake.captureProc? (args : IO.Process.SpawnArgs) :
            BaseIO (Option String)
            Instances For
              source
              def Lake.testProc (args : IO.Process.SpawnArgs) :
              BaseIO Bool
              Instances For