Documentation

Lake.Util.Proc

source
def Lake.mkCmdLog (args : IO.Process.SpawnArgs) :
String
Equations
    Instances For
      source
      @[inline]
      def Lake.logOutput {m : Type → Type u_1} [Monad m] (out : IO.Process.Output) (log : String → m PUnit) :
      m Unit
      Equations
        Instances For
          source
          @[inline]
          def Lake.rawProc (args : IO.Process.SpawnArgs) (quiet : Bool := false) :
          LogIO IO.Process.Output
          Equations
            Instances For
              source
              def Lake.proc (args : IO.Process.SpawnArgs) (quiet : Bool := false) :
              LogIO Unit
              Equations
                Instances For
                  source
                  def Lake.captureProc (args : IO.Process.SpawnArgs) :
                  LogIO String
                  Equations
                    Instances For
                      source
                      def Lake.captureProc? (args : IO.Process.SpawnArgs) :
                      BaseIO (Option String)
                      Equations
                        Instances For
                          source
                          def Lake.testProc (args : IO.Process.SpawnArgs) :
                          BaseIO Bool
                          Equations
                            Instances For