Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- data DownloadFile = DownloadFile {}
- defaultDownloadFile :: DownloadFile
Documentation
data DownloadFile Source #
Downloads a file from the cloud. Download progress and completion of the download will be notified through updateFile updates. Returns File
DownloadFile | |
|
Instances
ToJSON DownloadFile Source # | |
Defined in TD.Query.DownloadFile toJSON :: DownloadFile -> Value # toEncoding :: DownloadFile -> Encoding # toJSONList :: [DownloadFile] -> Value # toEncodingList :: [DownloadFile] -> Encoding # | |
Show DownloadFile Source # | |
Defined in TD.Query.DownloadFile showsPrec :: Int -> DownloadFile -> ShowS # show :: DownloadFile -> String # showList :: [DownloadFile] -> ShowS # | |
Eq DownloadFile Source # | |
Defined in TD.Query.DownloadFile (==) :: DownloadFile -> DownloadFile -> Bool # (/=) :: DownloadFile -> DownloadFile -> Bool # | |
ShortShow DownloadFile Source # | |
Defined in TD.Query.DownloadFile shortShow :: DownloadFile -> String Source # |