System.File.Mode

Definitions

data Mode : 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