FPO.Dto.UserDto

type UserID = String

newtype FullUserDto

Representation of a user in the application, based on the API's GET /me endpoint.

Constructors

• FullUserDto { fullUserEmail :: String, fullUserID :: UserID, fullUserIsSuperadmin :: Boolean, fullUserName :: String, fullUserRoles :: Array FullUserRoleDto }

Instances

• Newtype FullUserDto _
• EncodeJson FullUserDto
• DecodeJson FullUserDto
• Generic FullUserDto _
• Show FullUserDto

getUserEmail :: FullUserDto -> String

getUserID :: FullUserDto -> UserID

isUserSuperadmin :: FullUserDto -> Boolean

getFullUserRoles :: FullUserDto -> Array FullUserRoleDto

isAdmin :: FullUserDto -> Boolean

Checks if the user is admin of at least one group, or even a superadmin.

isAdminOf :: FullUserDto -> Int -> Boolean

Checks if the user is an admin of a specific group. Returns true if the user is an admin of the group with the given ID, detached from the superadmin state of the user.

See isUserSuperadmin for checking if the user is a superadmin.

getAllAdminRoles :: FullUserDto -> Array FullUserRoleDto

Returns all admin roles of the user.

getUserName :: FullUserDto -> String

getUserRoles :: FullUserDto -> Array FullUserRoleDto

newtype PatchUserDto

Constructors

• PatchUserDto { newEmail :: String, newName :: String }

Instances

• Newtype PatchUserDto _
• EncodeJson PatchUserDto
• DecodeJson PatchUserDto
• Generic PatchUserDto _
• Show PatchUserDto