telega-0.1.3: Telegram Bot API binding

Safe Haskell	None
Language	Haskell2010

Network.Telegram.API.Bot.Object.Message

Documentation

data Message Source #

Constructors

Textual Int Chat From Text
Command Int Chat From Text

Instances

Show Message Source #
Instance details Defined in Network.Telegram.API.Bot.Object.Message Methods showsPrec :: Int -> Message -> ShowS # show :: Message -> String # showList :: [Message] -> ShowS #
FromJSON Message Source #
Instance details Defined in Network.Telegram.API.Bot.Object.Message Methods parseJSON :: Value -> Parser Message parseJSONList :: Value -> Parser [Message]
Purgeable Message Source #
Instance details Defined in Network.Telegram.API.Bot.Object.Message Methods marking_value :: Marking Message -> Value Source # purge_endpoint :: Marking Message -> String Source # purge :: Marking Message -> Telegram e () Source #
Postable Message Source #
Instance details Defined in Network.Telegram.API.Bot.Object.Message Methods initial_value :: Initial Message -> Value Source # post_endpoint :: Initial Message -> String Source # post :: Initial Message -> Telegram e Message Source #
Identifiable Message Source #
Instance details Defined in Network.Telegram.API.Bot.Object.Message Methods identificator :: Message -> Identificator Message Source #
Access From Message Source #
Instance details Defined in Network.Telegram.API.Bot.Object.Message Methods access :: Lens' Message From Source #
Access Chat Message Source #
Instance details Defined in Network.Telegram.API.Bot.Object.Message Methods access :: Lens' Message Chat Source #
type Marking Message Source #
Instance details Defined in Network.Telegram.API.Bot.Object.Message type Marking Message = (Int64, Int)
type Initial Message Source #
Instance details Defined in Network.Telegram.API.Bot.Object.Message type Initial Message = (Int64, Text, Maybe Keyboard)
type Identificator Message Source #
Instance details Defined in Network.Telegram.API.Bot.Object.Message type Identificator Message = Int

type family Initial a = r | r -> a Source #

Instances

type Initial Message Source #
Instance details Defined in Network.Telegram.API.Bot.Object.Message type Initial Message = (Int64, Text, Maybe Keyboard)

type family Marking a = r | r -> a Source #

Instances

type Marking Message Source #
Instance details Defined in Network.Telegram.API.Bot.Object.Message type Marking Message = (Int64, Int)