Safe Haskell	None
Language	Haskell2010

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

Documentation

data Video Source #

Constructors

Video URI Duration Height Width (Maybe MIME) (Maybe Filesize)

Instances

Show Video Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.File.Video Methods showsPrec :: Int -> Video -> ShowS # show :: Video -> String # showList :: [Video] -> ShowS #
FromJSON Video Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.File.Video Methods parseJSON :: Value -> Parser Video parseJSONList :: Value -> Parser [Video]
Identifiable Video Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.File.Video Associated Types type Identificator Video :: * Source # Methods ident :: Video -> Identificator Video Source #
Accessible Width Video Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.File.Video Methods access :: Lens' Video Width Source #
Accessible Height Video Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.File.Video Methods access :: Lens' Video Height Source #
Accessible Duration Video Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.File.Video Methods access :: Lens' Video Duration Source #
Persistable (Send Video) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Send Video) = (payload :: ) Source # type Returning (Send Video) :: Source # Methods payload :: Payload (Send Video) -> Object Source # endpoint :: Payload (Send Video) -> String Source # persist :: FromJSON (Returning (Send Video)) => Payload (Send Video) -> Telegram e (Returning (Send Video)) Source # persist_ :: Payload (Send Video) -> Telegram e () Source #
Persistable (Send (Caption :&: Video)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message Associated Types type Payload (Send (Caption :&: Video)) = (payload :: ) Source # type Returning (Send (Caption :&: Video)) :: Source # Methods payload :: Payload (Send (Caption :&: Video)) -> Object Source # endpoint :: Payload (Send (Caption :&: Video)) -> String Source # persist :: FromJSON (Returning (Send (Caption :&: Video))) => Payload (Send (Caption :&: Video)) -> Telegram e (Returning (Send (Caption :&: Video))) Source # persist_ :: Payload (Send (Caption :&: Video)) -> Telegram e () Source #
type Identificator Video Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message.Content.File.Video type Identificator Video = URI
type Payload (Send Video) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Send Video) = Send Video
type Payload (Send (Caption :&: Video)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Payload (Send (Caption :&: Video)) = Send (Caption :&: Video)
type Returning (Send Video) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Returning (Send Video) = Message
type Returning (Send (Caption :&: Video)) Source #
Instance details Defined in Network.API.Telegram.Bot.Object.Update.Message type Returning (Send (Caption :&: Video)) = Message