Safe Haskell	None
Language	Haskell2010

Network.API.Telegram.Bot.Object.Update.Message

Documentation

module Network.API.Telegram.Bot.Object.Update.Message.Origin

module Network.API.Telegram.Bot.Object.Update.Message.Keyboard

module Network.API.Telegram.Bot.Object.Update.Message.Content

data Message Source #

Constructors

Direct Int Origin Content
Forwarded Int Origin Content
Replied Int Origin Content Message

Instances

Show Message Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Methods showsPrec :: Int -> Message -> ShowS # show :: Message -> String # showList :: [Message] -> ShowS #
FromJSON Message Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Methods parseJSON :: Value -> Parser Message parseJSONList :: Value -> Parser [Message]
Identifiable Message Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Identificator Message :: * Source # Methods ident :: Message -> Identificator Message Source #
Accessible Content Message Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Methods access :: Lens' Message Content Source #
Accessible Origin Message Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Methods access :: Lens' Message Origin Source #
Persistable (Delete Message) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Delete Message) = (payload :: *) Source # Methods payload :: Payload (Delete Message) -> Object Source # endpoint :: Payload (Delete Message) -> String Source # persist :: FromJSON r => Payload (Delete Message) -> Telegram e r Source # persist_ :: Payload (Delete Message) -> Telegram e () Source #
Persistable (Forward Message) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Forward Message) = (payload :: *) Source # Methods payload :: Payload (Forward Message) -> Object Source # endpoint :: Payload (Forward Message) -> String Source # persist :: FromJSON r => Payload (Forward Message) -> Telegram e r Source # persist_ :: Payload (Forward Message) -> Telegram e () Source #
type Identificator Message Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Identificator Message = Int
type Payload (Delete Message) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Delete Message) = Delete Message
type Payload (Forward Message) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Forward Message) = Forward Message

data Send a Source #

Constructors

Send Int64 a

Instances

