Safe Haskell	None
Language	Haskell2010

Calamity.Types.Model.User

Description

A User

Documentation

data User Source #

Constructors

User
Fields id :: Snowflake User username :: Text discriminator :: Text bot :: Maybe Bool avatar :: Maybe Text mfaEnabled :: Maybe Bool verified :: Maybe Bool email :: Maybe Text flags :: Maybe Word64 premiumType :: Maybe Word64

Instances

Instances details

Eq User Source #
Instance details Defined in Calamity.Types.Model.User Methods (==) :: User -> User -> Bool # (/=) :: User -> User -> Bool #
Show User Source #
Instance details Defined in Calamity.Types.Model.User Methods showsPrec :: Int -> User -> ShowS # show :: User -> String # showList :: [User] -> ShowS #
Generic User Source #
Instance details Defined in Calamity.Types.Model.User Associated Types type Rep User :: Type -> Type # Methods from :: User -> Rep User x # to :: Rep User x -> User #
TextShow User Source #
Instance details Defined in Calamity.Types.Model.User Methods showbPrec :: Int -> User -> Builder showb :: User -> Builder showbList :: [User] -> Builder showtPrec :: Int -> User -> Text showt :: User -> Text showtList :: [User] -> Text showtlPrec :: Int -> User -> Text showtl :: User -> Text showtlList :: [User] -> Text
FromJSON User Source #
Instance details Defined in Calamity.Types.Model.User Methods parseJSON :: Value -> Parser User parseJSONList :: Value -> Parser [User]
ToJSON User Source #
Instance details Defined in Calamity.Types.Model.User Methods toJSON :: User -> Value toEncoding :: User -> Encoding toJSONList :: [User] -> Value toEncodingList :: [User] -> Encoding
Updateable User Source #
Instance details Defined in Calamity.Internal.Updateable Associated Types type Updated User Source # Methods update :: Updated User -> User -> User Source #
Tellable User Source #
Instance details Defined in Calamity.Types.Tellable Methods getChannel :: forall (r :: [(Type -> Type) -> Type -> Type]). (BotC r, Member (Error RestError) r) => User -> Sem r (Snowflake Channel) Source #
HasID Member User Source #
Instance details Defined in Calamity.Types.Model.User Methods getID :: User -> Snowflake Member Source #
HasID User Message Source #
Instance details Defined in Calamity.Types.Model.Channel.Message Methods getID :: Message -> Snowflake User Source #
HasID User Member Source #
Instance details Defined in Calamity.Types.Model.Guild.Member Methods getID :: Member -> Snowflake User Source #
HasID User User Source #
Instance details Defined in Calamity.Types.Model.User Methods getID :: User -> Snowflake User Source #
HasID User Reaction Source #
Instance details Defined in Calamity.Types.Model.Channel.Reaction Methods getID :: Reaction -> Snowflake User Source #
HasID User GroupChannel Source #
Instance details Defined in Calamity.Types.Model.Channel.Group Methods getID :: GroupChannel -> Snowflake User Source #
HasID User AuditLogEntry Source #
Instance details Defined in Calamity.Types.Model.Guild.AuditLog Methods getID :: AuditLogEntry -> Snowflake User Source #
HasID User Presence Source #
Instance details Defined in Calamity.Types.Model.Presence.Presence Methods getID :: Presence -> Snowflake User Source #
HasID User BanData Source #
Instance details Defined in Calamity.Types.Model.Guild.Ban Methods getID :: BanData -> Snowflake User Source #
Member (CacheEff :: (Type -> Type) -> Type -> Type) r => Parser User r Source #	Parser for users, this only looks in the cache. Use `Snowflake User` and use `upgrade` if you want to allow fetching from http.
Instance details Defined in Calamity.Commands.Parser Associated Types type ParserResult User Source # Methods parserName :: Text Source # parse :: Sem (ParserEffs r) (ParserResult User) Source #
HasID User (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Methods getID :: Partial User -> Snowflake User Source #
Upgradeable User (Snowflake User) Source #
Instance details Defined in Calamity.Types.Upgradeable Methods upgrade :: forall (r :: [(Type -> Type) -> Type -> Type]). BotC r => Snowflake User -> Sem r (Maybe User) Source #
Eq (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Methods (==) :: Partial User -> Partial User -> Bool # (/=) :: Partial User -> Partial User -> Bool #
Show (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Methods showsPrec :: Int -> Partial User -> ShowS # show :: Partial User -> String # showList :: [Partial User] -> ShowS #
Generic (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Associated Types type Rep (Partial User) :: Type -> Type # Methods from :: Partial User -> Rep (Partial User) x # to :: Rep (Partial User) x -> Partial User #
TextShow (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Methods showbPrec :: Int -> Partial User -> Builder showb :: Partial User -> Builder showbList :: [Partial User] -> Builder showtPrec :: Int -> Partial User -> Text showt :: Partial User -> Text showtList :: [Partial User] -> Text showtlPrec :: Int -> Partial User -> Text showtl :: Partial User -> Text showtlList :: [Partial User] -> Text
FromJSON (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Methods parseJSON :: Value -> Parser (Partial User) parseJSONList :: Value -> Parser [Partial User]
ToJSON (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Methods toJSON :: Partial User -> Value toEncoding :: Partial User -> Encoding toJSONList :: [Partial User] -> Value toEncodingList :: [Partial User] -> Encoding
Tellable (Snowflake User) Source #
Instance details Defined in Calamity.Types.Tellable Methods getChannel :: forall (r :: [(Type -> Type) -> Type -> Type]). (BotC r, Member (Error RestError) r) => Snowflake User -> Sem r (Snowflake Channel) Source #
Parser (Snowflake User) r Source #
Instance details Defined in Calamity.Commands.Parser Associated Types type ParserResult (Snowflake User) Source # Methods parserName :: Text Source # parse :: Sem (ParserEffs r) (ParserResult (Snowflake User)) Source #
type Rep User Source #
Instance details Defined in Calamity.Types.Model.User type Rep User = D1 ('MetaData "User" "Calamity.Types.Model.User" "calamity-0.1.11.1-inplace" 'False) (C1 ('MetaCons "User" 'PrefixI 'True) (((S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Snowflake User)) :: S1 ('MetaSel ('Just "username") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :: (S1 ('MetaSel ('Just "discriminator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "bot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :: S1 ('MetaSel ('Just "avatar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))) :: ((S1 ('MetaSel ('Just "mfaEnabled") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :: S1 ('MetaSel ('Just "verified") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))) :: (S1 ('MetaSel ('Just "email") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: (S1 ('MetaSel ('Just "flags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Word64)) :*: S1 ('MetaSel ('Just "premiumType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Word64)))))))
newtype Partial User Source #
Instance details Defined in Calamity.Types.Model.User newtype Partial User = PartialUser { id :: Snowflake User }
type Updated User Source #
Instance details Defined in Calamity.Internal.Updateable type Updated User = User
type ParserResult User Source #
Instance details Defined in Calamity.Commands.Parser type ParserResult User = User
type Rep (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User type Rep (Partial User) = D1 ('MetaData "Partial" "Calamity.Types.Model.User" "calamity-0.1.11.1-inplace" 'True) (C1 ('MetaCons "PartialUser" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Snowflake User))))
type ParserResult (Snowflake User) Source #
Instance details Defined in Calamity.Commands.Parser type ParserResult (Snowflake User) = Snowflake User

data family Partial t Source #

Instances

Instances details

HasID Channel (Partial Channel) Source #
Instance details Defined in Calamity.Types.Model.Channel Methods getID :: Partial Channel -> Snowflake Channel Source #
HasID Guild (Partial Guild) Source #
Instance details Defined in Calamity.Types.Model.Guild.Guild Methods getID :: Partial Guild -> Snowflake Guild Source #
HasID User (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Methods getID :: Partial User -> Snowflake User Source #
HasID Emoji (Partial Emoji) Source #
Instance details Defined in Calamity.Types.Model.Guild.Emoji Methods getID :: Partial Emoji -> Snowflake Emoji Source #
Eq (Partial Channel) Source #
Instance details Defined in Calamity.Types.Model.Channel Methods (==) :: Partial Channel -> Partial Channel -> Bool # (/=) :: Partial Channel -> Partial Channel -> Bool #
Eq (Partial Guild) Source #
Instance details Defined in Calamity.Types.Model.Guild.Guild Methods (==) :: Partial Guild -> Partial Guild -> Bool # (/=) :: Partial Guild -> Partial Guild -> Bool #
Eq (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Methods (==) :: Partial User -> Partial User -> Bool # (/=) :: Partial User -> Partial User -> Bool #
Eq (Partial Emoji) Source #
Instance details Defined in Calamity.Types.Model.Guild.Emoji Methods (==) :: Partial Emoji -> Partial Emoji -> Bool # (/=) :: Partial Emoji -> Partial Emoji -> Bool #
Show (Partial Channel) Source #
Instance details Defined in Calamity.Types.Model.Channel Methods showsPrec :: Int -> Partial Channel -> ShowS # show :: Partial Channel -> String # showList :: [Partial Channel] -> ShowS #
Show (Partial Guild) Source #
Instance details Defined in Calamity.Types.Model.Guild.Guild Methods showsPrec :: Int -> Partial Guild -> ShowS # show :: Partial Guild -> String # showList :: [Partial Guild] -> ShowS #
Show (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Methods showsPrec :: Int -> Partial User -> ShowS # show :: Partial User -> String # showList :: [Partial User] -> ShowS #
Show (Partial Emoji) Source #
Instance details Defined in Calamity.Types.Model.Guild.Emoji Methods showsPrec :: Int -> Partial Emoji -> ShowS # show :: Partial Emoji -> String # showList :: [Partial Emoji] -> ShowS #
Generic (Partial Channel) Source #
Instance details Defined in Calamity.Types.Model.Channel Associated Types type Rep (Partial Channel) :: Type -> Type # Methods from :: Partial Channel -> Rep (Partial Channel) x # to :: Rep (Partial Channel) x -> Partial Channel #
Generic (Partial Guild) Source #
Instance details Defined in Calamity.Types.Model.Guild.Guild Associated Types type Rep (Partial Guild) :: Type -> Type # Methods from :: Partial Guild -> Rep (Partial Guild) x # to :: Rep (Partial Guild) x -> Partial Guild #
Generic (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Associated Types type Rep (Partial User) :: Type -> Type # Methods from :: Partial User -> Rep (Partial User) x # to :: Rep (Partial User) x -> Partial User #
Generic (Partial Emoji) Source #
Instance details Defined in Calamity.Types.Model.Guild.Emoji Associated Types type Rep (Partial Emoji) :: Type -> Type # Methods from :: Partial Emoji -> Rep (Partial Emoji) x # to :: Rep (Partial Emoji) x -> Partial Emoji #
TextShow (Partial Channel)
Instance details Defined in Calamity.Types.Model.Channel Methods showbPrec :: Int -> Partial Channel -> Builder showb :: Partial Channel -> Builder showbList :: [Partial Channel] -> Builder showtPrec :: Int -> Partial Channel -> Text showt :: Partial Channel -> Text showtList :: [Partial Channel] -> Text showtlPrec :: Int -> Partial Channel -> Text showtl :: Partial Channel -> Text showtlList :: [Partial Channel] -> Text
TextShow (Partial Guild)
Instance details Defined in Calamity.Types.Model.Guild.Guild Methods showbPrec :: Int -> Partial Guild -> Builder showb :: Partial Guild -> Builder showbList :: [Partial Guild] -> Builder showtPrec :: Int -> Partial Guild -> Text showt :: Partial Guild -> Text showtList :: [Partial Guild] -> Text showtlPrec :: Int -> Partial Guild -> Text showtl :: Partial Guild -> Text showtlList :: [Partial Guild] -> Text
TextShow (Partial User)
Instance details Defined in Calamity.Types.Model.User Methods showbPrec :: Int -> Partial User -> Builder showb :: Partial User -> Builder showbList :: [Partial User] -> Builder showtPrec :: Int -> Partial User -> Text showt :: Partial User -> Text showtList :: [Partial User] -> Text showtlPrec :: Int -> Partial User -> Text showtl :: Partial User -> Text showtlList :: [Partial User] -> Text
TextShow (Partial Emoji)
Instance details Defined in Calamity.Types.Model.Guild.Emoji Methods showbPrec :: Int -> Partial Emoji -> Builder showb :: Partial Emoji -> Builder showbList :: [Partial Emoji] -> Builder showtPrec :: Int -> Partial Emoji -> Text showt :: Partial Emoji -> Text showtList :: [Partial Emoji] -> Text showtlPrec :: Int -> Partial Emoji -> Text showtl :: Partial Emoji -> Text showtlList :: [Partial Emoji] -> Text
FromJSON (Partial Channel)
Instance details Defined in Calamity.Types.Model.Channel Methods parseJSON :: Value -> Parser (Partial Channel) parseJSONList :: Value -> Parser [Partial Channel]
FromJSON (Partial Guild)
Instance details Defined in Calamity.Types.Model.Guild.Guild Methods parseJSON :: Value -> Parser (Partial Guild) parseJSONList :: Value -> Parser [Partial Guild]
FromJSON (Partial User)
Instance details Defined in Calamity.Types.Model.User Methods parseJSON :: Value -> Parser (Partial User) parseJSONList :: Value -> Parser [Partial User]
FromJSON (Partial Emoji)
Instance details Defined in Calamity.Types.Model.Guild.Emoji Methods parseJSON :: Value -> Parser (Partial Emoji) parseJSONList :: Value -> Parser [Partial Emoji]
ToJSON (Partial Channel)
Instance details Defined in Calamity.Types.Model.Channel Methods toJSON :: Partial Channel -> Value toEncoding :: Partial Channel -> Encoding toJSONList :: [Partial Channel] -> Value toEncodingList :: [Partial Channel] -> Encoding
ToJSON (Partial Guild)
Instance details Defined in Calamity.Types.Model.Guild.Guild Methods toJSON :: Partial Guild -> Value toEncoding :: Partial Guild -> Encoding toJSONList :: [Partial Guild] -> Value toEncodingList :: [Partial Guild] -> Encoding
ToJSON (Partial User)
Instance details Defined in Calamity.Types.Model.User Methods toJSON :: Partial User -> Value toEncoding :: Partial User -> Encoding toJSONList :: [Partial User] -> Value toEncodingList :: [Partial User] -> Encoding
ToJSON (Partial Emoji)
Instance details Defined in Calamity.Types.Model.Guild.Emoji Methods toJSON :: Partial Emoji -> Value toEncoding :: Partial Emoji -> Encoding toJSONList :: [Partial Emoji] -> Value toEncodingList :: [Partial Emoji] -> Encoding
data Partial Channel Source #
Instance details Defined in Calamity.Types.Model.Channel data Partial Channel = PartialChannel { id :: Snowflake Channel name :: Text type_ :: ChannelType parentID :: Maybe (Snowflake Category) }
data Partial Guild Source #
Instance details Defined in Calamity.Types.Model.Guild.Guild data Partial Guild = PartialGuild { id :: Snowflake Guild name :: Text }
newtype Partial User Source #
Instance details Defined in Calamity.Types.Model.User newtype Partial User = PartialUser { id :: Snowflake User }
data Partial Emoji Source #
Instance details Defined in Calamity.Types.Model.Guild.Emoji data Partial Emoji = PartialEmoji { id :: Snowflake Emoji name :: Text }
type Rep (Partial Channel) Source #
Instance details Defined in Calamity.Types.Model.Channel type Rep (Partial Channel) = D1 ('MetaData "Partial" "Calamity.Types.Model.Channel" "calamity-0.1.11.1-inplace" 'False) (C1 ('MetaCons "PartialChannel" 'PrefixI 'True) ((S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Snowflake Channel)) :: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :: (S1 ('MetaSel ('Just "type_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChannelType) :*: S1 ('MetaSel ('Just "parentID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Snowflake Category))))))
type Rep (Partial Guild) Source #
Instance details Defined in Calamity.Types.Model.Guild.Guild type Rep (Partial Guild) = D1 ('MetaData "Partial" "Calamity.Types.Model.Guild.Guild" "calamity-0.1.11.1-inplace" 'False) (C1 ('MetaCons "PartialGuild" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Snowflake Guild)) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))
type Rep (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User type Rep (Partial User) = D1 ('MetaData "Partial" "Calamity.Types.Model.User" "calamity-0.1.11.1-inplace" 'True) (C1 ('MetaCons "PartialUser" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Snowflake User))))
type Rep (Partial Emoji) Source #
Instance details Defined in Calamity.Types.Model.Guild.Emoji type Rep (Partial Emoji) = D1 ('MetaData "Partial" "Calamity.Types.Model.Guild.Emoji" "calamity-0.1.11.1-inplace" 'False) (C1 ('MetaCons "PartialEmoji" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Snowflake Emoji)) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data StatusType Source #

Constructors

Idle
DND
Online
Offline
Invisible

Instances

Instances details

Enum StatusType Source #
Instance details Defined in Calamity.Types.Model.User Methods succ :: StatusType -> StatusType # pred :: StatusType -> StatusType # toEnum :: Int -> StatusType # fromEnum :: StatusType -> Int # enumFrom :: StatusType -> [StatusType] # enumFromThen :: StatusType -> StatusType -> [StatusType] # enumFromTo :: StatusType -> StatusType -> [StatusType] # enumFromThenTo :: StatusType -> StatusType -> StatusType -> [StatusType] #
Eq StatusType Source #
Instance details Defined in Calamity.Types.Model.User Methods (==) :: StatusType -> StatusType -> Bool # (/=) :: StatusType -> StatusType -> Bool #
Show StatusType Source #
Instance details Defined in Calamity.Types.Model.User Methods showsPrec :: Int -> StatusType -> ShowS # show :: StatusType -> String # showList :: [StatusType] -> ShowS #
Generic StatusType Source #
Instance details Defined in Calamity.Types.Model.User Associated Types type Rep StatusType :: Type -> Type # Methods from :: StatusType -> Rep StatusType x # to :: Rep StatusType x -> StatusType #
TextShow StatusType Source #
Instance details Defined in Calamity.Types.Model.User Methods showbPrec :: Int -> StatusType -> Builder showb :: StatusType -> Builder showbList :: [StatusType] -> Builder showtPrec :: Int -> StatusType -> Text showt :: StatusType -> Text showtList :: [StatusType] -> Text showtlPrec :: Int -> StatusType -> Text showtl :: StatusType -> Text showtlList :: [StatusType] -> Text
FromJSON StatusType Source #
Instance details Defined in Calamity.Types.Model.User Methods parseJSON :: Value -> Parser StatusType parseJSONList :: Value -> Parser [StatusType]
ToJSON StatusType Source #
Instance details Defined in Calamity.Types.Model.User Methods toJSON :: StatusType -> Value toEncoding :: StatusType -> Encoding toJSONList :: [StatusType] -> Value toEncodingList :: [StatusType] -> Encoding
type Rep StatusType Source #
Instance details Defined in Calamity.Types.Model.User type Rep StatusType = D1 ('MetaData "StatusType" "Calamity.Types.Model.User" "calamity-0.1.11.1-inplace" 'False) ((C1 ('MetaCons "Idle" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DND" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Online" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Offline" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Invisible" 'PrefixI 'False) (U1 :: Type -> Type))))