Idris2Doc : System.Posix.File.Flags

System.Posix.File.Flags

(source)
Definitions
record Flags : Type
  Totality: total
  Visibility: public export
  Constructor: 
F : Bits32 -> Flags

  Projection: 
.flags : Flags -> Bits32

  Hints:
  
Eq Flags
  
Monoid Flags
  
Ord Flags
  
Semigroup Flags
  
Show Flags
.flags : Flags -> Bits32
  Totality: total
  Visibility: public export
flags : Flags -> Bits32
  Totality: total
  Visibility: public export
record Mode : Type
  File permissions.

  Totality: total
  Visibility: public export
  Constructor: 
M : ModeT -> Mode

  Projection: 
.mode : Mode -> ModeT

  Hints:
  
Eq Mode
  
Monoid Mode
  
Ord Mode
  
Semigroup Mode
  
Show Mode
.mode : Mode -> ModeT
  Totality: total
  Visibility: public export
mode : Mode -> ModeT
  Totality: total
  Visibility: public export
O_RDONLY : Flags
  Totality: total
  Visibility: public export
O_WRONLY : Flags
  Totality: total
  Visibility: public export
O_RDWR : Flags
  Totality: total
  Visibility: public export
O_CLOEXEC : Flags
  Totality: total
  Visibility: public export
O_CREAT : Flags
  Totality: total
  Visibility: public export
O_DIRECTORY : Flags
  Totality: total
  Visibility: public export
O_EXCL : Flags
  Totality: total
  Visibility: public export
O_NOCTTY : Flags
  Totality: total
  Visibility: public export
O_NOFOLLOW : Flags
  Totality: total
  Visibility: public export
O_TRUNC : Flags
  Totality: total
  Visibility: public export
O_APPEND : Flags
  Totality: total
  Visibility: public export
O_ASYNC : Flags
  Totality: total
  Visibility: public export
O_DSYNC : Flags
  Totality: total
  Visibility: public export
O_NONBLOCK : Flags
  Totality: total
  Visibility: public export
O_SYNC : Flags
  Totality: total
  Visibility: public export
S_IRWXU : Mode
  Totality: total
  Visibility: public export
S_IRUSR : Mode
  Totality: total
  Visibility: public export
S_IWUSR : Mode
  Totality: total
  Visibility: public export
S_IXUSR : Mode
  Totality: total
  Visibility: public export
S_IRWXG : Mode
  Totality: total
  Visibility: public export
S_IRGRP : Mode
  Totality: total
  Visibility: public export
S_IWGRP : Mode
  Totality: total
  Visibility: public export
S_IXGRP : Mode
  Totality: total
  Visibility: public export
S_IRWXO : Mode
  Totality: total
  Visibility: public export
S_IROTH : Mode
  Totality: total
  Visibility: public export
S_IWOTH : Mode
  Totality: total
  Visibility: public export
S_IXOTH : Mode
  Totality: total
  Visibility: public export
S_ISUID : Mode
  Totality: total
  Visibility: public export
S_ISGID : Mode
  Totality: total
  Visibility: public export
S_ISVTX : Mode
  Totality: total
  Visibility: public export
create : Flags
  Flags for creating a file for output.

  Totality: total
  Visibility: export
append : Flags
  Flags for creating a file for output.
  
  If the file exists, data is appended to it.

  Totality: total
  Visibility: export