Persistable (Send Text) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Send Text) = (payload :: *) Source # Methods payload :: Payload (Send Text) -> Object Source # endpoint :: Payload (Send Text) -> String Source # persist :: FromJSON r => Payload (Send Text) -> Telegram e r Source # persist_ :: Payload (Send Text) -> Telegram e () Source #
Persistable (Send Audio) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Send Audio) = (payload :: *) Source # Methods payload :: Payload (Send Audio) -> Object Source # endpoint :: Payload (Send Audio) -> String Source # persist :: FromJSON r => Payload (Send Audio) -> Telegram e r Source # persist_ :: Payload (Send Audio) -> Telegram e () Source #
Persistable (Send Document) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Send Document) = (payload :: *) Source # Methods payload :: Payload (Send Document) -> Object Source # endpoint :: Payload (Send Document) -> String Source # persist :: FromJSON r => Payload (Send Document) -> Telegram e r Source # persist_ :: Payload (Send Document) -> Telegram e () Source #
Persistable (Send Video) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Send Video) = (payload :: *) Source # Methods payload :: Payload (Send Video) -> Object Source # endpoint :: Payload (Send Video) -> String Source # persist :: FromJSON r => Payload (Send Video) -> Telegram e r Source # persist_ :: Payload (Send Video) -> Telegram e () Source #
Persistable (Send Voice) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Send Voice) = (payload :: *) Source # Methods payload :: Payload (Send Voice) -> Object Source # endpoint :: Payload (Send Voice) -> String Source # persist :: FromJSON r => Payload (Send Voice) -> Telegram e r Source # persist_ :: Payload (Send Voice) -> Telegram e () Source #
Persistable (Send (Live Location)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Send (Live Location)) = (payload :: *) Source # Methods payload :: Payload (Send (Live Location)) -> Object Source # endpoint :: Payload (Send (Live Location)) -> String Source # persist :: FromJSON r => Payload (Send (Live Location)) -> Telegram e r Source # persist_ :: Payload (Send (Live Location)) -> Telegram e () Source #
Persistable (Send Location) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Send Location) = (payload :: *) Source # Methods payload :: Payload (Send Location) -> Object Source # endpoint :: Payload (Send Location) -> String Source # persist :: FromJSON r => Payload (Send Location) -> Telegram e r Source # persist_ :: Payload (Send Location) -> Telegram e () Source #
Persistable (Send Poll) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Send Poll) = (payload :: *) Source # Methods payload :: Payload (Send Poll) -> Object Source # endpoint :: Payload (Send Poll) -> String Source # persist :: FromJSON r => Payload (Send Poll) -> Telegram e r Source # persist_ :: Payload (Send Poll) -> Telegram e () Source #
Persistable (Send (Text :&: Keyboard)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Send (Text :&: Keyboard)) = (payload :: *) Source # Methods payload :: Payload (Send (Text :&: Keyboard)) -> Object Source # endpoint :: Payload (Send (Text :&: Keyboard)) -> String Source # persist :: FromJSON r => Payload (Send (Text :&: Keyboard)) -> Telegram e r Source # persist_ :: Payload (Send (Text :&: Keyboard)) -> Telegram e () Source #
Persistable (Send (Caption :&: Audio)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Send (Caption :&: Audio)) = (payload :: *) Source # Methods payload :: Payload (Send (Caption :&: Audio)) -> Object Source # endpoint :: Payload (Send (Caption :&: Audio)) -> String Source # persist :: FromJSON r => Payload (Send (Caption :&: Audio)) -> Telegram e r Source # persist_ :: Payload (Send (Caption :&: Audio)) -> Telegram e () Source #
Persistable (Send (Caption :&: Document)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Send (Caption :&: Document)) = (payload :: *) Source # Methods payload :: Payload (Send (Caption :&: Document)) -> Object Source # endpoint :: Payload (Send (Caption :&: Document)) -> String Source # persist :: FromJSON r => Payload (Send (Caption :&: Document)) -> Telegram e r Source # persist_ :: Payload (Send (Caption :&: Document)) -> Telegram e () Source #
Persistable (Send (Caption :&: Video)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Send (Caption :&: Video)) = (payload :: *) Source # Methods payload :: Payload (Send (Caption :&: Video)) -> Object Source # endpoint :: Payload (Send (Caption :&: Video)) -> String Source # persist :: FromJSON r => Payload (Send (Caption :&: Video)) -> Telegram e r Source # persist_ :: Payload (Send (Caption :&: Video)) -> Telegram e () Source #
Persistable (Send (Caption :&: Voice)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Send (Caption :&: Voice)) = (payload :: *) Source # Methods payload :: Payload (Send (Caption :&: Voice)) -> Object Source # endpoint :: Payload (Send (Caption :&: Voice)) -> String Source # persist :: FromJSON r => Payload (Send (Caption :&: Voice)) -> Telegram e r Source # persist_ :: Payload (Send (Caption :&: Voice)) -> Telegram e () Source #
Persistable (Send obj) => Persistable (Silently Send obj :: *) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Silently Send obj) = (payload :: *) Source # Methods payload :: Payload (Silently Send obj) -> Object Source # endpoint :: Payload (Silently Send obj) -> String Source # persist :: FromJSON r => Payload (Silently Send obj) -> Telegram e r Source # persist_ :: Payload (Silently Send obj) -> Telegram e () Source #
type Payload (Send Text) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Send Text) = Send Text
type Payload (Send Audio) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Send Audio) = Send (URI :&: Audio)
type Payload (Send Document) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Send Document) = Send (URI :&: Document)
type Payload (Send Video) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Send Video) = Send (URI :&: Video)
type Payload (Send Voice) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Send Voice) = Send (URI :&: Voice)
type Payload (Send (Live Location)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Send (Live Location)) = Send (Live Location)
type Payload (Send Location) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Send Location) = Send Location
type Payload (Send Poll) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Send Poll) = Send Poll
type Payload (Send (Text :&: Keyboard)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Send (Text :&: Keyboard)) = Send (Text :&: Keyboard)
type Payload (Send (Caption :&: Audio)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Send (Caption :&: Audio)) = Send (Caption :&: (URI :&: Audio))
type Payload (Send (Caption :&: Document)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Send (Caption :&: Document)) = Send (Caption :&: (URI :&: Document))
type Payload (Send (Caption :&: Video)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Send (Caption :&: Video)) = Send (Caption :&: (URI :&: Video))
type Payload (Send (Caption :&: Voice)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Send (Caption :&: Voice)) = Send (Caption :&: (URI :&: Voice))
type Payload (Silently Send obj :: *) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Silently Send obj :: *) = Silently Send (Payload (Send obj))

data Reply a Source #

Constructors

Reply Int a

Instances

Persistable (Send a) => Persistable (Reply a :: *) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Reply a) = (payload :: *) Source # Methods payload :: Payload (Reply a) -> Object Source # endpoint :: Payload (Reply a) -> String Source # persist :: FromJSON r => Payload (Reply a) -> Telegram e r Source # persist_ :: Payload (Reply a) -> Telegram e () Source #
Persistable (Reply obj) => Persistable (Silently Reply obj :: *) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Silently Reply obj) = (payload :: *) Source # Methods payload :: Payload (Silently Reply obj) -> Object Source # endpoint :: Payload (Silently Reply obj) -> String Source # persist :: FromJSON r => Payload (Silently Reply obj) -> Telegram e r Source # persist_ :: Payload (Silently Reply obj) -> Telegram e () Source #
type Payload (Reply a :: *) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Reply a :: *) = Reply (Payload (Send a))
type Payload (Silently Reply obj :: *) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Silently Reply obj :: *) = Silently Reply (Payload (Reply obj))

data Forward a Source #

Constructors

Forward Int Int64 Int64

Instances

