System.Linux.User.Passwd

Definitions

record PasswdEntry : Type

  An entry in the `/etc/passwd` file.

Totality: total
Visibility: public export
Constructor: 

PE : String -> String -> UidT -> GidT -> String -> String -> String -> PasswdEntry

Projections:

.comment : PasswdEntry -> String

.gid : PasswdEntry -> GidT

.homedir : PasswdEntry -> String

.loginName : PasswdEntry -> String

.password : PasswdEntry -> String

.shell : PasswdEntry -> String

.uid : PasswdEntry -> UidT

Hints:

Eq PasswdEntry

Show PasswdEntry

.loginName : PasswdEntry -> String

Totality: total
Visibility: public export

loginName : PasswdEntry -> String

Totality: total
Visibility: public export

.password : PasswdEntry -> String

Totality: total
Visibility: public export

password : PasswdEntry -> String

Totality: total
Visibility: public export

.uid : PasswdEntry -> UidT

Totality: total
Visibility: public export

uid : PasswdEntry -> UidT

Totality: total
Visibility: public export

.gid : PasswdEntry -> GidT

Totality: total
Visibility: public export

gid : PasswdEntry -> GidT

Totality: total
Visibility: public export

.comment : PasswdEntry -> String

Totality: total
Visibility: public export

comment : PasswdEntry -> String

Totality: total
Visibility: public export

.homedir : PasswdEntry -> String

Totality: total
Visibility: public export

homedir : PasswdEntry -> String

Totality: total
Visibility: public export

.shell : PasswdEntry -> String

Totality: total
Visibility: public export

shell : PasswdEntry -> String

Totality: total
Visibility: public export

readEntry : ByteString -> Maybe PasswdEntry

Totality: total
Visibility: export