Safe Haskell	Safe-Inferred
Language	Haskell2010

Telegram.Bot.API.Types.User

Contents

User

Synopsis

data User = User {
- userId :: UserId
- userIsBot :: Bool
- userFirstName :: Text
- userLastName :: Maybe Text
- userUsername :: Maybe Text
- userLanguageCode :: Maybe Text
- userIsPremium :: Maybe Bool
- userAddedToAttachmentMenu :: Maybe Bool
- userCanJoinGroups :: Maybe Bool
- userCanReadAllGroupMessages :: Maybe Bool
- userSupportsInlineQueries :: Maybe Bool
}

User

data User Source #

This object represents a Telegram user or bot.

https://core.telegram.org/bots/api#user

Constructors

User

Fields

userId :: UserId
Unique identifier for this user or bot.
userIsBot :: Bool
True, if this user is a bot.
userFirstName :: Text
User's or bot's first name.
userLastName :: Maybe Text
User‘s or bot’s last name.
userUsername :: Maybe Text
User‘s or bot’s username.
userLanguageCode :: Maybe Text
IETF language tag of the user's language.
userIsPremium :: Maybe Bool
True, if this user is a Telegram Premium user.
userAddedToAttachmentMenu :: Maybe Bool
True, if this user added the bot to the attachment menu.
userCanJoinGroups :: Maybe Bool
True, if the bot can be invited to groups. Returned only in getMe.
userCanReadAllGroupMessages :: Maybe Bool
True, if privacy mode is disabled for the bot. Returned only in getMe.
userSupportsInlineQueries :: Maybe Bool
True, if the bot supports inline queries. Returned only in getMe.

Instances

Instances details

FromJSON User Source #
Instance details Defined in Telegram.Bot.API.Types.User Methods parseJSON :: Value -> Parser User # parseJSONList :: Value -> Parser [User] # omittedField :: Maybe User #
ToJSON User Source #
Instance details Defined in Telegram.Bot.API.Types.User Methods toJSON :: User -> Value # toEncoding :: User -> Encoding # toJSONList :: [User] -> Value # toEncodingList :: [User] -> Encoding # omitField :: User -> Bool #
Generic User Source #
Instance details Defined in Telegram.Bot.API.Types.User Associated Types type Rep User :: Type -> Type # Methods from :: User -> Rep User x # to :: Rep User x -> User #
Show User Source #
Instance details Defined in Telegram.Bot.API.Types.User Methods showsPrec :: Int -> User -> ShowS # show :: User -> String # showList :: [User] -> ShowS #
type Rep User Source #
Instance details Defined in Telegram.Bot.API.Types.User type Rep User = D1 ('MetaData "User" "Telegram.Bot.API.Types.User" "telegram-bot-api-7.0-2XShkJeCLX71W7OKNKemWZ" 'False) (C1 ('MetaCons "User" 'PrefixI 'True) (((S1 ('MetaSel ('Just "userId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserId) :: S1 ('MetaSel ('Just "userIsBot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "userFirstName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "userLastName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "userUsername") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))) :: ((S1 ('MetaSel ('Just "userLanguageCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: (S1 ('MetaSel ('Just "userIsPremium") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :: S1 ('MetaSel ('Just "userAddedToAttachmentMenu") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)))) :: (S1 ('MetaSel ('Just "userCanJoinGroups") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :: (S1 ('MetaSel ('Just "userCanReadAllGroupMessages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :: S1 ('MetaSel ('Just "userSupportsInlineQueries") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)))))))