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

Editable Keyboard

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

Methods

substitution_value :: Substitution Keyboard -> Value

edit_endpoint :: Substitution Keyboard -> String

edit :: Substitution Keyboard -> Telegram e Keyboard

type Substitution Keyboard

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

type Substitution Keyboard = (Int64, Int, Keyboard)

type family Substitution a = r | r -> a

Instances

type Substitution Keyboard

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

type Substitution Keyboard = (Int64, Int, Keyboard)