Idris2Doc : System.File.Permissions

System.File.Permissions

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

Projections:
.group : Permissions -> ListFileMode
.others : Permissions -> ListFileMode
.user : Permissions -> ListFileMode
chmod : HasIOio => String -> Permissions -> io (EitherFileError ())
Totality: total
chmodRaw : HasIOio => String -> Int -> io (EitherFileError ())
Totality: total