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
Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    @[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
      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
      Equations
      Instances For
        source
        def Lake.proc (args : IO.Process.SpawnArgs) (quiet : optParam Bool false) :
        Lake.LogIO Unit
        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Lake.captureProc (args : IO.Process.SpawnArgs) :
          Lake.LogIO String
          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Lake.captureProc? (args : IO.Process.SpawnArgs) :
            BaseIO (Option String)
            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              source
              def Lake.testProc (args : IO.Process.SpawnArgs) :
              BaseIO Bool
              Equations
              • One or more equations did not get rendered due to their size.
              Instances For