Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Telegram.Bot.API.Types.Common
Synopsis
- newtype FileId = FileId Text
- newtype Seconds = Seconds Int
- newtype UserId = UserId Integer
- newtype BoostId = BoostId Text
- newtype ChatId = ChatId Integer
- newtype MessageId = MessageId Integer
- newtype MessageThreadId = MessageThreadId Integer
- newtype MediaGroupId = MediaGroupId Text
- newtype RequestId = RequestId Integer
- newtype PollId = PollId Text
- newtype ShippingOptionId = ShippingOptionId Text
- newtype WebAppInfo = WebAppInfo {}
- newtype CallbackQueryId = CallbackQueryId Text
- newtype BusinessConnectionId = BusinessConnectionId Text
- data SomeChatId
- addType :: Text -> [Pair] -> [Pair]
Documentation
Unique identifier for this file.
Instances
FromJSON FileId Source # | |
Defined in Telegram.Bot.API.Types.Common | |
ToJSON FileId Source # | |
Show FileId Source # | |
Eq FileId Source # | |
ToHttpApiData FileId Source # | |
Defined in Telegram.Bot.API.Types.Common Methods toUrlPiece :: FileId -> Text # toEncodedUrlPiece :: FileId -> Builder # toHeader :: FileId -> ByteString # toQueryParam :: FileId -> Text # toEncodedQueryParam :: FileId -> Builder # |
Unique identifier for this user or bot.
Instances
FromJSON UserId Source # | |
Defined in Telegram.Bot.API.Types.Common | |
ToJSON UserId Source # | |
Show UserId Source # | |
Eq UserId Source # | |
ToHttpApiData UserId Source # | |
Defined in Telegram.Bot.API.Types.Common Methods toUrlPiece :: UserId -> Text # toEncodedUrlPiece :: UserId -> Builder # toHeader :: UserId -> ByteString # toQueryParam :: UserId -> Text # toEncodedQueryParam :: UserId -> Builder # |
Unique identifier of the boost.
Unique identifier for this chat.
Instances
FromJSON ChatId Source # | |
Defined in Telegram.Bot.API.Types.Common | |
ToJSON ChatId Source # | |
Show ChatId Source # | |
Eq ChatId Source # | |
Hashable ChatId Source # | |
Defined in Telegram.Bot.API.Types.Common | |
ToHttpApiData ChatId Source # | |
Defined in Telegram.Bot.API.Types.Common Methods toUrlPiece :: ChatId -> Text # toEncodedUrlPiece :: ChatId -> Builder # toHeader :: ChatId -> ByteString # toQueryParam :: ChatId -> Text # toEncodedQueryParam :: ChatId -> Builder # |
Unique message identifier inside this chat.
Instances
FromJSON MessageId Source # | |
Defined in Telegram.Bot.API.Types.Common | |
ToJSON MessageId Source # | |
Show MessageId Source # | |
Eq MessageId Source # | |
Hashable MessageId Source # | |
Defined in Telegram.Bot.API.Types.Common | |
ToHttpApiData MessageId Source # | |
Defined in Telegram.Bot.API.Types.Common Methods toUrlPiece :: MessageId -> Text # toEncodedUrlPiece :: MessageId -> Builder # toHeader :: MessageId -> ByteString # toQueryParam :: MessageId -> Text # toEncodedQueryParam :: MessageId -> Builder # |
newtype MessageThreadId Source #
Unique identifier of a message thread to which the message belongs; for supergroups only.
Constructors
MessageThreadId Integer |
Instances
newtype MediaGroupId Source #
The unique identifier of a media message group a message belongs to.
Constructors
MediaGroupId Text |
Instances
FromJSON MediaGroupId Source # | |
Defined in Telegram.Bot.API.Types.Common | |
ToJSON MediaGroupId Source # | |
Defined in Telegram.Bot.API.Types.Common Methods toJSON :: MediaGroupId -> Value # toEncoding :: MediaGroupId -> Encoding # toJSONList :: [MediaGroupId] -> Value # toEncodingList :: [MediaGroupId] -> Encoding # omitField :: MediaGroupId -> Bool # | |
Show MediaGroupId Source # | |
Defined in Telegram.Bot.API.Types.Common Methods showsPrec :: Int -> MediaGroupId -> ShowS # show :: MediaGroupId -> String # showList :: [MediaGroupId] -> ShowS # | |
Eq MediaGroupId Source # | |
Defined in Telegram.Bot.API.Types.Common |
Signed 32-bit identifier of the request, which will be received back in the UserShared
or ChatShared
object. Must be unique within the message.
Unique poll identifier.
newtype ShippingOptionId Source #
Constructors
ShippingOptionId Text |
Instances
newtype WebAppInfo Source #
Constructors
WebAppInfo | |
Fields |
Instances
FromJSON WebAppInfo Source # | |
Defined in Telegram.Bot.API.Types.Common | |
ToJSON WebAppInfo Source # | |
Defined in Telegram.Bot.API.Types.Common Methods toJSON :: WebAppInfo -> Value # toEncoding :: WebAppInfo -> Encoding # toJSONList :: [WebAppInfo] -> Value # toEncodingList :: [WebAppInfo] -> Encoding # omitField :: WebAppInfo -> Bool # | |
Generic WebAppInfo Source # | |
Defined in Telegram.Bot.API.Types.Common Associated Types type Rep WebAppInfo :: Type -> Type # | |
Show WebAppInfo Source # | |
Defined in Telegram.Bot.API.Types.Common Methods showsPrec :: Int -> WebAppInfo -> ShowS # show :: WebAppInfo -> String # showList :: [WebAppInfo] -> ShowS # | |
type Rep WebAppInfo Source # | |
Defined in Telegram.Bot.API.Types.Common type Rep WebAppInfo = D1 ('MetaData "WebAppInfo" "Telegram.Bot.API.Types.Common" "telegram-bot-api-7.3.1-HIEcormdC3TJNwe3u54c0g" 'True) (C1 ('MetaCons "WebAppInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "webAppInfoUrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) |
newtype CallbackQueryId Source #
Constructors
CallbackQueryId Text |
Instances
newtype BusinessConnectionId Source #
Unique identifier of the business connection.
Constructors
BusinessConnectionId Text |
Instances
data SomeChatId Source #
Unique identifier for the target chat
or username of the target channel (in the format @channelusername
).
Constructors
SomeChatId ChatId | Unique chat ID. |
SomeChatUsername Text | Username of the target channel. |