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

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 #
ToJSON User Source #
Instance details Defined in Calamity.Types.Model.User Methods toJSON :: User -> Value # toEncoding :: User -> Encoding # toJSONList :: [User] -> Value # toEncodingList :: [User] -> Encoding #
FromJSON User Source #
Instance details Defined in Calamity.Types.Model.User Methods parseJSON :: Value -> Parser User # parseJSONList :: Value -> Parser [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 #
Updateable User Source #
Instance details Defined in Calamity.Internal.Updateable Associated Types type Updated User :: Type Source # Methods update :: Updated User -> User -> 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 #
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 #
FromJSON (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Methods parseJSON :: Value -> Parser (Partial User) # parseJSONList :: Value -> Parser [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 #
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 Presence Source #
Instance details Defined in Calamity.Types.Model.Presence.Presence Methods getID :: Presence -> Snowflake User Source #
HasID User (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Methods getID :: Partial User -> 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.0.0-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 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.0.0-inplace" True) (C1 (MetaCons "PartialUser" PrefixI True) (S1 (MetaSel (Just "id") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Snowflake User))))

data family Partial t Source #

Instances

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 #
ToJSON (Partial Channel) Source #
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) Source #
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) 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 #
ToJSON (Partial Emoji) Source #
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 #
FromJSON (Partial Channel) Source #
Instance details Defined in Calamity.Types.Model.Channel Methods parseJSON :: Value -> Parser (Partial Channel) # parseJSONList :: Value -> Parser [Partial Channel] #
FromJSON (Partial Guild) Source #
Instance details Defined in Calamity.Types.Model.Guild.Guild Methods parseJSON :: Value -> Parser (Partial Guild) # parseJSONList :: Value -> Parser [Partial Guild] #
FromJSON (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Methods parseJSON :: Value -> Parser (Partial User) # parseJSONList :: Value -> Parser [Partial User] #
FromJSON (Partial Emoji) Source #
Instance details Defined in Calamity.Types.Model.Guild.Emoji Methods parseJSON :: Value -> Parser (Partial Emoji) # parseJSONList :: Value -> Parser [Partial Emoji] #
TextShow (Partial Channel) Source #
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) Source #
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) 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 #
TextShow (Partial Emoji) Source #
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 #
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 #
data Partial Channel Source #
Instance details Defined in Calamity.Types.Model.Channel data Partial Channel = PartialChannel { id :: Snowflake Channel name :: Text type_ :: ChannelType }
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.0.0-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))))
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.0.0-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.0.0-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.0.0-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

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 #
ToJSON StatusType Source #
Instance details Defined in Calamity.Types.Model.User Methods toJSON :: StatusType -> Value # toEncoding :: StatusType -> Encoding # toJSONList :: [StatusType] -> Value # toEncodingList :: [StatusType] -> Encoding #
FromJSON StatusType Source #
Instance details Defined in Calamity.Types.Model.User Methods parseJSON :: Value -> Parser StatusType # parseJSONList :: Value -> Parser [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 #
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.0.0-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))))