Idris2Doc : System.File.Permissions

System.File.Permissions

record Permissions : Type
  Totality: total
  Constructor: 
MkPermissions : List FileMode -> List FileMode -> List FileMode -> Permissions

  Projections:
  
.group : Permissions -> List FileMode
  
.others : Permissions -> List FileMode
  
.user : Permissions -> List FileMode
chmod : HasIO io => String -> Permissions -> io (Either FileError ())
  Totality: total
chmodRaw : HasIO io => String -> Int -> io (Either FileError ())
  Totality: total