Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 parseJSON :: Value -> Parser FileId parseJSONList :: Value -> Parser [FileId] | |
ToJSON FileId Source # | |
Defined in Telegram.Bot.API.Types.Common toEncoding :: FileId -> Encoding toJSONList :: [FileId] -> Value toEncodingList :: [FileId] -> Encoding | |
ToHttpApiData FileId Source # | |
Defined in Telegram.Bot.API.Types.Common 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 parseJSON :: Value -> Parser Seconds parseJSONList :: Value -> Parser [Seconds] | |
ToJSON Seconds Source # | |
Defined in Telegram.Bot.API.Types.Common 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 parseJSON :: Value -> Parser UserId parseJSONList :: Value -> Parser [UserId] | |
ToJSON UserId Source # | |
Defined in Telegram.Bot.API.Types.Common toEncoding :: UserId -> Encoding toJSONList :: [UserId] -> Value toEncodingList :: [UserId] -> Encoding | |
ToHttpApiData UserId Source # | |
Defined in Telegram.Bot.API.Types.Common 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 parseJSON :: Value -> Parser ChatId parseJSONList :: Value -> Parser [ChatId] | |
ToJSON ChatId Source # | |
Defined in Telegram.Bot.API.Types.Common 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 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 parseJSON :: Value -> Parser MessageId parseJSONList :: Value -> Parser [MessageId] | |
ToJSON MessageId Source # | |
Defined in Telegram.Bot.API.Types.Common 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 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.
Instances
newtype MediaGroupId Source #
The unique identifier of a media message group a message belongs to.
Instances
Eq MediaGroupId Source # | |
Defined in Telegram.Bot.API.Types.Common (==) :: MediaGroupId -> MediaGroupId -> Bool # (/=) :: MediaGroupId -> MediaGroupId -> Bool # | |
Show MediaGroupId Source # | |
Defined in Telegram.Bot.API.Types.Common showsPrec :: Int -> MediaGroupId -> ShowS # show :: MediaGroupId -> String # showList :: [MediaGroupId] -> ShowS # | |
FromJSON MediaGroupId Source # | |
Defined in Telegram.Bot.API.Types.Common parseJSON :: Value -> Parser MediaGroupId parseJSONList :: Value -> Parser [MediaGroupId] | |
ToJSON MediaGroupId Source # | |
Defined in Telegram.Bot.API.Types.Common 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 parseJSON :: Value -> Parser RequestId parseJSONList :: Value -> Parser [RequestId] | |
ToJSON RequestId Source # | |
Defined in Telegram.Bot.API.Types.Common 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 parseJSON :: Value -> Parser PollId parseJSONList :: Value -> Parser [PollId] | |
ToJSON PollId Source # | |
Defined in Telegram.Bot.API.Types.Common toEncoding :: PollId -> Encoding toJSONList :: [PollId] -> Value toEncodingList :: [PollId] -> Encoding |
newtype ShippingOptionId Source #
Instances
newtype WebAppInfo Source #
Instances
newtype CallbackQueryId Source #
Instances
data SomeChatId Source #
Unique identifier for the target chat
or username of the target channel (in the format @channelusername
).
SomeChatId ChatId | Unique chat ID. |
SomeChatUsername Text | Username of the target channel. |