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 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 {
- webAppInfoUrl :: Text
}
newtype CallbackQueryId = CallbackQueryId Text
data SomeChatId
- = SomeChatId ChatId
- | SomeChatUsername Text
addType :: Text -> [Pair] -> [Pair]

Documentation

newtype FileId Source #

Unique identifier for this file.

Constructors

FileId Text

Instances

Instances details

FromJSON FileId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods parseJSON :: Value -> Parser FileId # parseJSONList :: Value -> Parser [FileId] #
ToJSON FileId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toJSON :: FileId -> Value # toEncoding :: FileId -> Encoding # toJSONList :: [FileId] -> Value # toEncodingList :: [FileId] -> Encoding #
Show FileId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods showsPrec :: Int -> FileId -> ShowS # show :: FileId -> String # showList :: [FileId] -> ShowS #
Eq FileId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods (==) :: FileId -> FileId -> Bool # (/=) :: FileId -> FileId -> Bool #
ToHttpApiData FileId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toUrlPiece :: FileId -> Text # toEncodedUrlPiece :: FileId -> Builder # toHeader :: FileId -> ByteString # toQueryParam :: FileId -> Text #

newtype Seconds Source #

Constructors

Seconds Int

Instances

Instances details

FromJSON Seconds Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods parseJSON :: Value -> Parser Seconds # parseJSONList :: Value -> Parser [Seconds] #
ToJSON Seconds Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toJSON :: Seconds -> Value # toEncoding :: Seconds -> Encoding # toJSONList :: [Seconds] -> Value # toEncodingList :: [Seconds] -> Encoding #
Num Seconds Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods (+) :: Seconds -> Seconds -> Seconds # (-) :: Seconds -> Seconds -> Seconds # (*) :: Seconds -> Seconds -> Seconds # negate :: Seconds -> Seconds # abs :: Seconds -> Seconds # signum :: Seconds -> Seconds # fromInteger :: Integer -> Seconds #
Show Seconds Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods showsPrec :: Int -> Seconds -> ShowS # show :: Seconds -> String # showList :: [Seconds] -> ShowS #
Eq Seconds Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods (==) :: Seconds -> Seconds -> Bool # (/=) :: Seconds -> Seconds -> Bool #

newtype UserId Source #

Unique identifier for this user or bot.

Constructors

UserId Integer

Instances

Instances details

FromJSON UserId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods parseJSON :: Value -> Parser UserId # parseJSONList :: Value -> Parser [UserId] #
ToJSON UserId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toJSON :: UserId -> Value # toEncoding :: UserId -> Encoding # toJSONList :: [UserId] -> Value # toEncodingList :: [UserId] -> Encoding #
Show UserId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods showsPrec :: Int -> UserId -> ShowS # show :: UserId -> String # showList :: [UserId] -> ShowS #
Eq UserId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods (==) :: UserId -> UserId -> Bool # (/=) :: UserId -> UserId -> Bool #
ToHttpApiData UserId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toUrlPiece :: UserId -> Text # toEncodedUrlPiece :: UserId -> Builder # toHeader :: UserId -> ByteString # toQueryParam :: UserId -> Text #

newtype ChatId Source #

Unique identifier for this chat.

Constructors

ChatId Integer

Instances

Instances details

FromJSON ChatId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods parseJSON :: Value -> Parser ChatId # parseJSONList :: Value -> Parser [ChatId] #
ToJSON ChatId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toJSON :: ChatId -> Value # toEncoding :: ChatId -> Encoding # toJSONList :: [ChatId] -> Value # toEncodingList :: [ChatId] -> Encoding #
Show ChatId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods showsPrec :: Int -> ChatId -> ShowS # show :: ChatId -> String # showList :: [ChatId] -> ShowS #
Eq ChatId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods (==) :: ChatId -> ChatId -> Bool # (/=) :: ChatId -> ChatId -> Bool #
Hashable ChatId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods hashWithSalt :: Int -> ChatId -> Int # hash :: ChatId -> Int #
ToHttpApiData ChatId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toUrlPiece :: ChatId -> Text # toEncodedUrlPiece :: ChatId -> Builder # toHeader :: ChatId -> ByteString # toQueryParam :: ChatId -> Text #

newtype MessageId Source #

Unique message identifier inside this chat.

Constructors

MessageId Integer

Instances

Instances details

FromJSON MessageId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods parseJSON :: Value -> Parser MessageId # parseJSONList :: Value -> Parser [MessageId] #
ToJSON MessageId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toJSON :: MessageId -> Value # toEncoding :: MessageId -> Encoding # toJSONList :: [MessageId] -> Value # toEncodingList :: [MessageId] -> Encoding #
Show MessageId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods showsPrec :: Int -> MessageId -> ShowS # show :: MessageId -> String # showList :: [MessageId] -> ShowS #
Eq MessageId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods (==) :: MessageId -> MessageId -> Bool # (/=) :: MessageId -> MessageId -> Bool #
Hashable MessageId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods hashWithSalt :: Int -> MessageId -> Int # hash :: MessageId -> Int #
ToHttpApiData MessageId Source #
Instance details 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

