Network.API.Telegram.Bot.Field.Filesize

Documentation

data Filesize

Instances

Show Filesize

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

Methods

showsPrec :: Int -> Filesize -> ShowS

show :: Filesize -> String

showList :: [Filesize] -> ShowS

FromJSON Filesize

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

Methods

parseJSON :: Value -> Parser Filesize

parseJSONList :: Value -> Parser [Filesize]

ToJSON Filesize

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

Methods

toJSON :: Filesize -> Value

toEncoding :: Filesize -> Encoding

toJSONList :: [Filesize] -> Value

toEncodingList :: [Filesize] -> Encoding

Accessible Int Filesize

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

Methods

access :: Lens' Filesize Int