haskell-tdlib-2.0.63.0
Safe HaskellSafe-Inferred
LanguageGHC2021

TD.Query.AddFileToDownloads

Synopsis

Documentation

data AddFileToDownloads Source #

Adds a file from a message to the list of file downloads. Download progress and completion of the download will be notified through updateFile updates. If message database is used, the list of file downloads is persistent across application restarts. The downloading is independent of download using downloadFile, i.e. it continues if downloadFile is canceled or is used to download a part of the file. Returns File

Constructors

AddFileToDownloads 

Fields

  • file_id :: Maybe Int

    Identifier of the file to download

  • chat_id :: Maybe Int

    Chat identifier of the message with the file

  • message_id :: Maybe Int

    Message identifier

  • priority :: Maybe Int

    Priority of the download (1-32). The higher the priority, the earlier the file will be downloaded. If the priorities of two files are equal, then the last one for which downloadFile/addFileToDownloads was called will be downloaded first

Instances

Instances details
ToJSON AddFileToDownloads Source # 
Instance details

Defined in TD.Query.AddFileToDownloads

Methods

toJSON :: AddFileToDownloads -> Value #

toEncoding :: AddFileToDownloads -> Encoding #

toJSONList :: [AddFileToDownloads] -> Value #

toEncodingList :: [AddFileToDownloads] -> Encoding #

Show AddFileToDownloads Source # 
Instance details

Defined in TD.Query.AddFileToDownloads

Methods

showsPrec :: Int -> AddFileToDownloads -> ShowS #

show :: AddFileToDownloads -> String #

showList :: [AddFileToDownloads] -> ShowS #

Eq AddFileToDownloads Source # 
Instance details

Defined in TD.Query.AddFileToDownloads

Methods

(==) :: AddFileToDownloads -> AddFileToDownloads -> Bool #

(/=) :: AddFileToDownloads -> AddFileToDownloads -> Bool #

ShortShow AddFileToDownloads Source # 
Instance details

Defined in TD.Query.AddFileToDownloads

Methods

shortShow :: AddFileToDownloads -> String Source #

defaultAddFileToDownloads :: AddFileToDownloads Source #