telegram-raw-api-0.1.0: Servant bindings to the Telegram bot API

Safe HaskellNone
LanguageHaskell2010

Web.Telegram.API.Editing

Documentation

type EditMessageText = Base :> ("editMessageText" :> (ReqBody '[JSON] TextEdit :> Res)) Source #

type EditMessageCaption = Base :> ("editMessageCaption" :> (CaptionEdit :> Res)) Source #

type EditMessageMedia = Base :> ("editMessageMedia" :> (QueryParam "chat_id" ChatId :> (QueryParam "message_id" Integer :> (QueryParam "inline_message_id" Text :> (CompoundParam Mem "media" InputMedia :> Res))))) Source #

type EditMessageReplyMarkup = Base :> ("editMessageReplyMarkup" :> (ReqBody '[JSON] MarkupEdit :> Res)) Source #

type StopPoll = Base :> ("stopPoll" :> (ReqBody '[JSON] PollStop :> Get '[JSON] (ReqResult Poll))) Source #

type DeleteMessage = Base :> ("deleteMessage" :> (QueryR "chat_id" ChatId :> (QueryR "message_id" Integer :> Get '[JSON] (ReqResult Bool)))) Source #

data TextEdit Source #

Instances
Eq TextEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Show TextEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Generic TextEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Associated Types

type Rep TextEdit :: Type -> Type #

Methods

from :: TextEdit -> Rep TextEdit x #

to :: Rep TextEdit x -> TextEdit #

ToJSON TextEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

FromJSON TextEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Default TextEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Methods

def :: TextEdit #

type Rep TextEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

data CaptionEdit Source #

Instances
Eq CaptionEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Show CaptionEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Generic CaptionEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Associated Types

type Rep CaptionEdit :: Type -> Type #

ToJSON CaptionEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

FromJSON CaptionEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Default CaptionEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Methods

def :: CaptionEdit #

type Rep CaptionEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

data MediaEdit Source #

Instances
Eq MediaEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Show MediaEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Generic MediaEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Associated Types

type Rep MediaEdit :: Type -> Type #

ToJSON MediaEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Default MediaEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Methods

def :: MediaEdit #

type Rep MediaEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

type Rep MediaEdit = D1 (MetaData "MediaEdit" "Web.Telegram.API.Editing.Data" "telegram-raw-api-0.1.0-6INSX8mwqV2A3qTaYNvjDy" False) (C1 (MetaCons "MediaE" PrefixI True) ((S1 (MetaSel (Just "chatId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ChatId)) :*: S1 (MetaSel (Just "messageId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Integer))) :*: (S1 (MetaSel (Just "inlineMessageId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :*: S1 (MetaSel (Just "media") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InputMedia))))

data MarkupEdit Source #

Instances
Eq MarkupEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Show MarkupEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Generic MarkupEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Associated Types

type Rep MarkupEdit :: Type -> Type #

ToJSON MarkupEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Default MarkupEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Methods

def :: MarkupEdit #

type Rep MarkupEdit Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

type Rep MarkupEdit = D1 (MetaData "MarkupEdit" "Web.Telegram.API.Editing.Data" "telegram-raw-api-0.1.0-6INSX8mwqV2A3qTaYNvjDy" False) (C1 (MetaCons "MarkupEdit" PrefixI True) ((S1 (MetaSel (Just "chatId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ChatId)) :*: S1 (MetaSel (Just "messageId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Integer))) :*: (S1 (MetaSel (Just "inlineMessageId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :*: S1 (MetaSel (Just "replyMarkup") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe InlineKeyboardMarkup)))))

data PollStop Source #

Instances
Eq PollStop Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Show PollStop Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Generic PollStop Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Associated Types

type Rep PollStop :: Type -> Type #

Methods

from :: PollStop -> Rep PollStop x #

to :: Rep PollStop x -> PollStop #

ToJSON PollStop Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Default PollStop Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

Methods

def :: PollStop #

type Rep PollStop Source # 
Instance details

Defined in Web.Telegram.API.Editing.Data

type Rep PollStop = D1 (MetaData "PollStop" "Web.Telegram.API.Editing.Data" "telegram-raw-api-0.1.0-6INSX8mwqV2A3qTaYNvjDy" False) (C1 (MetaCons "PollStop" PrefixI True) (S1 (MetaSel (Just "chatId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ChatId) :*: (S1 (MetaSel (Just "messageId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :*: S1 (MetaSel (Just "replyMarkup") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe InlineKeyboardMarkup)))))