Network.API.Telegram.Bot.Field.Width

Documentation

data Width

Instances

Show Width

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

Methods

showsPrec :: Int -> Width -> ShowS

show :: Width -> String

showList :: [Width] -> ShowS

FromJSON Width

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

Methods

parseJSON :: Value -> Parser Width

parseJSONList :: Value -> Parser [Width]

ToJSON Width

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

Methods

toJSON :: Width -> Value

toEncoding :: Width -> Encoding

toJSONList :: [Width] -> Value

toEncodingList :: [Width] -> Encoding

Accessible Int Width

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

Methods

access :: Lens' Width Int

Accessible Width Video

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

Methods

access :: Lens' Video Width

Accessible Width Photosize

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

Methods

access :: Lens' Photosize Width