Safe Haskell	None
Language	Haskell2010

Web.Telegram.Types.Update

Contents

Response

Synopsis

data Update
- = Message {
  - updateId :: Integer
  - message :: Message
  }
- | EditedMessage {
  - updateId :: Integer
  - message :: Message
  }
- | ChannelPost {
  - updateId :: Integer
  - message :: Message
  }
- | EditedChannelPost {
  - updateId :: Integer
  - message :: Message
  }
- | InlineQuery {
  - updateId :: Integer
  - iquery :: InlineQuery
  }
- | ChosenInlineResult {
  - updateId :: Integer
  - result :: ChosenInlineResult
  }
- | CallbackQuery {
  - updateId :: Integer
  - cbquery :: CallbackQuery
  }
- | ShippingQuery {
  - updateId :: Integer
  - squery :: ShippingQuery
  }
- | PreCheckoutQuery {
  - updateId :: Integer
  - pcquery :: PreCheckoutQuery
  }
- | PollUpdate {
  - updateId :: Integer
  - poll :: Poll
  }
- | PollAnswer {
  - updateId :: Integer
  - answer :: PollAnswer
  }
data WebhookInfo = WebhookInfo {
- url :: Text
- hasCustomCertificate :: Bool
- pendingUpdateCount :: Integer
- lastErrorDate :: Maybe Integer
- lastErrorMessage :: Maybe Text
- maxConnections :: Maybe Integer
- allowedUpdates :: Maybe [UpdateType]
}
data ResponseParameters = ResponseParameters {
- migrateToChatId :: Maybe Integer
- retryAfter :: Maybe Integer
}
newtype ReqResult a = Ok a
data ReqEither a b
- = LLL a
- | RRR b
data BotCommand = BC {
- command :: Text
- description :: Text
}

Documentation

data Update Source #

An incoming update

Constructors

Message	New incoming message of any kind — text, photo, sticker, etc.
Fields updateId :: Integer message :: Message
EditedMessage	New version of a message that is known to the bot and was edited
Fields updateId :: Integer message :: Message
ChannelPost	New incoming channel post of any kind — text, photo, sticker, etc.
Fields updateId :: Integer message :: Message
EditedChannelPost	New version of a channel post that is known to the bot and was edited
Fields updateId :: Integer message :: Message
InlineQuery	New incoming inline query
Fields updateId :: Integer iquery :: InlineQuery
ChosenInlineResult	The result of an inline query that was chosen by a user and sent to their chat partner. Please see our documentation on the feedback collecting for details on how to enable these updates for your bot
Fields updateId :: Integer result :: ChosenInlineResult
CallbackQuery	New incoming callback query
Fields updateId :: Integer cbquery :: CallbackQuery
ShippingQuery	New incoming shipping query. Only for invoices with flexible price
Fields updateId :: Integer squery :: ShippingQuery
PreCheckoutQuery	New incoming pre-checkout query. Contains full information about checkout
Fields updateId :: Integer pcquery :: PreCheckoutQuery
PollUpdate	New poll state. Bots receive only updates about stopped polls and polls, which are sent by the bot
Fields updateId :: Integer poll :: Poll
PollAnswer	A user changed their answer in a non-anonymous poll. Bots receive new votes only in polls that were sent by the bot itself.
Fields updateId :: Integer answer :: PollAnswer

Instances

