| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Telegram.Bot.API.Types.Common
Synopsis
- newtype FileId = FileId Text
- newtype Seconds = Seconds Int
- newtype UserId = UserId Integer
- 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
- data SomeChatId
- addType :: Text -> [Pair] -> [Pair]
Documentation
Unique identifier for this file.
Instances
| Eq FileId Source # | |
| Show FileId Source # | |
| FromJSON FileId Source # | |
Defined in Telegram.Bot.API.Types.Common | |
| ToJSON FileId Source # | |
Defined in Telegram.Bot.API.Types.Common Methods toEncoding :: FileId -> Encoding toJSONList :: [FileId] -> Value toEncodingList :: [FileId] -> Encoding | |
| ToHttpApiData FileId Source # | |
Defined in Telegram.Bot.API.Types.Common Methods toUrlPiece :: FileId -> Text toEncodedUrlPiece :: FileId -> Builder toHeader :: FileId -> ByteString toQueryParam :: FileId -> Text | |
Instances
| Eq Seconds Source # | |
| Num Seconds Source # | |
| Show Seconds Source # | |
| FromJSON Seconds Source # | |
Defined in Telegram.Bot.API.Types.Common | |
| ToJSON Seconds Source # | |
Defined in Telegram.Bot.API.Types.Common Methods toEncoding :: Seconds -> Encoding toJSONList :: [Seconds] -> Value toEncodingList :: [Seconds] -> Encoding | |
Unique identifier for this user or bot.
Instances
| Eq UserId Source # | |
| Show UserId Source # | |
| FromJSON UserId Source # | |
Defined in Telegram.Bot.API.Types.Common | |
| ToJSON UserId Source # | |
Defined in Telegram.Bot.API.Types.Common Methods toEncoding :: UserId -> Encoding toJSONList :: [UserId] -> Value toEncodingList :: [UserId] -> Encoding | |
| ToHttpApiData UserId Source # | |
Defined in Telegram.Bot.API.Types.Common Methods toUrlPiece :: UserId -> Text toEncodedUrlPiece :: UserId -> Builder toHeader :: UserId -> ByteString toQueryParam :: UserId -> Text | |
Unique identifier for this chat.
Instances
| Eq ChatId Source # | |
| Show ChatId Source # | |
| FromJSON ChatId Source # | |
Defined in Telegram.Bot.API.Types.Common | |
| ToJSON ChatId Source # | |
Defined in Telegram.Bot.API.Types.Common Methods toEncoding :: ChatId -> Encoding toJSONList :: [ChatId] -> Value toEncodingList :: [ChatId] -> Encoding | |
| 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 | |
Unique message identifier inside this chat.
Instances
| Eq MessageId Source # | |
| Show MessageId Source # | |
| FromJSON MessageId Source # | |
Defined in Telegram.Bot.API.Types.Common | |
| ToJSON MessageId Source # | |
Defined in Telegram.Bot.API.Types.Common Methods toEncoding :: MessageId -> Encoding toJSONList :: [MessageId] -> Value toEncodingList :: [MessageId] -> Encoding | |
| 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 | |
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
| Eq MediaGroupId Source # | |
Defined in Telegram.Bot.API.Types.Common | |
| Show MediaGroupId Source # | |
Defined in Telegram.Bot.API.Types.Common Methods showsPrec :: Int -> MediaGroupId -> ShowS # show :: MediaGroupId -> String # showList :: [MediaGroupId] -> ShowS # | |
| 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 | |
Signed 32-bit identifier of the request, which will be received back in the UserShared or ChatShared object. Must be unique within the message.
Instances
| Eq RequestId Source # | |
| Show RequestId Source # | |
| FromJSON RequestId Source # | |
Defined in Telegram.Bot.API.Types.Common | |
| ToJSON RequestId Source # | |
Defined in Telegram.Bot.API.Types.Common Methods toEncoding :: RequestId -> Encoding toJSONList :: [RequestId] -> Value toEncodingList :: [RequestId] -> Encoding | |
Unique poll identifier.
Instances
| Eq PollId Source # | |
| Show PollId Source # | |
| FromJSON PollId Source # | |
Defined in Telegram.Bot.API.Types.Common | |
| ToJSON PollId Source # | |
Defined in Telegram.Bot.API.Types.Common Methods toEncoding :: PollId -> Encoding toJSONList :: [PollId] -> Value toEncodingList :: [PollId] -> Encoding | |
newtype ShippingOptionId Source #
Constructors
| ShippingOptionId Text |
Instances
newtype WebAppInfo Source #
Constructors
| WebAppInfo | |
Fields | |
Instances
| Show WebAppInfo Source # | |
Defined in Telegram.Bot.API.Types.Common Methods showsPrec :: Int -> WebAppInfo -> ShowS # show :: WebAppInfo -> String # showList :: [WebAppInfo] -> ShowS # | |
| Generic WebAppInfo Source # | |
Defined in Telegram.Bot.API.Types.Common Associated Types type Rep WebAppInfo :: Type -> Type # | |
| 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 | |
| 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-6.5-inplace" 'True) (C1 ('MetaCons "WebAppInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "webAppInfoUrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) | |
newtype CallbackQueryId Source #
Constructors
| CallbackQueryId 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. |