Data.Swirl.System

Reexports

Definitions

runSysCmdOLn : HasIO io => List String -> Swirl io FileError Int String

  Run a system command emitting lines that are printed to its standard output
  and returning exit code as the result value.
  Lines except the last one would have the newline at the end.

Visibility: export

runSysCmdO : HasIO io => List String -> Swirl io FileError Int String

  Run a system command emitting lines that are printed to its standard output
  and returning exit code as the result value.
  Lines do not have a trailing newline and information of whether the last line had it is lost.

Visibility: export

runSysCmdI : HasIO io => List String -> Swirl io e r String -> Swirl io (Either e FileError) (r, Int) Void

  Run a system command being fed a stream of input strings
  and returning exit code (along with the feeding stream result).

Totality: total
Visibility: export

runSysCmdILn : HasIO io => List String -> Swirl io e r String -> Swirl io (Either e FileError) (r, Int) Void

Totality: total
Visibility: export