Persistable (Forward obj) => Persistable (Silently (Forward :: * -> ) obj :: ) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Silently Forward obj) = (payload :: *) Source # Methods payload :: Payload (Silently Forward obj) -> Object Source # endpoint :: Payload (Silently Forward obj) -> String Source # persist :: FromJSON r => Payload (Silently Forward obj) -> Telegram e r Source # persist_ :: Payload (Silently Forward obj) -> Telegram e () Source #
Persistable (Forward Message) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Forward Message) = (payload :: *) Source # Methods payload :: Payload (Forward Message) -> Object Source # endpoint :: Payload (Forward Message) -> String Source # persist :: FromJSON r => Payload (Forward Message) -> Telegram e r Source # persist_ :: Payload (Forward Message) -> Telegram e () Source #
type Payload (Silently (Forward :: * -> ) obj :: ) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Silently (Forward :: * -> ) obj :: ) = Silently (Forward :: * -> *) (Payload (Forward obj))
type Payload (Forward Message) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Forward Message) = Forward Message

data Edit b Source #

Constructors

Edit Int64 Int b

Instances

Persistable (Edit Text) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Edit Text) = (payload :: *) Source # Methods payload :: Payload (Edit Text) -> Object Source # endpoint :: Payload (Edit Text) -> String Source # persist :: FromJSON r => Payload (Edit Text) -> Telegram e r Source # persist_ :: Payload (Edit Text) -> Telegram e () Source #
Persistable (Edit (Live Location)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Edit (Live Location)) = (payload :: *) Source # Methods payload :: Payload (Edit (Live Location)) -> Object Source # endpoint :: Payload (Edit (Live Location)) -> String Source # persist :: FromJSON r => Payload (Edit (Live Location)) -> Telegram e r Source # persist_ :: Payload (Edit (Live Location)) -> Telegram e () Source #
Persistable (Edit Keyboard) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Edit Keyboard) = (payload :: *) Source # Methods payload :: Payload (Edit Keyboard) -> Object Source # endpoint :: Payload (Edit Keyboard) -> String Source # persist :: FromJSON r => Payload (Edit Keyboard) -> Telegram e r Source # persist_ :: Payload (Edit Keyboard) -> Telegram e () Source #
Persistable (Edit (Text :&: Keyboard)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Edit (Text :&: Keyboard)) = (payload :: *) Source # Methods payload :: Payload (Edit (Text :&: Keyboard)) -> Object Source # endpoint :: Payload (Edit (Text :&: Keyboard)) -> String Source # persist :: FromJSON r => Payload (Edit (Text :&: Keyboard)) -> Telegram e r Source # persist_ :: Payload (Edit (Text :&: Keyboard)) -> Telegram e () Source #
type Payload (Edit Text) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Edit Text) = Edit Text
type Payload (Edit (Live Location)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Edit (Live Location)) = Edit Location
type Payload (Edit Keyboard) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Edit Keyboard) = Edit Keyboard
type Payload (Edit (Text :&: Keyboard)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Edit (Text :&: Keyboard)) = Edit (Text :&: Keyboard)

data Delete a Source #

Constructors

Delete Int64 Int

Instances

Persistable (Delete Message) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Delete Message) = (payload :: *) Source # Methods payload :: Payload (Delete Message) -> Object Source # endpoint :: Payload (Delete Message) -> String Source # persist :: FromJSON r => Payload (Delete Message) -> Telegram e r Source # persist_ :: Payload (Delete Message) -> Telegram e () Source #
type Payload (Delete Message) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Delete Message) = Delete Message

data Silently (todo :: * -> *) a Source #

Constructors

Silently a

Instances

Persistable (Reply obj) => Persistable (Silently Reply obj :: *) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Silently Reply obj) = (payload :: *) Source # Methods payload :: Payload (Silently Reply obj) -> Object Source # endpoint :: Payload (Silently Reply obj) -> String Source # persist :: FromJSON r => Payload (Silently Reply obj) -> Telegram e r Source # persist_ :: Payload (Silently Reply obj) -> Telegram e () Source #
Persistable (Send obj) => Persistable (Silently Send obj :: *) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Silently Send obj) = (payload :: *) Source # Methods payload :: Payload (Silently Send obj) -> Object Source # endpoint :: Payload (Silently Send obj) -> String Source # persist :: FromJSON r => Payload (Silently Send obj) -> Telegram e r Source # persist_ :: Payload (Silently Send obj) -> Telegram e () Source #
Persistable (Forward obj) => Persistable (Silently (Forward :: * -> ) obj :: ) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Silently Forward obj) = (payload :: *) Source # Methods payload :: Payload (Silently Forward obj) -> Object Source # endpoint :: Payload (Silently Forward obj) -> String Source # persist :: FromJSON r => Payload (Silently Forward obj) -> Telegram e r Source # persist_ :: Payload (Silently Forward obj) -> Telegram e () Source #
type Payload (Silently Reply obj :: *) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Silently Reply obj :: *) = Silently Reply (Payload (Reply obj))
type Payload (Silently Send obj :: *) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Silently Send obj :: *) = Silently Send (Payload (Send obj))
type Payload (Silently (Forward :: * -> ) obj :: ) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Silently (Forward :: * -> ) obj :: ) = Silently (Forward :: * -> *) (Payload (Forward obj))