Idris2Doc : System.File.Mode

System.File.Mode

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

Totality: total
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