Idris2Doc : System.File.Mode

System.File.Mode

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