Calamity.Types.Model.User

A User

Documentation

data User

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

Defined in Calamity.Types.Model.User

Methods

(==) :: User -> User -> Bool

(/=) :: User -> User -> Bool

Show User

Defined in Calamity.Types.Model.User

Methods

showsPrec :: Int -> User -> ShowS

show :: User -> String

showList :: [User] -> ShowS

Generic User

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

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

Defined in Calamity.Types.Model.User

Methods

parseJSON :: Value -> Parser User

parseJSONList :: Value -> Parser [User]

ToJSON User

Defined in Calamity.Types.Model.User

Methods

toJSON :: User -> Value

toEncoding :: User -> Encoding

toJSONList :: [User] -> Value

toEncodingList :: [User] -> Encoding

Updateable User

Defined in Calamity.Internal.Updateable

Associated Types

type Updated User

Methods

update :: Updated User -> User -> User

Tellable User

Defined in Calamity.Types.Tellable

Methods

getChannel :: forall (r :: [(Type -> Type) -> Type -> Type]). (BotC r, Member (Error RestError) r) => User -> Sem r (Snowflake Channel)

HasID Member User

Defined in Calamity.Types.Model.User

Methods

getID :: User -> Snowflake Member

HasID User Message

Defined in Calamity.Types.Model.Channel.Message

Methods

getID :: Message -> Snowflake User

HasID User Member

Defined in Calamity.Types.Model.Guild.Member

Methods

getID :: Member -> Snowflake User

HasID User User

Defined in Calamity.Types.Model.User

Methods

getID :: User -> Snowflake User

HasID User Reaction

Defined in Calamity.Types.Model.Channel.Reaction

Methods

getID :: Reaction -> Snowflake User

HasID User GroupChannel

Defined in Calamity.Types.Model.Channel.Group

Methods

getID :: GroupChannel -> Snowflake User

HasID User AuditLogEntry

Defined in Calamity.Types.Model.Guild.AuditLog

Methods

getID :: AuditLogEntry -> Snowflake User

HasID User Presence

Defined in Calamity.Types.Model.Presence.Presence

Methods

getID :: Presence -> Snowflake User

HasID User BanData

Defined in Calamity.Types.Model.Guild.Ban

Methods

getID :: BanData -> Snowflake User

Member (CacheEff :: (Type -> Type) -> Type -> Type) r => Parser User r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult User

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult User)

HasID User (Partial User)

Defined in Calamity.Types.Model.User

Methods

getID :: Partial User -> Snowflake User

Eq (Partial User)

Defined in Calamity.Types.Model.User

Methods

(==) :: Partial User -> Partial User -> Bool

(/=) :: Partial User -> Partial User -> Bool

Show (Partial User)

Defined in Calamity.Types.Model.User

Methods

showsPrec :: Int -> Partial User -> ShowS

show :: Partial User -> String

showList :: [Partial User] -> ShowS

Generic (Partial User)

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)

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)

Defined in Calamity.Types.Model.User

Methods

parseJSON :: Value -> Parser (Partial User)

parseJSONList :: Value -> Parser [Partial User]

ToJSON (Partial User)

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)

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)

Parser (Snowflake User) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (Snowflake User)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (Snowflake User))

type Rep User

Defined in Calamity.Types.Model.User

type Rep User = D1 ('MetaData "User" "Calamity.Types.Model.User" "calamity-0.1.9.4-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

Defined in Calamity.Types.Model.User

newtype Partial User = PartialUser {

• id :: Snowflake User

}

type Updated User

Defined in Calamity.Internal.Updateable

type Updated User = User

type ParserResult User

Defined in Calamity.Commands.Parser

type ParserResult User = User

type Rep (Partial User)

Defined in Calamity.Types.Model.User

type Rep (Partial User) = D1 ('MetaData "Partial" "Calamity.Types.Model.User" "calamity-0.1.9.4-inplace" 'True) (C1 ('MetaCons "PartialUser" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Snowflake User))))

type ParserResult (Snowflake User)

Defined in Calamity.Commands.Parser

type ParserResult (Snowflake User) = Snowflake User

data family Partial t

Instances

HasID Channel (Partial Channel)

Defined in Calamity.Types.Model.Channel

Methods

getID :: Partial Channel -> Snowflake Channel

HasID Guild (Partial Guild)

Defined in Calamity.Types.Model.Guild.Guild

Methods

getID :: Partial Guild -> Snowflake Guild

HasID User (Partial User)

Defined in Calamity.Types.Model.User

Methods

getID :: Partial User -> Snowflake User

HasID Emoji (Partial Emoji)

Defined in Calamity.Types.Model.Guild.Emoji

Methods

getID :: Partial Emoji -> Snowflake Emoji

Eq (Partial Channel)

Defined in Calamity.Types.Model.Channel

Methods

(==) :: Partial Channel -> Partial Channel -> Bool

(/=) :: Partial Channel -> Partial Channel -> Bool

Eq (Partial Guild)

Defined in Calamity.Types.Model.Guild.Guild

Methods

(==) :: Partial Guild -> Partial Guild -> Bool

(/=) :: Partial Guild -> Partial Guild -> Bool

Eq (Partial User)

Defined in Calamity.Types.Model.User

Methods

(==) :: Partial User -> Partial User -> Bool

(/=) :: Partial User -> Partial User -> Bool

Eq (Partial Emoji)

Defined in Calamity.Types.Model.Guild.Emoji

Methods

(==) :: Partial Emoji -> Partial Emoji -> Bool

(/=) :: Partial Emoji -> Partial Emoji -> Bool

Show (Partial Channel)

Defined in Calamity.Types.Model.Channel

Methods

showsPrec :: Int -> Partial Channel -> ShowS

show :: Partial Channel -> String

showList :: [Partial Channel] -> ShowS

Show (Partial Guild)

Defined in Calamity.Types.Model.Guild.Guild

Methods

showsPrec :: Int -> Partial Guild -> ShowS

show :: Partial Guild -> String

showList :: [Partial Guild] -> ShowS

Show (Partial User)

Defined in Calamity.Types.Model.User

Methods

showsPrec :: Int -> Partial User -> ShowS

show :: Partial User -> String

showList :: [Partial User] -> ShowS

Show (Partial Emoji)

Defined in Calamity.Types.Model.Guild.Emoji

Methods

showsPrec :: Int -> Partial Emoji -> ShowS

show :: Partial Emoji -> String

showList :: [Partial Emoji] -> ShowS

Generic (Partial Channel)

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)

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)

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)

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)

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)

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)

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)

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)

