Network.Telegram.API.Bot.Object.Keyboard

Documentation

data Keyboard

Constructors

Inline [[Button]]

Instances

Show Keyboard

Defined in Network.Telegram.API.Bot.Object.Keyboard

Methods

showsPrec :: Int -> Keyboard -> ShowS

show :: Keyboard -> String

showList :: [Keyboard] -> ShowS

FromJSON Keyboard

Defined in Network.Telegram.API.Bot.Object.Keyboard

Methods

parseJSON :: Value -> Parser Keyboard

parseJSONList :: Value -> Parser [Keyboard]

ToJSON Keyboard

Defined in Network.Telegram.API.Bot.Object.Keyboard

Methods

toJSON :: Keyboard -> Value

toEncoding :: Keyboard -> Encoding

toJSONList :: [Keyboard] -> Value

toEncodingList :: [Keyboard] -> Encoding

Endpoint (Edit Keyboard)

Defined in Network.Telegram.API.Bot.Object.Keyboard

Methods

payload :: Payload (Edit Keyboard) -> Value

endpoint :: Payload (Edit Keyboard) -> String

request :: FromJSON r => Payload (Edit Keyboard) -> Telegram e r

type Object Keyboard

Defined in Network.Telegram.API.Bot.Object

type Object Keyboard = ()

type Payload (Edit Keyboard)

Defined in Network.Telegram.API.Bot.Object.Keyboard

type Payload (Edit Keyboard) = (Int64, Int, Keyboard)

type family Payload a = r | r -> a

Instances

type Payload (Purge Message)

Defined in Network.Telegram.API.Bot.Object.Message

type Payload (Purge Message) = (Int64, Int)

type Payload (Post Message)

Defined in Network.Telegram.API.Bot.Object.Message

type Payload (Post Message) = (Int64, Text, Maybe Keyboard)

type Payload (Edit Keyboard)

Defined in Network.Telegram.API.Bot.Object.Keyboard

type Payload (Edit Keyboard) = (Int64, Int, Keyboard)

type Payload (Drop Notification)

Defined in Network.Telegram.API.Bot.Object.Notification

type Payload (Drop Notification) = (Text, Text)