Idris2Doc : System.File.Mode

System.File.Mode

dataMode : Type
Totality: total
Constructors:
Read : Mode
WriteTruncate : Mode
Append : Mode
ReadWrite : Mode
ReadWriteTruncate : Mode
ReadAppend : Mode
modeStr : Mode -> String
Totality: total