Documentation

Lake.Util.Proc

source
def Lake.mkCmdLog (args : IO.Process.SpawnArgs) :
String
Instances For
    source
    @[inline]
    def Lake.logOutput {m : Type → Type u_1} [Monad m] (out : IO.Process.Output) (log : String → m PUnit) :
    m Unit
    Instances For
      source
      @[inline]
      def Lake.rawProc (args : IO.Process.SpawnArgs) (quiet : Bool := false) (input? : Option String := none) :
      LogIO IO.Process.Output
      Instances For
        source
        def Lake.proc (args : IO.Process.SpawnArgs) (quiet : Bool := false) (input? : Option String := none) :
        LogIO Unit
        Instances For
          source
          def Lake.captureProc' (args : IO.Process.SpawnArgs) :
          LogIO IO.Process.Output
          Instances For
            source
            @[inline]
            def Lake.captureProc (args : IO.Process.SpawnArgs) :
            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