Safe Haskell	Safe-Inferred
Language	GHC2021

Wire.StoredUser

Synopsis

data StoredUser = StoredUser {
- id :: UserId
- name :: Name
- textStatus :: Maybe TextStatus
- pict :: Maybe Pict
- email :: Maybe EmailAddress
- emailUnvalidated :: Maybe EmailAddress
- ssoId :: Maybe UserSSOId
- accentId :: ColourId
- assets :: Maybe [Asset]
- activated :: Bool
- status :: Maybe AccountStatus
- expires :: Maybe UTCTimeMillis
- language :: Maybe Language
- country :: Maybe Country
- providerId :: Maybe ProviderId
- serviceId :: Maybe ServiceId
- handle :: Maybe Handle
- teamId :: Maybe TeamId
- managedBy :: Maybe ManagedBy
- supportedProtocols :: Maybe (Set BaseProtocolTag)
}
setStoredUserName :: Name -> StoredUser -> StoredUser
setStoredUserSupportedProtocols :: Set BaseProtocolTag -> StoredUser -> StoredUser
setStoredUserPict :: Pict -> StoredUser -> StoredUser
setStoredUserAssets :: [Asset] -> StoredUser -> StoredUser
setStoredUserAccentId :: ColourId -> StoredUser -> StoredUser
setStoredUserLocale :: Locale -> StoredUser -> StoredUser
setStoredUserHandle :: Handle -> StoredUser -> StoredUser
hasPendingInvitation :: StoredUser -> Bool
mkUserFromStored :: Domain -> Locale -> StoredUser -> User
toLocale :: Locale -> (Maybe Language, Maybe Country) -> Locale
toIdentity :: Bool -> Maybe EmailAddress -> Maybe UserSSOId -> Maybe UserIdentity

Documentation

data StoredUser Source #

Constructors

StoredUser

Fields

id :: UserId
name :: Name
textStatus :: Maybe TextStatus
pict :: Maybe Pict
email :: Maybe EmailAddress
emailUnvalidated :: Maybe EmailAddress
ssoId :: Maybe UserSSOId
accentId :: ColourId
assets :: Maybe [Asset]
activated :: Bool
status :: Maybe AccountStatus
expires :: Maybe UTCTimeMillis
language :: Maybe Language
country :: Maybe Country
providerId :: Maybe ProviderId
serviceId :: Maybe ServiceId
handle :: Maybe Handle
teamId :: Maybe TeamId
managedBy :: Maybe ManagedBy
supportedProtocols :: Maybe (Set BaseProtocolTag)

Instances

Instances details

