Safe Haskell	Safe-Inferred
Language	Haskell2010

Telegram.Bot.API.Types.Video

Contents

Video

Synopsis

data Video = Video {
- videoFileId :: FileId
- videoFileUniqueId :: FileId
- videoWidth :: Int
- videoHeight :: Int
- videoDuration :: Seconds
- videoThumbnail :: Maybe PhotoSize
- videoFileName :: Maybe Text
- videoMimeType :: Maybe Text
- videoFileSize :: Maybe Integer
}

`Video`

data Video Source #

This object represents a video file.

Constructors

Video

Fields

videoFileId :: FileId
Unique identifier for this file.
videoFileUniqueId :: FileId
Unique identifier for this file, which is supposed to be the same over time and for different bots. Can't be used to download or reuse the file.
videoWidth :: Int
Video width as defined by sender.
videoHeight :: Int
Video height as defined by sender.
videoDuration :: Seconds
Duration of the video in seconds as defined by sender.
videoThumbnail :: Maybe PhotoSize
Video thumbnail.
videoFileName :: Maybe Text
Original filename as defined by sender.
videoMimeType :: Maybe Text
Mime type of a file as defined by sender.
videoFileSize :: Maybe Integer
File size in bytes.

Instances

Instances details

FromJSON Video Source #
Instance details Defined in Telegram.Bot.API.Types.Video Methods parseJSON :: Value -> Parser Video # parseJSONList :: Value -> Parser [Video] # omittedField :: Maybe Video #
ToJSON Video Source #
Instance details Defined in Telegram.Bot.API.Types.Video Methods toJSON :: Video -> Value # toEncoding :: Video -> Encoding # toJSONList :: [Video] -> Value # toEncodingList :: [Video] -> Encoding # omitField :: Video -> Bool #
Generic Video Source #
Instance details Defined in Telegram.Bot.API.Types.Video Associated Types type Rep Video :: Type -> Type # Methods from :: Video -> Rep Video x # to :: Rep Video x -> Video #
Show Video Source #
Instance details Defined in Telegram.Bot.API.Types.Video Methods showsPrec :: Int -> Video -> ShowS # show :: Video -> String # showList :: [Video] -> ShowS #
type Rep Video Source #
Instance details Defined in Telegram.Bot.API.Types.Video type Rep Video = D1 ('MetaData "Video" "Telegram.Bot.API.Types.Video" "telegram-bot-api-7.4.1-2WtpFhMXNFKIB67Pjf7fgm" 'False) (C1 ('MetaCons "Video" 'PrefixI 'True) (((S1 ('MetaSel ('Just "videoFileId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FileId) :: S1 ('MetaSel ('Just "videoFileUniqueId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FileId)) :: (S1 ('MetaSel ('Just "videoWidth") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "videoHeight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :: ((S1 ('MetaSel ('Just "videoDuration") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Seconds) :: S1 ('MetaSel ('Just "videoThumbnail") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe PhotoSize))) :: (S1 ('MetaSel ('Just "videoFileName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: (S1 ('MetaSel ('Just "videoMimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "videoFileSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)))))))