Idris2Doc : System.File.Support

System.File.Support

ok : HasIO io => a -> io (Either err a)
  Totality: total
support : String -> String
  Totality: total