Arbitrary StoredUser Source #
Instance details Defined in Wire.StoredUser Methods arbitrary :: Gen StoredUser Source # shrink :: StoredUser -> [StoredUser] Source #
Generic StoredUser Source #
Instance details Defined in Wire.StoredUser Associated Types type Rep StoredUser :: Type -> Type # Methods from :: StoredUser -> Rep StoredUser x # to :: Rep StoredUser x -> StoredUser #
Show StoredUser Source #
Instance details Defined in Wire.StoredUser Methods showsPrec :: Int -> StoredUser -> ShowS # show :: StoredUser -> String # showList :: [StoredUser] -> ShowS #
Record StoredUser Source #
Instance details Defined in Wire.StoredUser Methods asTuple :: StoredUser -> TupleType StoredUser Source # asRecord :: TupleType StoredUser -> StoredUser Source #
Eq StoredUser Source #
Instance details Defined in Wire.StoredUser Methods (==) :: StoredUser -> StoredUser -> Bool # (/=) :: StoredUser -> StoredUser -> Bool #
Ord StoredUser Source #
Instance details Defined in Wire.StoredUser Methods compare :: StoredUser -> StoredUser -> Ordering # (<) :: StoredUser -> StoredUser -> Bool # (<=) :: StoredUser -> StoredUser -> Bool # (>) :: StoredUser -> StoredUser -> Bool # (>=) :: StoredUser -> StoredUser -> Bool # max :: StoredUser -> StoredUser -> StoredUser # min :: StoredUser -> StoredUser -> StoredUser #
HasField "identity" StoredUser (Maybe UserIdentity) Source #
Instance details Defined in Wire.StoredUser Methods getField :: StoredUser -> Maybe UserIdentity #
HasField "locale" StoredUser (Maybe Locale) Source #
Instance details Defined in Wire.StoredUser Methods getField :: StoredUser -> Maybe Locale #
type Rep StoredUser Source #
Instance details Defined in Wire.StoredUser type Rep StoredUser = D1 ('MetaData "StoredUser" "Wire.StoredUser" "wire-subsystems-0.1.0-8kLXA8DL8T7Joz69IIRPwJ" 'False) (C1 ('MetaCons "StoredUser" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserId) :: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :: (S1 ('MetaSel ('Just "textStatus") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TextStatus)) :: (S1 ('MetaSel ('Just "pict") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Pict)) :: S1 ('MetaSel ('Just "email") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe EmailAddress))))) :: ((S1 ('MetaSel ('Just "emailUnvalidated") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe EmailAddress)) :: S1 ('MetaSel ('Just "ssoId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UserSSOId))) :: (S1 ('MetaSel ('Just "accentId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColourId) :: (S1 ('MetaSel ('Just "assets") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Asset])) :: S1 ('MetaSel ('Just "activated") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))) :: (((S1 ('MetaSel ('Just "status") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AccountStatus)) :: S1 ('MetaSel ('Just "expires") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UTCTimeMillis))) :: (S1 ('MetaSel ('Just "language") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Language)) :: (S1 ('MetaSel ('Just "country") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Country)) :: S1 ('MetaSel ('Just "providerId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ProviderId))))) :: ((S1 ('MetaSel ('Just "serviceId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ServiceId)) :: S1 ('MetaSel ('Just "handle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Handle))) :: (S1 ('MetaSel ('Just "teamId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TeamId)) :: (S1 ('MetaSel ('Just "managedBy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ManagedBy)) :*: S1 ('MetaSel ('Just "supportedProtocols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Set BaseProtocolTag)))))))))
type TupleType StoredUser Source #
Instance details Defined in Wire.StoredUser type TupleType StoredUser = (UserId, Name, Maybe TextStatus, Maybe Pict, Maybe EmailAddress, Maybe EmailAddress, Maybe UserSSOId, ColourId, Maybe [Asset], Bool, Maybe AccountStatus, Maybe UTCTimeMillis, Maybe Language, Maybe Country, Maybe ProviderId, Maybe ServiceId, Maybe Handle, Maybe TeamId, Maybe ManagedBy, Maybe (Set BaseProtocolTag))

setStoredUserName :: Name -> StoredUser -> StoredUser Source #

setStoredUserSupportedProtocols :: Set BaseProtocolTag -> StoredUser -> StoredUser Source #

setStoredUserPict :: Pict -> StoredUser -> StoredUser Source #

setStoredUserAssets :: [Asset] -> StoredUser -> StoredUser Source #

setStoredUserAccentId :: ColourId -> StoredUser -> StoredUser Source #

setStoredUserLocale :: Locale -> StoredUser -> StoredUser Source #

setStoredUserHandle :: Handle -> StoredUser -> StoredUser Source #

hasPendingInvitation :: StoredUser -> Bool Source #

mkUserFromStored :: Domain -> Locale -> StoredUser -> User Source #

toLocale :: Locale -> (Maybe Language, Maybe Country) -> Locale Source #

toIdentity Source #

Arguments

:: Bool	Whether the user is activated
-> Maybe EmailAddress
-> Maybe UserSSOId
-> Maybe UserIdentity

If the user is not activated, toIdentity will return Nothing as a precaution, because elsewhere we rely on the fact that a non-empty UserIdentity means that the user is activated.

The reason it's just a "precaution" is that we also have an invariant that having an email or phone in the database means the user has to be activated.