| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
TD.Query.DownloadFile
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
Constructors
| DownloadFile | |
Fields
| |
Instances
| ToJSON DownloadFile Source # | |
Defined in TD.Query.DownloadFile Methods toJSON :: DownloadFile -> Value # toEncoding :: DownloadFile -> Encoding # toJSONList :: [DownloadFile] -> Value # toEncodingList :: [DownloadFile] -> Encoding # | |
| Show DownloadFile Source # | |
Defined in TD.Query.DownloadFile Methods showsPrec :: Int -> DownloadFile -> ShowS # show :: DownloadFile -> String # showList :: [DownloadFile] -> ShowS # | |
| Eq DownloadFile Source # | |
Defined in TD.Query.DownloadFile | |
| ShortShow DownloadFile Source # | |
Defined in TD.Query.DownloadFile Methods shortShow :: DownloadFile -> String Source # | |