Instances details

FromJSON MessageThreadId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods parseJSON :: Value -> Parser MessageThreadId # parseJSONList :: Value -> Parser [MessageThreadId] #
ToJSON MessageThreadId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toJSON :: MessageThreadId -> Value # toEncoding :: MessageThreadId -> Encoding # toJSONList :: [MessageThreadId] -> Value # toEncodingList :: [MessageThreadId] -> Encoding #
Show MessageThreadId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods showsPrec :: Int -> MessageThreadId -> ShowS # show :: MessageThreadId -> String # showList :: [MessageThreadId] -> ShowS #
Eq MessageThreadId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods (==) :: MessageThreadId -> MessageThreadId -> Bool # (/=) :: MessageThreadId -> MessageThreadId -> Bool #
Hashable MessageThreadId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods hashWithSalt :: Int -> MessageThreadId -> Int # hash :: MessageThreadId -> Int #
ToHttpApiData MessageThreadId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toUrlPiece :: MessageThreadId -> Text # toEncodedUrlPiece :: MessageThreadId -> Builder # toHeader :: MessageThreadId -> ByteString # toQueryParam :: MessageThreadId -> Text #

newtype MediaGroupId Source #

The unique identifier of a media message group a message belongs to.

Constructors

MediaGroupId Text

Instances

Instances details

FromJSON MediaGroupId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods parseJSON :: Value -> Parser MediaGroupId # parseJSONList :: Value -> Parser [MediaGroupId] #
ToJSON MediaGroupId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toJSON :: MediaGroupId -> Value # toEncoding :: MediaGroupId -> Encoding # toJSONList :: [MediaGroupId] -> Value # toEncodingList :: [MediaGroupId] -> Encoding #
Show MediaGroupId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods showsPrec :: Int -> MediaGroupId -> ShowS # show :: MediaGroupId -> String # showList :: [MediaGroupId] -> ShowS #
Eq MediaGroupId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods (==) :: MediaGroupId -> MediaGroupId -> Bool # (/=) :: MediaGroupId -> MediaGroupId -> Bool #

newtype RequestId Source #

Signed 32-bit identifier of the request, which will be received back in the UserShared or ChatShared object. Must be unique within the message.

Constructors

RequestId Integer

Instances

Instances details

FromJSON RequestId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods parseJSON :: Value -> Parser RequestId # parseJSONList :: Value -> Parser [RequestId] #
ToJSON RequestId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toJSON :: RequestId -> Value # toEncoding :: RequestId -> Encoding # toJSONList :: [RequestId] -> Value # toEncodingList :: [RequestId] -> Encoding #
Show RequestId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods showsPrec :: Int -> RequestId -> ShowS # show :: RequestId -> String # showList :: [RequestId] -> ShowS #
Eq RequestId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods (==) :: RequestId -> RequestId -> Bool # (/=) :: RequestId -> RequestId -> Bool #

newtype PollId Source #

Unique poll identifier.

Constructors

PollId Text

Instances

Instances details

FromJSON PollId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods parseJSON :: Value -> Parser PollId # parseJSONList :: Value -> Parser [PollId] #
ToJSON PollId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toJSON :: PollId -> Value # toEncoding :: PollId -> Encoding # toJSONList :: [PollId] -> Value # toEncodingList :: [PollId] -> Encoding #
Show PollId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods showsPrec :: Int -> PollId -> ShowS # show :: PollId -> String # showList :: [PollId] -> ShowS #
Eq PollId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods (==) :: PollId -> PollId -> Bool # (/=) :: PollId -> PollId -> Bool #

newtype ShippingOptionId Source #

Constructors

ShippingOptionId Text

Instances

Instances details

