Idris2Doc : System.Escape

System.Escape

Definitions

escapeArg : String->String
  Escape special characters in an Idris string, for use as a string literal
in the shell

Visibility: public export
escapeCmd : ListString->String
  Escape special characters in a list of shell arguments, as a single command
for the shell.
eg. the list ["a", "b", "c d"] is interpreted as the command `a b "c d"`

Visibility: public export