Telegram.Bot.API.Types.Common

Documentation

newtype FileId

Unique identifier for this file.

Constructors

FileId Text

Instances

FromJSON FileId

Defined in Telegram.Bot.API.Types.Common

Methods

parseJSON :: Value -> Parser FileId

parseJSONList :: Value -> Parser [FileId]

omittedField :: Maybe FileId

ToJSON FileId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: FileId -> Value

toEncoding :: FileId -> Encoding

toJSONList :: [FileId] -> Value

toEncodingList :: [FileId] -> Encoding

omitField :: FileId -> Bool

Show FileId

Defined in Telegram.Bot.API.Types.Common

Methods

showsPrec :: Int -> FileId -> ShowS

show :: FileId -> String

showList :: [FileId] -> ShowS

Eq FileId

Defined in Telegram.Bot.API.Types.Common

Methods

(==) :: FileId -> FileId -> Bool

(/=) :: FileId -> FileId -> Bool

ToHttpApiData FileId

Defined in Telegram.Bot.API.Types.Common

Methods

toUrlPiece :: FileId -> Text

toEncodedUrlPiece :: FileId -> Builder

toHeader :: FileId -> ByteString

toQueryParam :: FileId -> Text

toEncodedQueryParam :: FileId -> Builder

newtype Seconds

Constructors

Seconds Int

Instances

FromJSON Seconds

Defined in Telegram.Bot.API.Types.Common

Methods

parseJSON :: Value -> Parser Seconds

parseJSONList :: Value -> Parser [Seconds]

omittedField :: Maybe Seconds

ToJSON Seconds

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: Seconds -> Value

toEncoding :: Seconds -> Encoding

toJSONList :: [Seconds] -> Value

toEncodingList :: [Seconds] -> Encoding

omitField :: Seconds -> Bool

Num Seconds

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

Defined in Telegram.Bot.API.Types.Common

Methods

showsPrec :: Int -> Seconds -> ShowS

show :: Seconds -> String

showList :: [Seconds] -> ShowS

Eq Seconds

Defined in Telegram.Bot.API.Types.Common

Methods

(==) :: Seconds -> Seconds -> Bool

(/=) :: Seconds -> Seconds -> Bool

newtype UserId

Unique identifier for this user or bot.

Constructors

UserId Integer

Instances

FromJSON UserId

Defined in Telegram.Bot.API.Types.Common

Methods

parseJSON :: Value -> Parser UserId

parseJSONList :: Value -> Parser [UserId]

omittedField :: Maybe UserId

ToJSON UserId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: UserId -> Value

toEncoding :: UserId -> Encoding

toJSONList :: [UserId] -> Value

toEncodingList :: [UserId] -> Encoding

omitField :: UserId -> Bool

Show UserId

Defined in Telegram.Bot.API.Types.Common

Methods

showsPrec :: Int -> UserId -> ShowS

show :: UserId -> String

showList :: [UserId] -> ShowS

Eq UserId

Defined in Telegram.Bot.API.Types.Common

Methods

(==) :: UserId -> UserId -> Bool

(/=) :: UserId -> UserId -> Bool

ToHttpApiData UserId

Defined in Telegram.Bot.API.Types.Common

Methods

toUrlPiece :: UserId -> Text

toEncodedUrlPiece :: UserId -> Builder

toHeader :: UserId -> ByteString

toQueryParam :: UserId -> Text

toEncodedQueryParam :: UserId -> Builder

newtype BoostId

Unique identifier of the boost.

Constructors

BoostId Text

Instances

FromJSON BoostId

Defined in Telegram.Bot.API.Types.Common

Methods

parseJSON :: Value -> Parser BoostId

parseJSONList :: Value -> Parser [BoostId]

omittedField :: Maybe BoostId

ToJSON BoostId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: BoostId -> Value

toEncoding :: BoostId -> Encoding

toJSONList :: [BoostId] -> Value

toEncodingList :: [BoostId] -> Encoding

omitField :: BoostId -> Bool

Generic BoostId

Defined in Telegram.Bot.API.Types.Common

Associated Types

type Rep BoostId :: Type -> Type

Methods

from :: BoostId -> Rep BoostId x

to :: Rep BoostId x -> BoostId

Show BoostId

Defined in Telegram.Bot.API.Types.Common

Methods

showsPrec :: Int -> BoostId -> ShowS

show :: BoostId -> String

showList :: [BoostId] -> ShowS

Eq BoostId

Defined in Telegram.Bot.API.Types.Common

Methods

(==) :: BoostId -> BoostId -> Bool

(/=) :: BoostId -> BoostId -> Bool

type Rep BoostId

Defined in Telegram.Bot.API.Types.Common

