| Copyright | Will Thompson, Iñaki García Etxebarria and Jonas Platte |
|---|---|
| License | LGPL-2.1 |
| Maintainer | Iñaki García Etxebarria (garetxe@gmail.com) |
| Safe Haskell | None |
| Language | Haskell2010 |
GI.WebKit.Objects.Download
Description
- newtype Download = Download (ForeignPtr Download)
- class GObject o => DownloadK o
- toDownload :: DownloadK o => o -> IO Download
- noDownload :: Maybe Download
- downloadCancel :: (MonadIO m, DownloadK a) => a -> m ()
- downloadGetCurrentSize :: (MonadIO m, DownloadK a) => a -> m Word64
- downloadGetDestinationUri :: (MonadIO m, DownloadK a) => a -> m Text
- downloadGetElapsedTime :: (MonadIO m, DownloadK a) => a -> m Double
- downloadGetNetworkRequest :: (MonadIO m, DownloadK a) => a -> m NetworkRequest
- downloadGetNetworkResponse :: (MonadIO m, DownloadK a) => a -> m NetworkResponse
- downloadGetProgress :: (MonadIO m, DownloadK a) => a -> m Double
- downloadGetStatus :: (MonadIO m, DownloadK a) => a -> m DownloadStatus
- downloadGetSuggestedFilename :: (MonadIO m, DownloadK a) => a -> m Text
- downloadGetTotalSize :: (MonadIO m, DownloadK a) => a -> m Word64
- downloadGetUri :: (MonadIO m, DownloadK a) => a -> m Text
- downloadNew :: (MonadIO m, NetworkRequestK a) => a -> m Download
- downloadSetDestinationUri :: (MonadIO m, DownloadK a) => a -> Text -> m ()
- downloadStart :: (MonadIO m, DownloadK a) => a -> m ()
- data DownloadCurrentSizePropertyInfo
- getDownloadCurrentSize :: (MonadIO m, DownloadK o) => o -> m Word64
- data DownloadDestinationUriPropertyInfo
- constructDownloadDestinationUri :: Text -> IO ([Char], GValue)
- getDownloadDestinationUri :: (MonadIO m, DownloadK o) => o -> m Text
- setDownloadDestinationUri :: (MonadIO m, DownloadK o) => o -> Text -> m ()
- data DownloadNetworkRequestPropertyInfo
- constructDownloadNetworkRequest :: NetworkRequestK a => a -> IO ([Char], GValue)
- getDownloadNetworkRequest :: (MonadIO m, DownloadK o) => o -> m NetworkRequest
- data DownloadNetworkResponsePropertyInfo
- constructDownloadNetworkResponse :: NetworkResponseK a => a -> IO ([Char], GValue)
- getDownloadNetworkResponse :: (MonadIO m, DownloadK o) => o -> m NetworkResponse
- data DownloadProgressPropertyInfo
- getDownloadProgress :: (MonadIO m, DownloadK o) => o -> m Double
- data DownloadStatusPropertyInfo
- getDownloadStatus :: (MonadIO m, DownloadK o) => o -> m DownloadStatus
- data DownloadSuggestedFilenamePropertyInfo
- getDownloadSuggestedFilename :: (MonadIO m, DownloadK o) => o -> m Text
- data DownloadTotalSizePropertyInfo
- getDownloadTotalSize :: (MonadIO m, DownloadK o) => o -> m Word64
- type DownloadErrorCallback = Int32 -> Int32 -> Text -> IO Bool
- type DownloadErrorCallbackC = Ptr () -> Int32 -> Int32 -> CString -> Ptr () -> IO CInt
- data DownloadErrorSignalInfo
- afterDownloadError :: (GObject a, MonadIO m) => a -> DownloadErrorCallback -> m SignalHandlerId
- downloadErrorCallbackWrapper :: DownloadErrorCallback -> Ptr () -> Int32 -> Int32 -> CString -> Ptr () -> IO CInt
- downloadErrorClosure :: DownloadErrorCallback -> IO Closure
- mkDownloadErrorCallback :: DownloadErrorCallbackC -> IO (FunPtr DownloadErrorCallbackC)
- noDownloadErrorCallback :: Maybe DownloadErrorCallback
- onDownloadError :: (GObject a, MonadIO m) => a -> DownloadErrorCallback -> m SignalHandlerId
Exported types
Constructors
| Download (ForeignPtr Download) |
Instances
| GObject Download | |
| type ParentTypes Download | |
| type AttributeList Download | |
| type SignalList Download |
toDownload :: DownloadK o => o -> IO Download Source
Methods
downloadCancel
downloadCancel :: (MonadIO m, DownloadK a) => a -> m () Source
downloadGetCurrentSize
downloadGetCurrentSize :: (MonadIO m, DownloadK a) => a -> m Word64 Source
downloadGetDestinationUri
downloadGetDestinationUri :: (MonadIO m, DownloadK a) => a -> m Text Source
downloadGetElapsedTime
downloadGetElapsedTime :: (MonadIO m, DownloadK a) => a -> m Double Source
downloadGetNetworkRequest
downloadGetNetworkRequest :: (MonadIO m, DownloadK a) => a -> m NetworkRequest Source
downloadGetNetworkResponse
downloadGetNetworkResponse :: (MonadIO m, DownloadK a) => a -> m NetworkResponse Source
downloadGetProgress
downloadGetProgress :: (MonadIO m, DownloadK a) => a -> m Double Source
downloadGetStatus
downloadGetStatus :: (MonadIO m, DownloadK a) => a -> m DownloadStatus Source
downloadGetSuggestedFilename
downloadGetSuggestedFilename :: (MonadIO m, DownloadK a) => a -> m Text Source
downloadGetTotalSize
downloadGetTotalSize :: (MonadIO m, DownloadK a) => a -> m Word64 Source
downloadGetUri
downloadGetUri :: (MonadIO m, DownloadK a) => a -> m Text Source
downloadNew
downloadNew :: (MonadIO m, NetworkRequestK a) => a -> m Download Source
downloadSetDestinationUri
downloadSetDestinationUri :: (MonadIO m, DownloadK a) => a -> Text -> m () Source
downloadStart
downloadStart :: (MonadIO m, DownloadK a) => a -> m () Source
Properties
CurrentSize
data DownloadCurrentSizePropertyInfo Source
Instances
| AttrInfo DownloadCurrentSizePropertyInfo | |
| type AttrLabel DownloadCurrentSizePropertyInfo = "Download::current-size" | |
| type AttrGetType DownloadCurrentSizePropertyInfo = Word64 | |
| type AttrBaseTypeConstraint DownloadCurrentSizePropertyInfo = DownloadK | |
| type AttrSetTypeConstraint DownloadCurrentSizePropertyInfo = * ~ () | |
| type AttrAllowedOps DownloadCurrentSizePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) |
getDownloadCurrentSize :: (MonadIO m, DownloadK o) => o -> m Word64 Source
DestinationUri
data DownloadDestinationUriPropertyInfo Source
Instances
| AttrInfo DownloadDestinationUriPropertyInfo | |
| type AttrLabel DownloadDestinationUriPropertyInfo = "Download::destination-uri" | |
| type AttrGetType DownloadDestinationUriPropertyInfo = Text | |
| type AttrBaseTypeConstraint DownloadDestinationUriPropertyInfo = DownloadK | |
| type AttrSetTypeConstraint DownloadDestinationUriPropertyInfo = * ~ Text | |
| type AttrAllowedOps DownloadDestinationUriPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))) |
getDownloadDestinationUri :: (MonadIO m, DownloadK o) => o -> m Text Source
setDownloadDestinationUri :: (MonadIO m, DownloadK o) => o -> Text -> m () Source
NetworkRequest
data DownloadNetworkRequestPropertyInfo Source
Instances
| AttrInfo DownloadNetworkRequestPropertyInfo | |
| type AttrLabel DownloadNetworkRequestPropertyInfo = "Download::network-request" | |
| type AttrGetType DownloadNetworkRequestPropertyInfo = NetworkRequest | |
| type AttrBaseTypeConstraint DownloadNetworkRequestPropertyInfo = DownloadK | |
| type AttrSetTypeConstraint DownloadNetworkRequestPropertyInfo = NetworkRequestK | |
| type AttrAllowedOps DownloadNetworkRequestPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)) |
constructDownloadNetworkRequest :: NetworkRequestK a => a -> IO ([Char], GValue) Source
getDownloadNetworkRequest :: (MonadIO m, DownloadK o) => o -> m NetworkRequest Source
NetworkResponse
data DownloadNetworkResponsePropertyInfo Source
Instances
| AttrInfo DownloadNetworkResponsePropertyInfo | |
| type AttrLabel DownloadNetworkResponsePropertyInfo = "Download::network-response" | |
| type AttrGetType DownloadNetworkResponsePropertyInfo = NetworkResponse | |
| type AttrBaseTypeConstraint DownloadNetworkResponsePropertyInfo = DownloadK | |
| type AttrSetTypeConstraint DownloadNetworkResponsePropertyInfo = NetworkResponseK | |
| type AttrAllowedOps DownloadNetworkResponsePropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)) |
constructDownloadNetworkResponse :: NetworkResponseK a => a -> IO ([Char], GValue) Source
getDownloadNetworkResponse :: (MonadIO m, DownloadK o) => o -> m NetworkResponse Source
Progress
data DownloadProgressPropertyInfo Source
Instances
| AttrInfo DownloadProgressPropertyInfo | |
| type AttrLabel DownloadProgressPropertyInfo = "Download::progress" | |
| type AttrGetType DownloadProgressPropertyInfo = Double | |
| type AttrBaseTypeConstraint DownloadProgressPropertyInfo = DownloadK | |
| type AttrSetTypeConstraint DownloadProgressPropertyInfo = * ~ () | |
| type AttrAllowedOps DownloadProgressPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) |
getDownloadProgress :: (MonadIO m, DownloadK o) => o -> m Double Source
Status
data DownloadStatusPropertyInfo Source
Instances
| AttrInfo DownloadStatusPropertyInfo | |
| type AttrLabel DownloadStatusPropertyInfo = "Download::status" | |
| type AttrGetType DownloadStatusPropertyInfo = DownloadStatus | |
| type AttrBaseTypeConstraint DownloadStatusPropertyInfo = DownloadK | |
| type AttrSetTypeConstraint DownloadStatusPropertyInfo = * ~ () | |
| type AttrAllowedOps DownloadStatusPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) |
getDownloadStatus :: (MonadIO m, DownloadK o) => o -> m DownloadStatus Source
SuggestedFilename
data DownloadSuggestedFilenamePropertyInfo Source
Instances
| AttrInfo DownloadSuggestedFilenamePropertyInfo | |
| type AttrLabel DownloadSuggestedFilenamePropertyInfo = "Download::suggested-filename" | |
| type AttrGetType DownloadSuggestedFilenamePropertyInfo = Text | |
| type AttrBaseTypeConstraint DownloadSuggestedFilenamePropertyInfo = DownloadK | |
| type AttrSetTypeConstraint DownloadSuggestedFilenamePropertyInfo = * ~ () | |
| type AttrAllowedOps DownloadSuggestedFilenamePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) |
getDownloadSuggestedFilename :: (MonadIO m, DownloadK o) => o -> m Text Source
TotalSize
data DownloadTotalSizePropertyInfo Source
Instances
| AttrInfo DownloadTotalSizePropertyInfo | |
| type AttrLabel DownloadTotalSizePropertyInfo = "Download::total-size" | |
| type AttrGetType DownloadTotalSizePropertyInfo = Word64 | |
| type AttrBaseTypeConstraint DownloadTotalSizePropertyInfo = DownloadK | |
| type AttrSetTypeConstraint DownloadTotalSizePropertyInfo = * ~ () | |
| type AttrAllowedOps DownloadTotalSizePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) |
getDownloadTotalSize :: (MonadIO m, DownloadK o) => o -> m Word64 Source
Signals
Error
afterDownloadError :: (GObject a, MonadIO m) => a -> DownloadErrorCallback -> m SignalHandlerId Source
downloadErrorCallbackWrapper :: DownloadErrorCallback -> Ptr () -> Int32 -> Int32 -> CString -> Ptr () -> IO CInt Source
onDownloadError :: (GObject a, MonadIO m) => a -> DownloadErrorCallback -> m SignalHandlerId Source