FromJSON ShippingOptionId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods parseJSON :: Value -> Parser ShippingOptionId # parseJSONList :: Value -> Parser [ShippingOptionId] #
ToJSON ShippingOptionId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toJSON :: ShippingOptionId -> Value # toEncoding :: ShippingOptionId -> Encoding # toJSONList :: [ShippingOptionId] -> Value # toEncodingList :: [ShippingOptionId] -> Encoding #
Generic ShippingOptionId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Associated Types type Rep ShippingOptionId :: Type -> Type # Methods from :: ShippingOptionId -> Rep ShippingOptionId x # to :: Rep ShippingOptionId x -> ShippingOptionId #
Show ShippingOptionId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods showsPrec :: Int -> ShippingOptionId -> ShowS # show :: ShippingOptionId -> String # showList :: [ShippingOptionId] -> ShowS #
Eq ShippingOptionId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods (==) :: ShippingOptionId -> ShippingOptionId -> Bool # (/=) :: ShippingOptionId -> ShippingOptionId -> Bool #
type Rep ShippingOptionId Source #
Instance details Defined in Telegram.Bot.API.Types.Common type Rep ShippingOptionId = D1 ('MetaData "ShippingOptionId" "Telegram.Bot.API.Types.Common" "telegram-bot-api-6.5-3pY7XQZ5v9zCuyh8HdDMyB" 'True) (C1 ('MetaCons "ShippingOptionId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype WebAppInfo Source #

Constructors

WebAppInfo
Fields webAppInfoUrl :: Text

Instances

Instances details

FromJSON WebAppInfo Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods parseJSON :: Value -> Parser WebAppInfo # parseJSONList :: Value -> Parser [WebAppInfo] #
ToJSON WebAppInfo Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toJSON :: WebAppInfo -> Value # toEncoding :: WebAppInfo -> Encoding # toJSONList :: [WebAppInfo] -> Value # toEncodingList :: [WebAppInfo] -> Encoding #
Generic WebAppInfo Source #
Instance details Defined in Telegram.Bot.API.Types.Common Associated Types type Rep WebAppInfo :: Type -> Type # Methods from :: WebAppInfo -> Rep WebAppInfo x # to :: Rep WebAppInfo x -> WebAppInfo #
Show WebAppInfo Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods showsPrec :: Int -> WebAppInfo -> ShowS # show :: WebAppInfo -> String # showList :: [WebAppInfo] -> ShowS #
type Rep WebAppInfo Source #
Instance details Defined in Telegram.Bot.API.Types.Common type Rep WebAppInfo = D1 ('MetaData "WebAppInfo" "Telegram.Bot.API.Types.Common" "telegram-bot-api-6.5-3pY7XQZ5v9zCuyh8HdDMyB" 'True) (C1 ('MetaCons "WebAppInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "webAppInfoUrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype CallbackQueryId Source #

Constructors

CallbackQueryId Text

Instances

Instances details

FromJSON CallbackQueryId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods parseJSON :: Value -> Parser CallbackQueryId # parseJSONList :: Value -> Parser [CallbackQueryId] #
ToJSON CallbackQueryId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toJSON :: CallbackQueryId -> Value # toEncoding :: CallbackQueryId -> Encoding # toJSONList :: [CallbackQueryId] -> Value # toEncodingList :: [CallbackQueryId] -> Encoding #
Generic CallbackQueryId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Associated Types type Rep CallbackQueryId :: Type -> Type # Methods from :: CallbackQueryId -> Rep CallbackQueryId x # to :: Rep CallbackQueryId x -> CallbackQueryId #
Show CallbackQueryId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods showsPrec :: Int -> CallbackQueryId -> ShowS # show :: CallbackQueryId -> String # showList :: [CallbackQueryId] -> ShowS #
Eq CallbackQueryId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods (==) :: CallbackQueryId -> CallbackQueryId -> Bool # (/=) :: CallbackQueryId -> CallbackQueryId -> Bool #
type Rep CallbackQueryId Source #
Instance details Defined in Telegram.Bot.API.Types.Common type Rep CallbackQueryId = D1 ('MetaData "CallbackQueryId" "Telegram.Bot.API.Types.Common" "telegram-bot-api-6.5-3pY7XQZ5v9zCuyh8HdDMyB" 'True) (C1 ('MetaCons "CallbackQueryId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

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.

Instances

Instances details

FromJSON SomeChatId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods parseJSON :: Value -> Parser SomeChatId # parseJSONList :: Value -> Parser [SomeChatId] #
ToJSON SomeChatId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toJSON :: SomeChatId -> Value # toEncoding :: SomeChatId -> Encoding # toJSONList :: [SomeChatId] -> Value # toEncodingList :: [SomeChatId] -> Encoding #
Generic SomeChatId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Associated Types type Rep SomeChatId :: Type -> Type # Methods from :: SomeChatId -> Rep SomeChatId x # to :: Rep SomeChatId x -> SomeChatId #
ToHttpApiData SomeChatId Source #
Instance details Defined in Telegram.Bot.API.Types.Common Methods toUrlPiece :: SomeChatId -> Text # toEncodedUrlPiece :: SomeChatId -> Builder # toHeader :: SomeChatId -> ByteString # toQueryParam :: SomeChatId -> Text #
type Rep SomeChatId Source #
Instance details Defined in Telegram.Bot.API.Types.Common type Rep SomeChatId = D1 ('MetaData "SomeChatId" "Telegram.Bot.API.Types.Common" "telegram-bot-api-6.5-3pY7XQZ5v9zCuyh8HdDMyB" 'False) (C1 ('MetaCons "SomeChatId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChatId)) :+: C1 ('MetaCons "SomeChatUsername" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

addType :: Text -> [Pair] -> [Pair] Source #