Idris2Doc : System.File.Mode

System.File.Mode

Definitions

dataMode : Type
  The different modes a file can be opened.

Totality: total
Visibility: public export
Constructors:
Read : Mode
WriteTruncate : Mode
Append : Mode
ReadWrite : Mode
ReadWriteTruncate : Mode
ReadAppend : Mode
modeStr : Mode->String
  Convert a file `Mode` to the OS-appropriate string representation.

Totality: total
Visibility: export