Telegram.Bot.API.Types.GameHighScore

GameHighScore

data GameHighScore

This object represents one row of the high scores table for a game.

Constructors

GameHighScore

Fields

• gameHighScorePosition :: Int

  Position in high score table for the game.

• gameHighScoreUser :: User

  User.

• gameHighScoreScore :: Int

  Score.

Instances

Show GameHighScore

Defined in Telegram.Bot.API.Types.GameHighScore

Methods

showsPrec :: Int -> GameHighScore -> ShowS

show :: GameHighScore -> String

showList :: [GameHighScore] -> ShowS

Generic GameHighScore

Defined in Telegram.Bot.API.Types.GameHighScore

Associated Types

type Rep GameHighScore :: Type -> Type

Methods

from :: GameHighScore -> Rep GameHighScore x

to :: Rep GameHighScore x -> GameHighScore

FromJSON GameHighScore

Defined in Telegram.Bot.API.Types.GameHighScore

Methods

parseJSON :: Value -> Parser GameHighScore

parseJSONList :: Value -> Parser [GameHighScore]

ToJSON GameHighScore

Defined in Telegram.Bot.API.Types.GameHighScore

Methods

toJSON :: GameHighScore -> Value

toEncoding :: GameHighScore -> Encoding

toJSONList :: [GameHighScore] -> Value

toEncodingList :: [GameHighScore] -> Encoding

type Rep GameHighScore

Defined in Telegram.Bot.API.Types.GameHighScore

type Rep GameHighScore = D1 ('MetaData "GameHighScore" "Telegram.Bot.API.Types.GameHighScore" "telegram-bot-api-6.5-inplace" 'False) (C1 ('MetaCons "GameHighScore" 'PrefixI 'True) (S1 ('MetaSel ('Just "gameHighScorePosition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "gameHighScoreUser") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 User) :*: S1 ('MetaSel ('Just "gameHighScoreScore") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))