Eq Update Source #
Instance details Defined in Web.Telegram.Types.Internal.Update Methods (==) :: Update -> Update -> Bool # (/=) :: Update -> Update -> Bool #
Show Update Source #
Instance details Defined in Web.Telegram.Types.Internal.Update Methods showsPrec :: Int -> Update -> ShowS # show :: Update -> String # showList :: [Update] -> ShowS #
Generic Update Source #
Instance details Defined in Web.Telegram.Types.Internal.Update Associated Types type Rep Update :: Type -> Type # Methods from :: Update -> Rep Update x # to :: Rep Update x -> Update #
FromJSON Update Source #
Instance details Defined in Web.Telegram.Types.Internal.Update Methods parseJSON :: Value -> Parser Update # parseJSONList :: Value -> Parser [Update] #
Default Update Source #
Instance details Defined in Web.Telegram.Types.Internal.Update Methods def :: Update Source #
type Rep Update Source #
Instance details Defined in Web.Telegram.Types.Internal.Update type Rep Update = D1 (MetaData "Update" "Web.Telegram.Types.Internal.Update" "telegram-types-0.1.0-6TiTf83FaoyKIwaUxcYK63" False) (((C1 (MetaCons "Message" PrefixI True) (S1 (MetaSel (Just "updateId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :: S1 (MetaSel (Just "message") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Message)) :+: C1 (MetaCons "EditedMessage" PrefixI True) (S1 (MetaSel (Just "updateId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :: S1 (MetaSel (Just "message") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Message))) :+: (C1 (MetaCons "ChannelPost" PrefixI True) (S1 (MetaSel (Just "updateId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :: S1 (MetaSel (Just "message") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Message)) :+: (C1 (MetaCons "EditedChannelPost" PrefixI True) (S1 (MetaSel (Just "updateId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :: S1 (MetaSel (Just "message") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Message)) :+: C1 (MetaCons "InlineQuery" PrefixI True) (S1 (MetaSel (Just "updateId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :: S1 (MetaSel (Just "iquery") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InlineQuery))))) :+: ((C1 (MetaCons "ChosenInlineResult" PrefixI True) (S1 (MetaSel (Just "updateId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :: S1 (MetaSel (Just "result") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ChosenInlineResult)) :+: (C1 (MetaCons "CallbackQuery" PrefixI True) (S1 (MetaSel (Just "updateId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :: S1 (MetaSel (Just "cbquery") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CallbackQuery)) :+: C1 (MetaCons "ShippingQuery" PrefixI True) (S1 (MetaSel (Just "updateId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :: S1 (MetaSel (Just "squery") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShippingQuery)))) :+: (C1 (MetaCons "PreCheckoutQuery" PrefixI True) (S1 (MetaSel (Just "updateId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :: S1 (MetaSel (Just "pcquery") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PreCheckoutQuery)) :+: (C1 (MetaCons "PollUpdate" PrefixI True) (S1 (MetaSel (Just "updateId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :: S1 (MetaSel (Just "poll") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Poll)) :+: C1 (MetaCons "PollAnswer" PrefixI True) (S1 (MetaSel (Just "updateId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :*: S1 (MetaSel (Just "answer") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PollAnswer))))))

data WebhookInfo Source #

Contains information about the current status of a webhook.

Constructors

WebhookInfo

Fields

url :: Text
Webhook URL, may be empty if webhook is not set up
hasCustomCertificate :: Bool
True, if a custom certificate was provided for webhook certificate checks
pendingUpdateCount :: Integer
Number of updates awaiting delivery
lastErrorDate :: Maybe Integer
Unix time for the most recent error that happened when trying to deliver an update via webhook
lastErrorMessage :: Maybe Text
Error message in human-readable format for the most recent error that happened when trying to deliver an update via webhook
maxConnections :: Maybe Integer
Maximum allowed number of simultaneous HTTPS connections to the webhook for update delivery
allowedUpdates :: Maybe [UpdateType]
A list of update types the bot is subscribed to. Defaults to all update types

Instances

Eq WebhookInfo Source #
Instance details Defined in Web.Telegram.Types.Internal.Update Methods (==) :: WebhookInfo -> WebhookInfo -> Bool # (/=) :: WebhookInfo -> WebhookInfo -> Bool #
Show WebhookInfo Source #
Instance details Defined in Web.Telegram.Types.Internal.Update Methods showsPrec :: Int -> WebhookInfo -> ShowS # show :: WebhookInfo -> String # showList :: [WebhookInfo] -> ShowS #
Generic WebhookInfo Source #
Instance details Defined in Web.Telegram.Types.Internal.Update Associated Types type Rep WebhookInfo :: Type -> Type # Methods from :: WebhookInfo -> Rep WebhookInfo x # to :: Rep WebhookInfo x -> WebhookInfo #
ToJSON WebhookInfo Source #
Instance details Defined in Web.Telegram.Types.Internal.Update Methods toJSON :: WebhookInfo -> Value # toEncoding :: WebhookInfo -> Encoding # toJSONList :: [WebhookInfo] -> Value # toEncodingList :: [WebhookInfo] -> Encoding #
FromJSON WebhookInfo Source #
Instance details Defined in Web.Telegram.Types.Internal.Update Methods parseJSON :: Value -> Parser WebhookInfo # parseJSONList :: Value -> Parser [WebhookInfo] #
Default WebhookInfo Source #
Instance details Defined in Web.Telegram.Types.Internal.Update Methods def :: WebhookInfo Source #
type Rep WebhookInfo Source #
Instance details Defined in Web.Telegram.Types.Internal.Update type Rep WebhookInfo = D1 (MetaData "WebhookInfo" "Web.Telegram.Types.Internal.Update" "telegram-types-0.1.0-6TiTf83FaoyKIwaUxcYK63" False) (C1 (MetaCons "WebhookInfo" PrefixI True) ((S1 (MetaSel (Just "url") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Just "hasCustomCertificate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: S1 (MetaSel (Just "pendingUpdateCount") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer))) :: ((S1 (MetaSel (Just "lastErrorDate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Integer)) :: S1 (MetaSel (Just "lastErrorMessage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))) :: (S1 (MetaSel (Just "maxConnections") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Integer)) :: S1 (MetaSel (Just "allowedUpdates") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [UpdateType]))))))

Response

data ResponseParameters Source #

Constructors

ResponseParameters
Fields migrateToChatId :: Maybe Integer retryAfter :: Maybe Integer

Instances

Eq ResponseParameters Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods (==) :: ResponseParameters -> ResponseParameters -> Bool # (/=) :: ResponseParameters -> ResponseParameters -> Bool #
Show ResponseParameters Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods showsPrec :: Int -> ResponseParameters -> ShowS # show :: ResponseParameters -> String # showList :: [ResponseParameters] -> ShowS #
Generic ResponseParameters Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Associated Types type Rep ResponseParameters :: Type -> Type # Methods from :: ResponseParameters -> Rep ResponseParameters x # to :: Rep ResponseParameters x -> ResponseParameters #
ToJSON ResponseParameters Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods toJSON :: ResponseParameters -> Value # toEncoding :: ResponseParameters -> Encoding # toJSONList :: [ResponseParameters] -> Value # toEncodingList :: [ResponseParameters] -> Encoding #
FromJSON ResponseParameters Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods parseJSON :: Value -> Parser ResponseParameters # parseJSONList :: Value -> Parser [ResponseParameters] #
ToHttpApiData ResponseParameters Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods toUrlPiece :: ResponseParameters -> Text # toEncodedUrlPiece :: ResponseParameters -> Builder # toHeader :: ResponseParameters -> ByteString # toQueryParam :: ResponseParameters -> Text #
Default ResponseParameters Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods def :: ResponseParameters Source #
type Rep ResponseParameters Source #
Instance details Defined in Web.Telegram.Types.Internal.Common type Rep ResponseParameters = D1 (MetaData "ResponseParameters" "Web.Telegram.Types.Internal.Common" "telegram-types-0.1.0-6TiTf83FaoyKIwaUxcYK63" False) (C1 (MetaCons "ResponseParameters" PrefixI True) (S1 (MetaSel (Just "migrateToChatId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Integer)) :*: S1 (MetaSel (Just "retryAfter") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Integer))))

newtype ReqResult a Source #

Constructors

Ok a

Instances

Eq a => Eq (ReqResult a) Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods (==) :: ReqResult a -> ReqResult a -> Bool # (/=) :: ReqResult a -> ReqResult a -> Bool #
Show a => Show (ReqResult a) Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods showsPrec :: Int -> ReqResult a -> ShowS # show :: ReqResult a -> String # showList :: [ReqResult a] -> ShowS #
Generic (ReqResult a) Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Associated Types type Rep (ReqResult a) :: Type -> Type # Methods from :: ReqResult a -> Rep (ReqResult a) x # to :: Rep (ReqResult a) x -> ReqResult a #
FromJSON a => FromJSON (ReqResult a) Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods parseJSON :: Value -> Parser (ReqResult a) # parseJSONList :: Value -> Parser [ReqResult a] #
type Rep (ReqResult a) Source #
Instance details Defined in Web.Telegram.Types.Internal.Common type Rep (ReqResult a) = D1 (MetaData "ReqResult" "Web.Telegram.Types.Internal.Common" "telegram-types-0.1.0-6TiTf83FaoyKIwaUxcYK63" True) (C1 (MetaCons "Ok" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

data ReqEither a b Source #

Constructors

LLL a
RRR b

Instances

(Eq a, Eq b) => Eq (ReqEither a b) Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods (==) :: ReqEither a b -> ReqEither a b -> Bool # (/=) :: ReqEither a b -> ReqEither a b -> Bool #
(Show a, Show b) => Show (ReqEither a b) Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods showsPrec :: Int -> ReqEither a b -> ShowS # show :: ReqEither a b -> String # showList :: [ReqEither a b] -> ShowS #
Generic (ReqEither a b) Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Associated Types type Rep (ReqEither a b) :: Type -> Type # Methods from :: ReqEither a b -> Rep (ReqEither a b) x # to :: Rep (ReqEither a b) x -> ReqEither a b #
(FromJSON a, FromJSON b) => FromJSON (ReqEither a b) Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods parseJSON :: Value -> Parser (ReqEither a b) # parseJSONList :: Value -> Parser [ReqEither a b] #
type Rep (ReqEither a b) Source #
Instance details Defined in Web.Telegram.Types.Internal.Common type Rep (ReqEither a b) = D1 (MetaData "ReqEither" "Web.Telegram.Types.Internal.Common" "telegram-types-0.1.0-6TiTf83FaoyKIwaUxcYK63" False) (C1 (MetaCons "LLL" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "RRR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 b)))

data BotCommand Source #

Constructors

BC
Fields command :: Text description :: Text

Instances

Eq BotCommand Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods (==) :: BotCommand -> BotCommand -> Bool # (/=) :: BotCommand -> BotCommand -> Bool #
Show BotCommand Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods showsPrec :: Int -> BotCommand -> ShowS # show :: BotCommand -> String # showList :: [BotCommand] -> ShowS #
Generic BotCommand Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Associated Types type Rep BotCommand :: Type -> Type # Methods from :: BotCommand -> Rep BotCommand x # to :: Rep BotCommand x -> BotCommand #
ToJSON BotCommand Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods toJSON :: BotCommand -> Value # toEncoding :: BotCommand -> Encoding # toJSONList :: [BotCommand] -> Value # toEncodingList :: [BotCommand] -> Encoding #
FromJSON BotCommand Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods parseJSON :: Value -> Parser BotCommand # parseJSONList :: Value -> Parser [BotCommand] #
ToHttpApiData BotCommand Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods toUrlPiece :: BotCommand -> Text # toEncodedUrlPiece :: BotCommand -> Builder # toHeader :: BotCommand -> ByteString # toQueryParam :: BotCommand -> Text #
Default BotCommand Source #
Instance details Defined in Web.Telegram.Types.Internal.Common Methods def :: BotCommand Source #
type Rep BotCommand Source #
Instance details Defined in Web.Telegram.Types.Internal.Common type Rep BotCommand = D1 (MetaData "BotCommand" "Web.Telegram.Types.Internal.Common" "telegram-types-0.1.0-6TiTf83FaoyKIwaUxcYK63" False) (C1 (MetaCons "BC" PrefixI True) (S1 (MetaSel (Just "command") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "description") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))