Defined in Calamity.Types.Model.Channel

Methods

parseJSON :: Value -> Parser (Partial Channel)

parseJSONList :: Value -> Parser [Partial Channel]

FromJSON (Partial Guild)

Defined in Calamity.Types.Model.Guild.Guild

Methods

parseJSON :: Value -> Parser (Partial Guild)

parseJSONList :: Value -> Parser [Partial Guild]

FromJSON (Partial User)

Defined in Calamity.Types.Model.User

Methods

parseJSON :: Value -> Parser (Partial User)

parseJSONList :: Value -> Parser [Partial User]

FromJSON (Partial Emoji)

Defined in Calamity.Types.Model.Guild.Emoji

Methods

parseJSON :: Value -> Parser (Partial Emoji)

parseJSONList :: Value -> Parser [Partial Emoji]

ToJSON (Partial Channel)

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)

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)

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)

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

Defined in Calamity.Types.Model.Channel

data Partial Channel = PartialChannel {

• id :: Snowflake Channel
• name :: Text
• type_ :: ChannelType
• parentID :: Maybe (Snowflake Category)

}

data Partial Guild

Defined in Calamity.Types.Model.Guild.Guild

data Partial Guild = PartialGuild {

• id :: Snowflake Guild
• name :: Text

}

newtype Partial User

Defined in Calamity.Types.Model.User

newtype Partial User = PartialUser {

• id :: Snowflake User

}

data Partial Emoji

Defined in Calamity.Types.Model.Guild.Emoji

data Partial Emoji = PartialEmoji {

• id :: Snowflake Emoji
• name :: Text

}

type Rep (Partial Channel)

Defined in Calamity.Types.Model.Channel

type Rep (Partial Channel) = D1 ('MetaData "Partial" "Calamity.Types.Model.Channel" "calamity-0.1.9.4-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)

Defined in Calamity.Types.Model.Guild.Guild

type Rep (Partial Guild) = D1 ('MetaData "Partial" "Calamity.Types.Model.Guild.Guild" "calamity-0.1.9.4-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)

Defined in Calamity.Types.Model.User

type Rep (Partial User) = D1 ('MetaData "Partial" "Calamity.Types.Model.User" "calamity-0.1.9.4-inplace" 'True) (C1 ('MetaCons "PartialUser" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Snowflake User))))

type Rep (Partial Emoji)

Defined in Calamity.Types.Model.Guild.Emoji

type Rep (Partial Emoji) = D1 ('MetaData "Partial" "Calamity.Types.Model.Guild.Emoji" "calamity-0.1.9.4-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

Constructors

Idle

DND

Online

Offline

Invisible

Instances

Enum StatusType

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

Defined in Calamity.Types.Model.User

Methods

(==) :: StatusType -> StatusType -> Bool

(/=) :: StatusType -> StatusType -> Bool

Show StatusType

Defined in Calamity.Types.Model.User

Methods

showsPrec :: Int -> StatusType -> ShowS

show :: StatusType -> String

showList :: [StatusType] -> ShowS

Generic StatusType

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

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

Defined in Calamity.Types.Model.User

Methods

parseJSON :: Value -> Parser StatusType

parseJSONList :: Value -> Parser [StatusType]

ToJSON StatusType

Defined in Calamity.Types.Model.User

Methods

toJSON :: StatusType -> Value

toEncoding :: StatusType -> Encoding

toJSONList :: [StatusType] -> Value

toEncodingList :: [StatusType] -> Encoding

type Rep StatusType

Defined in Calamity.Types.Model.User

type Rep StatusType = D1 ('MetaData "StatusType" "Calamity.Types.Model.User" "calamity-0.1.9.4-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))))