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]

ToJSON FileId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: FileId -> Value

toEncoding :: FileId -> Encoding

toJSONList :: [FileId] -> Value

toEncodingList :: [FileId] -> Encoding

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

newtype Seconds

Constructors

Seconds Int

Instances

FromJSON Seconds

Defined in Telegram.Bot.API.Types.Common

Methods

parseJSON :: Value -> Parser Seconds

parseJSONList :: Value -> Parser [Seconds]

ToJSON Seconds

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: Seconds -> Value

toEncoding :: Seconds -> Encoding

toJSONList :: [Seconds] -> Value

toEncodingList :: [Seconds] -> Encoding

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]

ToJSON UserId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: UserId -> Value

toEncoding :: UserId -> Encoding

toJSONList :: [UserId] -> Value

toEncodingList :: [UserId] -> Encoding

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

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]

ToJSON ChatId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: ChatId -> Value

toEncoding :: ChatId -> Encoding

toJSONList :: [ChatId] -> Value

toEncodingList :: [ChatId] -> Encoding

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

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]

ToJSON MessageId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: MessageId -> Value

toEncoding :: MessageId -> Encoding

toJSONList :: [MessageId] -> Value

toEncodingList :: [MessageId] -> Encoding

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

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]

ToJSON MessageThreadId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: MessageThreadId -> Value

toEncoding :: MessageThreadId -> Encoding

toJSONList :: [MessageThreadId] -> Value

toEncodingList :: [MessageThreadId] -> Encoding

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

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]

ToJSON MediaGroupId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: MediaGroupId -> Value

toEncoding :: MediaGroupId -> Encoding

toJSONList :: [MediaGroupId] -> Value

toEncodingList :: [MediaGroupId] -> Encoding

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]

ToJSON RequestId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: RequestId -> Value

toEncoding :: RequestId -> Encoding

toJSONList :: [RequestId] -> Value

toEncodingList :: [RequestId] -> Encoding

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]

ToJSON PollId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: PollId -> Value

toEncoding :: PollId -> Encoding

toJSONList :: [PollId] -> Value

toEncodingList :: [PollId] -> Encoding

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]

ToJSON ShippingOptionId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: ShippingOptionId -> Value

toEncoding :: ShippingOptionId -> Encoding

toJSONList :: [ShippingOptionId] -> Value

toEncodingList :: [ShippingOptionId] -> Encoding

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-6.7-8B5O9jcStFh8aacJiwZZeM" '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]

ToJSON WebAppInfo

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: WebAppInfo -> Value

toEncoding :: WebAppInfo -> Encoding

toJSONList :: [WebAppInfo] -> Value

toEncodingList :: [WebAppInfo] -> Encoding

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-6.7-8B5O9jcStFh8aacJiwZZeM" '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]

ToJSON CallbackQueryId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: CallbackQueryId -> Value

toEncoding :: CallbackQueryId -> Encoding

toJSONList :: [CallbackQueryId] -> Value

toEncodingList :: [CallbackQueryId] -> Encoding

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-6.7-8B5O9jcStFh8aacJiwZZeM" 'True) (C1 ('MetaCons "CallbackQueryId" '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]

ToJSON SomeChatId

Defined in Telegram.Bot.API.Types.Common

Methods

toJSON :: SomeChatId -> Value

toEncoding :: SomeChatId -> Encoding

toJSONList :: [SomeChatId] -> Value

toEncodingList :: [SomeChatId] -> Encoding

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

ToHttpApiData SomeChatId

Defined in Telegram.Bot.API.Types.Common

Methods

toUrlPiece :: SomeChatId -> Text

toEncodedUrlPiece :: SomeChatId -> Builder

toHeader :: SomeChatId -> ByteString

toQueryParam :: SomeChatId -> Text

type Rep SomeChatId

Defined in Telegram.Bot.API.Types.Common

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