Network.API.Telegram.Bot.Field.Height

Documentation

data Height

Instances

Show Height

Defined in Network.API.Telegram.Bot.Field.Height

Methods

showsPrec :: Int -> Height -> ShowS

show :: Height -> String

showList :: [Height] -> ShowS

FromJSON Height

Defined in Network.API.Telegram.Bot.Field.Height

Methods

parseJSON :: Value -> Parser Height

parseJSONList :: Value -> Parser [Height]

ToJSON Height

Defined in Network.API.Telegram.Bot.Field.Height

Methods

toJSON :: Height -> Value

toEncoding :: Height -> Encoding

toJSONList :: [Height] -> Value

toEncodingList :: [Height] -> Encoding

Accessible Int Height

Defined in Network.API.Telegram.Bot.Field.Height

Methods

access :: Lens' Height Int

Accessible Height Video

Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.File.Video

Methods

access :: Lens' Video Height

Accessible Height Photosize

Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.File.Photo

Methods

access :: Lens' Photosize Height