Idris2Doc : System.File.Permissions

System.File.Permissions

recordPermissions : Type
  The permissions of a file, grouped by the 3 types of owners of a file.

Totality: total
Constructor: 
MkPermissions : ListFileMode -> ListFileMode -> ListFileMode -> Permissions

Projections:
.group : Permissions -> ListFileMode
.others : Permissions -> ListFileMode
.user : Permissions -> ListFileMode
chmod : HasIOio => String -> Permissions -> io (EitherFileError ())
  Change the permissions of the file with the specified name to the
permissions in the given `Permissions` record.

@ fname the name of the file whose permissions to change
@ p a `Permissions` record containing the permissions to set

Totality: total
chmodRaw : HasIOio => String -> Int -> io (EitherFileError ())
  Change the permissions of the file with the specified name to the given
integer representation of some permissions.
You likely want to use `chmod` and `Permissions`, or go via `mkMode`
instead of using this.

@ fname the name of the file whose permissions to change
@ p the integer representation of the permissions to set

Totality: total