| 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 (ManagedPtr Download)
- class GObject o => IsDownload o
- toDownload :: IsDownload o => o -> IO Download
- noDownload :: Maybe Download
- data DownloadCancelMethodInfo
- downloadCancel :: (MonadIO m, IsDownload a) => a -> m ()
- data DownloadGetCurrentSizeMethodInfo
- downloadGetCurrentSize :: (MonadIO m, IsDownload a) => a -> m Word64
- data DownloadGetDestinationUriMethodInfo
- downloadGetDestinationUri :: (MonadIO m, IsDownload a) => a -> m Text
- data DownloadGetElapsedTimeMethodInfo
- downloadGetElapsedTime :: (MonadIO m, IsDownload a) => a -> m Double
- data DownloadGetNetworkRequestMethodInfo
- downloadGetNetworkRequest :: (MonadIO m, IsDownload a) => a -> m NetworkRequest
- data DownloadGetNetworkResponseMethodInfo
- downloadGetNetworkResponse :: (MonadIO m, IsDownload a) => a -> m NetworkResponse
- data DownloadGetProgressMethodInfo
- downloadGetProgress :: (MonadIO m, IsDownload a) => a -> m Double
- data DownloadGetStatusMethodInfo
- downloadGetStatus :: (MonadIO m, IsDownload a) => a -> m DownloadStatus
- data DownloadGetSuggestedFilenameMethodInfo
- downloadGetSuggestedFilename :: (MonadIO m, IsDownload a) => a -> m Text
- data DownloadGetTotalSizeMethodInfo
- downloadGetTotalSize :: (MonadIO m, IsDownload a) => a -> m Word64
- data DownloadGetUriMethodInfo
- downloadGetUri :: (MonadIO m, IsDownload a) => a -> m Text
- downloadNew :: (MonadIO m, IsNetworkRequest a) => a -> m Download
- data DownloadSetDestinationUriMethodInfo
- downloadSetDestinationUri :: (MonadIO m, IsDownload a) => a -> Text -> m ()
- data DownloadStartMethodInfo
- downloadStart :: (MonadIO m, IsDownload a) => a -> m ()
- data DownloadCurrentSizePropertyInfo
- downloadCurrentSize :: AttrLabelProxy "currentSize"
- getDownloadCurrentSize :: (MonadIO m, IsDownload o) => o -> m Word64
- data DownloadDestinationUriPropertyInfo
- constructDownloadDestinationUri :: IsDownload o => Text -> IO (GValueConstruct o)
- downloadDestinationUri :: AttrLabelProxy "destinationUri"
- getDownloadDestinationUri :: (MonadIO m, IsDownload o) => o -> m Text
- setDownloadDestinationUri :: (MonadIO m, IsDownload o) => o -> Text -> m ()
- data DownloadNetworkRequestPropertyInfo
- constructDownloadNetworkRequest :: (IsDownload o, IsNetworkRequest a) => a -> IO (GValueConstruct o)
- downloadNetworkRequest :: AttrLabelProxy "networkRequest"
- getDownloadNetworkRequest :: (MonadIO m, IsDownload o) => o -> m NetworkRequest
- data DownloadNetworkResponsePropertyInfo
- constructDownloadNetworkResponse :: (IsDownload o, IsNetworkResponse a) => a -> IO (GValueConstruct o)
- downloadNetworkResponse :: AttrLabelProxy "networkResponse"
- getDownloadNetworkResponse :: (MonadIO m, IsDownload o) => o -> m NetworkResponse
- data DownloadProgressPropertyInfo
- downloadProgress :: AttrLabelProxy "progress"
- getDownloadProgress :: (MonadIO m, IsDownload o) => o -> m Double
- data DownloadStatusPropertyInfo
- downloadStatus :: AttrLabelProxy "status"
- getDownloadStatus :: (MonadIO m, IsDownload o) => o -> m DownloadStatus
- data DownloadSuggestedFilenamePropertyInfo
- downloadSuggestedFilename :: AttrLabelProxy "suggestedFilename"
- getDownloadSuggestedFilename :: (MonadIO m, IsDownload o) => o -> m Text
- data DownloadTotalSizePropertyInfo
- downloadTotalSize :: AttrLabelProxy "totalSize"
- getDownloadTotalSize :: (MonadIO m, IsDownload o) => o -> m Word64
- type C_DownloadErrorCallback = Ptr () -> Int32 -> Int32 -> CString -> Ptr () -> IO CInt
- type DownloadErrorCallback = Int32 -> Int32 -> Text -> IO Bool
- data DownloadErrorSignalInfo
- afterDownloadError :: (GObject a, MonadIO m) => a -> DownloadErrorCallback -> m SignalHandlerId
- genClosure_DownloadError :: DownloadErrorCallback -> IO Closure
- mk_DownloadErrorCallback :: C_DownloadErrorCallback -> IO (FunPtr C_DownloadErrorCallback)
- noDownloadErrorCallback :: Maybe DownloadErrorCallback
- onDownloadError :: (GObject a, MonadIO m) => a -> DownloadErrorCallback -> m SignalHandlerId
- wrap_DownloadErrorCallback :: DownloadErrorCallback -> Ptr () -> Int32 -> Int32 -> CString -> Ptr () -> IO CInt
Exported types
Instances
| GObject Download Source # | |
| IsObject Download Source # | |
| IsDownload Download Source # | |
| ((~) * info (ResolveDownloadMethod t Download), MethodInfo * info Download p) => IsLabel t (Download -> p) Source # | |
| ((~) * info (ResolveDownloadMethod t Download), MethodInfo * info Download p) => IsLabelProxy t (Download -> p) Source # | |
| HasAttributeList * Download Source # | |
| type SignalList Download Source # | |
| type AttributeList Download Source # | |
class GObject o => IsDownload o Source #
Instances
| (GObject a, UnknownAncestorError Constraint Download a) => IsDownload a Source # | |
| IsDownload Download Source # | |
toDownload :: IsDownload o => o -> IO Download Source #
Methods
cancel
data DownloadCancelMethodInfo Source #
Instances
| ((~) * signature (m ()), MonadIO m, IsDownload a) => MethodInfo * DownloadCancelMethodInfo a signature Source # | |
downloadCancel :: (MonadIO m, IsDownload a) => a -> m () Source #
getCurrentSize
data DownloadGetCurrentSizeMethodInfo Source #
Instances
| ((~) * signature (m Word64), MonadIO m, IsDownload a) => MethodInfo * DownloadGetCurrentSizeMethodInfo a signature Source # | |
downloadGetCurrentSize :: (MonadIO m, IsDownload a) => a -> m Word64 Source #
getDestinationUri
data DownloadGetDestinationUriMethodInfo Source #
Instances
| ((~) * signature (m Text), MonadIO m, IsDownload a) => MethodInfo * DownloadGetDestinationUriMethodInfo a signature Source # | |
downloadGetDestinationUri :: (MonadIO m, IsDownload a) => a -> m Text Source #
getElapsedTime
data DownloadGetElapsedTimeMethodInfo Source #
Instances
| ((~) * signature (m Double), MonadIO m, IsDownload a) => MethodInfo * DownloadGetElapsedTimeMethodInfo a signature Source # | |
downloadGetElapsedTime :: (MonadIO m, IsDownload a) => a -> m Double Source #
getNetworkRequest
data DownloadGetNetworkRequestMethodInfo Source #
Instances
| ((~) * signature (m NetworkRequest), MonadIO m, IsDownload a) => MethodInfo * DownloadGetNetworkRequestMethodInfo a signature Source # | |
downloadGetNetworkRequest :: (MonadIO m, IsDownload a) => a -> m NetworkRequest Source #
getNetworkResponse
data DownloadGetNetworkResponseMethodInfo Source #
Instances
| ((~) * signature (m NetworkResponse), MonadIO m, IsDownload a) => MethodInfo * DownloadGetNetworkResponseMethodInfo a signature Source # | |
downloadGetNetworkResponse :: (MonadIO m, IsDownload a) => a -> m NetworkResponse Source #
getProgress
data DownloadGetProgressMethodInfo Source #
Instances
| ((~) * signature (m Double), MonadIO m, IsDownload a) => MethodInfo * DownloadGetProgressMethodInfo a signature Source # | |
downloadGetProgress :: (MonadIO m, IsDownload a) => a -> m Double Source #
getStatus
data DownloadGetStatusMethodInfo Source #
Instances
| ((~) * signature (m DownloadStatus), MonadIO m, IsDownload a) => MethodInfo * DownloadGetStatusMethodInfo a signature Source # | |
downloadGetStatus :: (MonadIO m, IsDownload a) => a -> m DownloadStatus Source #
getSuggestedFilename
data DownloadGetSuggestedFilenameMethodInfo Source #
Instances
| ((~) * signature (m Text), MonadIO m, IsDownload a) => MethodInfo * DownloadGetSuggestedFilenameMethodInfo a signature Source # | |
downloadGetSuggestedFilename :: (MonadIO m, IsDownload a) => a -> m Text Source #
getTotalSize
data DownloadGetTotalSizeMethodInfo Source #
Instances
| ((~) * signature (m Word64), MonadIO m, IsDownload a) => MethodInfo * DownloadGetTotalSizeMethodInfo a signature Source # | |
downloadGetTotalSize :: (MonadIO m, IsDownload a) => a -> m Word64 Source #
getUri
data DownloadGetUriMethodInfo Source #
Instances
| ((~) * signature (m Text), MonadIO m, IsDownload a) => MethodInfo * DownloadGetUriMethodInfo a signature Source # | |
downloadGetUri :: (MonadIO m, IsDownload a) => a -> m Text Source #
new
downloadNew :: (MonadIO m, IsNetworkRequest a) => a -> m Download Source #
setDestinationUri
data DownloadSetDestinationUriMethodInfo Source #
Instances
| ((~) * signature (Text -> m ()), MonadIO m, IsDownload a) => MethodInfo * DownloadSetDestinationUriMethodInfo a signature Source # | |
downloadSetDestinationUri :: (MonadIO m, IsDownload a) => a -> Text -> m () Source #
start
data DownloadStartMethodInfo Source #
Instances
| ((~) * signature (m ()), MonadIO m, IsDownload a) => MethodInfo * DownloadStartMethodInfo a signature Source # | |
downloadStart :: (MonadIO m, IsDownload a) => a -> m () Source #
Properties
currentSize
data DownloadCurrentSizePropertyInfo Source #
Instances
| AttrInfo DownloadCurrentSizePropertyInfo Source # | |
| type AttrSetTypeConstraint DownloadCurrentSizePropertyInfo Source # | |
| type AttrOrigin DownloadCurrentSizePropertyInfo Source # | |
| type AttrLabel DownloadCurrentSizePropertyInfo Source # | |
| type AttrGetType DownloadCurrentSizePropertyInfo Source # | |
| type AttrBaseTypeConstraint DownloadCurrentSizePropertyInfo Source # | |
| type AttrAllowedOps DownloadCurrentSizePropertyInfo Source # | |
downloadCurrentSize :: AttrLabelProxy "currentSize" Source #
getDownloadCurrentSize :: (MonadIO m, IsDownload o) => o -> m Word64 Source #
destinationUri
data DownloadDestinationUriPropertyInfo Source #
Instances
| AttrInfo DownloadDestinationUriPropertyInfo Source # | |
| type AttrSetTypeConstraint DownloadDestinationUriPropertyInfo Source # | |
| type AttrOrigin DownloadDestinationUriPropertyInfo Source # | |
| type AttrLabel DownloadDestinationUriPropertyInfo Source # | |
| type AttrGetType DownloadDestinationUriPropertyInfo Source # | |
| type AttrBaseTypeConstraint DownloadDestinationUriPropertyInfo Source # | |
| type AttrAllowedOps DownloadDestinationUriPropertyInfo Source # | |
constructDownloadDestinationUri :: IsDownload o => Text -> IO (GValueConstruct o) Source #
downloadDestinationUri :: AttrLabelProxy "destinationUri" Source #
getDownloadDestinationUri :: (MonadIO m, IsDownload o) => o -> m Text Source #
setDownloadDestinationUri :: (MonadIO m, IsDownload o) => o -> Text -> m () Source #
networkRequest
data DownloadNetworkRequestPropertyInfo Source #
Instances
| AttrInfo DownloadNetworkRequestPropertyInfo Source # | |
| type AttrSetTypeConstraint DownloadNetworkRequestPropertyInfo Source # | |
| type AttrOrigin DownloadNetworkRequestPropertyInfo Source # | |
| type AttrLabel DownloadNetworkRequestPropertyInfo Source # | |
| type AttrGetType DownloadNetworkRequestPropertyInfo Source # | |
| type AttrBaseTypeConstraint DownloadNetworkRequestPropertyInfo Source # | |
| type AttrAllowedOps DownloadNetworkRequestPropertyInfo Source # | |
constructDownloadNetworkRequest :: (IsDownload o, IsNetworkRequest a) => a -> IO (GValueConstruct o) Source #
downloadNetworkRequest :: AttrLabelProxy "networkRequest" Source #
getDownloadNetworkRequest :: (MonadIO m, IsDownload o) => o -> m NetworkRequest Source #
networkResponse
data DownloadNetworkResponsePropertyInfo Source #
Instances
| AttrInfo DownloadNetworkResponsePropertyInfo Source # | |
| type AttrSetTypeConstraint DownloadNetworkResponsePropertyInfo Source # | |
| type AttrOrigin DownloadNetworkResponsePropertyInfo Source # | |
| type AttrLabel DownloadNetworkResponsePropertyInfo Source # | |
| type AttrGetType DownloadNetworkResponsePropertyInfo Source # | |
| type AttrBaseTypeConstraint DownloadNetworkResponsePropertyInfo Source # | |
| type AttrAllowedOps DownloadNetworkResponsePropertyInfo Source # | |
constructDownloadNetworkResponse :: (IsDownload o, IsNetworkResponse a) => a -> IO (GValueConstruct o) Source #
downloadNetworkResponse :: AttrLabelProxy "networkResponse" Source #
getDownloadNetworkResponse :: (MonadIO m, IsDownload o) => o -> m NetworkResponse Source #
progress
data DownloadProgressPropertyInfo Source #
Instances
| AttrInfo DownloadProgressPropertyInfo Source # | |
| type AttrSetTypeConstraint DownloadProgressPropertyInfo Source # | |
| type AttrOrigin DownloadProgressPropertyInfo Source # | |
| type AttrLabel DownloadProgressPropertyInfo Source # | |
| type AttrGetType DownloadProgressPropertyInfo Source # | |
| type AttrBaseTypeConstraint DownloadProgressPropertyInfo Source # | |
| type AttrAllowedOps DownloadProgressPropertyInfo Source # | |
downloadProgress :: AttrLabelProxy "progress" Source #
getDownloadProgress :: (MonadIO m, IsDownload o) => o -> m Double Source #
status
data DownloadStatusPropertyInfo Source #
Instances
| AttrInfo DownloadStatusPropertyInfo Source # | |
| type AttrSetTypeConstraint DownloadStatusPropertyInfo Source # | |
| type AttrOrigin DownloadStatusPropertyInfo Source # | |
| type AttrLabel DownloadStatusPropertyInfo Source # | |
| type AttrGetType DownloadStatusPropertyInfo Source # | |
| type AttrBaseTypeConstraint DownloadStatusPropertyInfo Source # | |
| type AttrAllowedOps DownloadStatusPropertyInfo Source # | |
downloadStatus :: AttrLabelProxy "status" Source #
getDownloadStatus :: (MonadIO m, IsDownload o) => o -> m DownloadStatus Source #
suggestedFilename
data DownloadSuggestedFilenamePropertyInfo Source #
Instances
| AttrInfo DownloadSuggestedFilenamePropertyInfo Source # | |
| type AttrSetTypeConstraint DownloadSuggestedFilenamePropertyInfo Source # | |
| type AttrOrigin DownloadSuggestedFilenamePropertyInfo Source # | |
| type AttrLabel DownloadSuggestedFilenamePropertyInfo Source # | |
| type AttrGetType DownloadSuggestedFilenamePropertyInfo Source # | |
| type AttrBaseTypeConstraint DownloadSuggestedFilenamePropertyInfo Source # | |
| type AttrAllowedOps DownloadSuggestedFilenamePropertyInfo Source # | |
downloadSuggestedFilename :: AttrLabelProxy "suggestedFilename" Source #
getDownloadSuggestedFilename :: (MonadIO m, IsDownload o) => o -> m Text Source #
totalSize
data DownloadTotalSizePropertyInfo Source #
Instances
| AttrInfo DownloadTotalSizePropertyInfo Source # | |
| type AttrSetTypeConstraint DownloadTotalSizePropertyInfo Source # | |
| type AttrOrigin DownloadTotalSizePropertyInfo Source # | |
| type AttrLabel DownloadTotalSizePropertyInfo Source # | |
| type AttrGetType DownloadTotalSizePropertyInfo Source # | |
| type AttrBaseTypeConstraint DownloadTotalSizePropertyInfo Source # | |
| type AttrAllowedOps DownloadTotalSizePropertyInfo Source # | |
downloadTotalSize :: AttrLabelProxy "totalSize" Source #
getDownloadTotalSize :: (MonadIO m, IsDownload o) => o -> m Word64 Source #
Signals
error
data DownloadErrorSignalInfo Source #
Instances
| SignalInfo DownloadErrorSignalInfo Source # | |
| type HaskellCallbackType DownloadErrorSignalInfo Source # | |
afterDownloadError :: (GObject a, MonadIO m) => a -> DownloadErrorCallback -> m SignalHandlerId Source #
genClosure_DownloadError :: DownloadErrorCallback -> IO Closure Source #
onDownloadError :: (GObject a, MonadIO m) => a -> DownloadErrorCallback -> m SignalHandlerId Source #