type Rep BoostId = D1 ('MetaData "BoostId" "Telegram.Bot.API.Types.Common" "telegram-bot-api-7.3.1-HIEcormdC3TJNwe3u54c0g" 'True) (C1 ('MetaCons "BoostId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype ChatId

Unique identifier for this chat.

Constructors

ChatId Integer

Instances

FromJSON ChatId

Defined in Telegram.Bot.API.Types.Common

Methods

parseJSON :: Value -> Parser ChatId

parseJSONList :: Value -> Parser [ChatId]

omittedField :: Maybe ChatId

ToJSON ChatId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: ChatId -> Value

toEncoding :: ChatId -> Encoding

toJSONList :: [ChatId] -> Value

toEncodingList :: [ChatId] -> Encoding

omitField :: ChatId -> Bool

Show ChatId

Defined in Telegram.Bot.API.Types.Common

Methods

showsPrec :: Int -> ChatId -> ShowS

show :: ChatId -> String

showList :: [ChatId] -> ShowS

Eq ChatId

Defined in Telegram.Bot.API.Types.Common

Methods

(==) :: ChatId -> ChatId -> Bool

(/=) :: ChatId -> ChatId -> Bool

Hashable ChatId

Defined in Telegram.Bot.API.Types.Common

Methods

hashWithSalt :: Int -> ChatId -> Int

hash :: ChatId -> Int

ToHttpApiData ChatId

Defined in Telegram.Bot.API.Types.Common

Methods

toUrlPiece :: ChatId -> Text

toEncodedUrlPiece :: ChatId -> Builder

toHeader :: ChatId -> ByteString

toQueryParam :: ChatId -> Text

toEncodedQueryParam :: ChatId -> Builder

newtype MessageId

Unique message identifier inside this chat.

Constructors

MessageId Integer

Instances

FromJSON MessageId

Defined in Telegram.Bot.API.Types.Common

Methods

parseJSON :: Value -> Parser MessageId

parseJSONList :: Value -> Parser [MessageId]

omittedField :: Maybe MessageId

ToJSON MessageId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: MessageId -> Value

toEncoding :: MessageId -> Encoding

toJSONList :: [MessageId] -> Value

toEncodingList :: [MessageId] -> Encoding

omitField :: MessageId -> Bool

Show MessageId

Defined in Telegram.Bot.API.Types.Common

Methods

showsPrec :: Int -> MessageId -> ShowS

show :: MessageId -> String

showList :: [MessageId] -> ShowS

Eq MessageId

Defined in Telegram.Bot.API.Types.Common

Methods

(==) :: MessageId -> MessageId -> Bool

(/=) :: MessageId -> MessageId -> Bool

Hashable MessageId

Defined in Telegram.Bot.API.Types.Common

Methods

hashWithSalt :: Int -> MessageId -> Int

hash :: MessageId -> Int

ToHttpApiData MessageId

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

Unique identifier of a message thread to which the message belongs; for supergroups only.

Constructors

MessageThreadId Integer

Instances

FromJSON MessageThreadId

Defined in Telegram.Bot.API.Types.Common

Methods

parseJSON :: Value -> Parser MessageThreadId

parseJSONList :: Value -> Parser [MessageThreadId]

omittedField :: Maybe MessageThreadId

ToJSON MessageThreadId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: MessageThreadId -> Value

toEncoding :: MessageThreadId -> Encoding

toJSONList :: [MessageThreadId] -> Value

toEncodingList :: [MessageThreadId] -> Encoding

omitField :: MessageThreadId -> Bool

Show MessageThreadId

Defined in Telegram.Bot.API.Types.Common

Methods

showsPrec :: Int -> MessageThreadId -> ShowS

show :: MessageThreadId -> String

showList :: [MessageThreadId] -> ShowS

Eq MessageThreadId

Defined in Telegram.Bot.API.Types.Common

Methods

(==) :: MessageThreadId -> MessageThreadId -> Bool

(/=) :: MessageThreadId -> MessageThreadId -> Bool

Hashable MessageThreadId

Defined in Telegram.Bot.API.Types.Common

Methods

hashWithSalt :: Int -> MessageThreadId -> Int

hash :: MessageThreadId -> Int

ToHttpApiData MessageThreadId

Defined in Telegram.Bot.API.Types.Common

Methods

toUrlPiece :: MessageThreadId -> Text

toEncodedUrlPiece :: MessageThreadId -> Builder

toHeader :: MessageThreadId -> ByteString

toQueryParam :: MessageThreadId -> Text

toEncodedQueryParam :: MessageThreadId -> Builder

newtype MediaGroupId

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

Constructors

MediaGroupId Text

Instances

FromJSON MediaGroupId

Defined in Telegram.Bot.API.Types.Common

Methods

parseJSON :: Value -> Parser MediaGroupId

parseJSONList :: Value -> Parser [MediaGroupId]

omittedField :: Maybe MediaGroupId

ToJSON MediaGroupId

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

Defined in Telegram.Bot.API.Types.Common

Methods

showsPrec :: Int -> MediaGroupId -> ShowS

show :: MediaGroupId -> String

showList :: [MediaGroupId] -> ShowS

Eq MediaGroupId

Defined in Telegram.Bot.API.Types.Common

Methods

(==) :: MediaGroupId -> MediaGroupId -> Bool

(/=) :: MediaGroupId -> MediaGroupId -> Bool

newtype RequestId

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

FromJSON RequestId

Defined in Telegram.Bot.API.Types.Common

Methods

parseJSON :: Value -> Parser RequestId

parseJSONList :: Value -> Parser [RequestId]

omittedField :: Maybe RequestId

ToJSON RequestId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: RequestId -> Value

toEncoding :: RequestId -> Encoding

toJSONList :: [RequestId] -> Value

toEncodingList :: [RequestId] -> Encoding

omitField :: RequestId -> Bool

Show RequestId

Defined in Telegram.Bot.API.Types.Common

Methods

showsPrec :: Int -> RequestId -> ShowS

show :: RequestId -> String

showList :: [RequestId] -> ShowS

Eq RequestId

Defined in Telegram.Bot.API.Types.Common

Methods

(==) :: RequestId -> RequestId -> Bool

(/=) :: RequestId -> RequestId -> Bool

newtype PollId

Unique poll identifier.

Constructors

PollId Text

Instances

FromJSON PollId

Defined in Telegram.Bot.API.Types.Common

Methods

parseJSON :: Value -> Parser PollId

parseJSONList :: Value -> Parser [PollId]

omittedField :: Maybe PollId

ToJSON PollId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: PollId -> Value

toEncoding :: PollId -> Encoding

toJSONList :: [PollId] -> Value

toEncodingList :: [PollId] -> Encoding

omitField :: PollId -> Bool

Show PollId

Defined in Telegram.Bot.API.Types.Common

Methods

showsPrec :: Int -> PollId -> ShowS

show :: PollId -> String

showList :: [PollId] -> ShowS

Eq PollId

Defined in Telegram.Bot.API.Types.Common

Methods

(==) :: PollId -> PollId -> Bool

(/=) :: PollId -> PollId -> Bool

newtype ShippingOptionId

Constructors

ShippingOptionId Text

Instances

FromJSON ShippingOptionId

Defined in Telegram.Bot.API.Types.Common

Methods

parseJSON :: Value -> Parser ShippingOptionId

parseJSONList :: Value -> Parser [ShippingOptionId]

omittedField :: Maybe ShippingOptionId

ToJSON ShippingOptionId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: ShippingOptionId -> Value

toEncoding :: ShippingOptionId -> Encoding

toJSONList :: [ShippingOptionId] -> Value

toEncodingList :: [ShippingOptionId] -> Encoding

omitField :: ShippingOptionId -> Bool

Generic ShippingOptionId

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

Defined in Telegram.Bot.API.Types.Common

Methods

showsPrec :: Int -> ShippingOptionId -> ShowS

show :: ShippingOptionId -> String

showList :: [ShippingOptionId] -> ShowS

Eq ShippingOptionId

Defined in Telegram.Bot.API.Types.Common

Methods

(==) :: ShippingOptionId -> ShippingOptionId -> Bool

(/=) :: ShippingOptionId -> ShippingOptionId -> Bool

type Rep ShippingOptionId

Defined in Telegram.Bot.API.Types.Common

type Rep ShippingOptionId = D1 ('MetaData "ShippingOptionId" "Telegram.Bot.API.Types.Common" "telegram-bot-api-7.3.1-HIEcormdC3TJNwe3u54c0g" 'True) (C1 ('MetaCons "ShippingOptionId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype WebAppInfo

Constructors

WebAppInfo

Fields

• webAppInfoUrl :: Text

Instances

FromJSON WebAppInfo

Defined in Telegram.Bot.API.Types.Common

Methods

parseJSON :: Value -> Parser WebAppInfo

parseJSONList :: Value -> Parser [WebAppInfo]

omittedField :: Maybe WebAppInfo

ToJSON WebAppInfo

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

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

Defined in Telegram.Bot.API.Types.Common

Methods

showsPrec :: Int -> WebAppInfo -> ShowS

show :: WebAppInfo -> String

showList :: [WebAppInfo] -> ShowS

type Rep WebAppInfo

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

Constructors

CallbackQueryId Text

Instances

FromJSON CallbackQueryId

Defined in Telegram.Bot.API.Types.Common

Methods

parseJSON :: Value -> Parser CallbackQueryId

parseJSONList :: Value -> Parser [CallbackQueryId]

omittedField :: Maybe CallbackQueryId

ToJSON CallbackQueryId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: CallbackQueryId -> Value

toEncoding :: CallbackQueryId -> Encoding

toJSONList :: [CallbackQueryId] -> Value

toEncodingList :: [CallbackQueryId] -> Encoding

omitField :: CallbackQueryId -> Bool

Generic CallbackQueryId

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

Defined in Telegram.Bot.API.Types.Common

Methods

showsPrec :: Int -> CallbackQueryId -> ShowS

show :: CallbackQueryId -> String

showList :: [CallbackQueryId] -> ShowS

Eq CallbackQueryId

Defined in Telegram.Bot.API.Types.Common

Methods

(==) :: CallbackQueryId -> CallbackQueryId -> Bool

(/=) :: CallbackQueryId -> CallbackQueryId -> Bool

type Rep CallbackQueryId

Defined in Telegram.Bot.API.Types.Common

type Rep CallbackQueryId = D1 ('MetaData "CallbackQueryId" "Telegram.Bot.API.Types.Common" "telegram-bot-api-7.3.1-HIEcormdC3TJNwe3u54c0g" 'True) (C1 ('MetaCons "CallbackQueryId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype BusinessConnectionId

Unique identifier of the business connection.

Constructors

BusinessConnectionId Text

Instances

FromJSON BusinessConnectionId

Defined in Telegram.Bot.API.Types.Common

Methods

parseJSON :: Value -> Parser BusinessConnectionId

parseJSONList :: Value -> Parser [BusinessConnectionId]

omittedField :: Maybe BusinessConnectionId

ToJSON BusinessConnectionId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: BusinessConnectionId -> Value

toEncoding :: BusinessConnectionId -> Encoding

toJSONList :: [BusinessConnectionId] -> Value

toEncodingList :: [BusinessConnectionId] -> Encoding

omitField :: BusinessConnectionId -> Bool

Generic BusinessConnectionId

Defined in Telegram.Bot.API.Types.Common

Associated Types

type Rep BusinessConnectionId :: Type -> Type

Methods

from :: BusinessConnectionId -> Rep BusinessConnectionId x

to :: Rep BusinessConnectionId x -> BusinessConnectionId

Show BusinessConnectionId

Defined in Telegram.Bot.API.Types.Common

Methods

showsPrec :: Int -> BusinessConnectionId -> ShowS

show :: BusinessConnectionId -> String

showList :: [BusinessConnectionId] -> ShowS

Eq BusinessConnectionId

Defined in Telegram.Bot.API.Types.Common

Methods

(==) :: BusinessConnectionId -> BusinessConnectionId -> Bool

(/=) :: BusinessConnectionId -> BusinessConnectionId -> Bool

ToHttpApiData BusinessConnectionId

Defined in Telegram.Bot.API.Types.Common

Methods

toUrlPiece :: BusinessConnectionId -> Text

toEncodedUrlPiece :: BusinessConnectionId -> Builder

toHeader :: BusinessConnectionId -> ByteString

toQueryParam :: BusinessConnectionId -> Text

toEncodedQueryParam :: BusinessConnectionId -> Builder

type Rep BusinessConnectionId

Defined in Telegram.Bot.API.Types.Common

type Rep BusinessConnectionId = D1 ('MetaData "BusinessConnectionId" "Telegram.Bot.API.Types.Common" "telegram-bot-api-7.3.1-HIEcormdC3TJNwe3u54c0g" 'True) (C1 ('MetaCons "BusinessConnectionId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data SomeChatId

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

FromJSON SomeChatId

Defined in Telegram.Bot.API.Types.Common

Methods

parseJSON :: Value -> Parser SomeChatId

parseJSONList :: Value -> Parser [SomeChatId]

omittedField :: Maybe SomeChatId

ToJSON SomeChatId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: SomeChatId -> Value

toEncoding :: SomeChatId -> Encoding

toJSONList :: [SomeChatId] -> Value

toEncodingList :: [SomeChatId] -> Encoding

omitField :: SomeChatId -> Bool

Generic SomeChatId

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

Show SomeChatId

Defined in Telegram.Bot.API.Types.Common

Methods

showsPrec :: Int -> SomeChatId -> ShowS

show :: SomeChatId -> String

showList :: [SomeChatId] -> ShowS

ToHttpApiData SomeChatId

Defined in Telegram.Bot.API.Types.Common

Methods

toUrlPiece :: SomeChatId -> Text

toEncodedUrlPiece :: SomeChatId -> Builder

toHeader :: SomeChatId -> ByteString

toQueryParam :: SomeChatId -> Text

toEncodedQueryParam :: SomeChatId -> Builder

type Rep SomeChatId

Defined in Telegram.Bot.API.Types.Common

type Rep SomeChatId = D1 ('MetaData "SomeChatId" "Telegram.Bot.API.Types.Common" "telegram-bot-api-7.3.1-HIEcormdC3TJNwe3u54c0g" '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]