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

Contents

Exported types
Methods
Properties
Signals
- error

Description

Download carries information about a download request, including a NetworkRequest object. The application may use this object to control the download process, or to simply figure out what is to be downloaded, and do it itself.

Synopsis

Exported types

newtype Download Source #

Constructors

Download (ManagedPtr Download)

Instances

GObject Download Source #
Methods gobjectType :: Download -> IO GType #
IsObject Download Source #

IsDownload Download Source #

((~) * info (ResolveDownloadMethod t Download), MethodInfo * info Download p) => IsLabel t (Download -> p) Source #
Methods fromLabel :: Proxy# Symbol t -> Download -> p #
((~) * info (ResolveDownloadMethod t Download), MethodInfo * info Download p) => IsLabelProxy t (Download -> p) Source #
Methods fromLabelProxy :: Proxy Symbol t -> Download -> p #
HasAttributeList * Download Source #

type AttributeList Download Source #
type AttributeList Download
type SignalList Download Source #
type SignalList Download

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 #

noDownload :: Maybe Download Source #

Methods

cancel

data DownloadCancelMethodInfo Source #

Instances

((~) * signature (m ()), MonadIO m, IsDownload a) => MethodInfo * DownloadCancelMethodInfo a signature Source #
Methods overloadedMethod :: MethodProxy DownloadCancelMethodInfo a -> signature -> s #

downloadCancel Source #

Arguments

:: (HasCallStack, MonadIO m, IsDownload a)
=> a	`download`: the `Download`
-> m ()

Cancels the download. Calling this will not free the Download object, so you still need to call objectUnref on it, if you are the owner of a reference. Notice that cancelling the download provokes the emission of the WebKitDownload::error signal, reporting that the download was cancelled.

Since: 1.1.2

getCurrentSize

data DownloadGetCurrentSizeMethodInfo Source #

Instances

((~) * signature (m Word64), MonadIO m, IsDownload a) => MethodInfo * DownloadGetCurrentSizeMethodInfo a signature Source #
Methods overloadedMethod :: MethodProxy DownloadGetCurrentSizeMethodInfo a -> signature -> s #

downloadGetCurrentSize Source #

Arguments

:: (HasCallStack, MonadIO m, IsDownload a)
=> a	`download`: the `Download`
-> m Word64	Returns: the already downloaded size

Current already downloaded size.

Since: 1.1.2

getDestinationUri

data DownloadGetDestinationUriMethodInfo Source #

Instances

((~) * signature (m Text), MonadIO m, IsDownload a) => MethodInfo * DownloadGetDestinationUriMethodInfo a signature Source #
Methods overloadedMethod :: MethodProxy DownloadGetDestinationUriMethodInfo a -> signature -> s #

downloadGetDestinationUri Source #

Arguments

:: (HasCallStack, MonadIO m, IsDownload a)
=> a	`download`: the `Download`
-> m Text	Returns: the destination URI or `Nothing`

Obtains the URI to which the downloaded file will be written. This must have been set by the application before calling downloadStart, and may be Nothing.

Since: 1.1.2

getElapsedTime

data DownloadGetElapsedTimeMethodInfo Source #

Instances

((~) * signature (m Double), MonadIO m, IsDownload a) => MethodInfo * DownloadGetElapsedTimeMethodInfo a signature Source #
Methods overloadedMethod :: MethodProxy DownloadGetElapsedTimeMethodInfo a -> signature -> s #

downloadGetElapsedTime Source #

Arguments

:: (HasCallStack, MonadIO m, IsDownload a)
=> a	`download`: a `Download`
-> m Double	Returns: seconds since the download was started, as a `gdouble`

Elapsed time for the download in seconds, including any fractional part. If the download is finished, had an error or was cancelled this is the time between its start and the event.

Since: 1.1.2

getNetworkRequest

data DownloadGetNetworkRequestMethodInfo Source #

Instances

((~) * signature (m NetworkRequest), MonadIO m, IsDownload a) => MethodInfo * DownloadGetNetworkRequestMethodInfo a signature Source #
Methods overloadedMethod :: MethodProxy DownloadGetNetworkRequestMethodInfo a -> signature -> s #

downloadGetNetworkRequest Source #

Arguments

:: (HasCallStack, MonadIO m, IsDownload a)
=> a	`download`: the `Download`
-> m NetworkRequest	Returns: the `NetworkRequest` instance

Retrieves the NetworkRequest object that backs the download process.

Since: 1.1.2

getNetworkResponse

data DownloadGetNetworkResponseMethodInfo Source #

Instances

((~) * signature (m NetworkResponse), MonadIO m, IsDownload a) => MethodInfo * DownloadGetNetworkResponseMethodInfo a signature Source #
Methods overloadedMethod :: MethodProxy DownloadGetNetworkResponseMethodInfo a -> signature -> s #

downloadGetNetworkResponse Source #

Arguments

:: (HasCallStack, MonadIO m, IsDownload a)
=> a	`download`: the `Download`
-> m NetworkResponse	Returns: the `NetworkResponse` instance

Retrieves the NetworkResponse object that backs the download process.

Since: 1.1.16

getProgress

data DownloadGetProgressMethodInfo Source #

Instances

((~) * signature (m Double), MonadIO m, IsDownload a) => MethodInfo * DownloadGetProgressMethodInfo a signature Source #
Methods overloadedMethod :: MethodProxy DownloadGetProgressMethodInfo a -> signature -> s #

downloadGetProgress Source #

Arguments

:: (HasCallStack, MonadIO m, IsDownload a)
=> a	`download`: a `Download`
-> m Double	Returns: a `gdouble` ranging from 0.0 to 1.0.

Determines the current progress of the download.

Since: 1.1.2

getStatus

data DownloadGetStatusMethodInfo Source #

Instances

((~) * signature (m DownloadStatus), MonadIO m, IsDownload a) => MethodInfo * DownloadGetStatusMethodInfo a signature Source #
Methods overloadedMethod :: MethodProxy DownloadGetStatusMethodInfo a -> signature -> s #

downloadGetStatus Source #

Arguments

:: (HasCallStack, MonadIO m, IsDownload a)
=> a	`download`: the `Download`
-> m DownloadStatus	Returns: the current `DownloadStatus`

Obtains the current status of the download, as a DownloadStatus.

Since: 1.1.2

getSuggestedFilename

data DownloadGetSuggestedFilenameMethodInfo Source #

Instances

((~) * signature (m Text), MonadIO m, IsDownload a) => MethodInfo * DownloadGetSuggestedFilenameMethodInfo a signature Source #
Methods overloadedMethod :: MethodProxy DownloadGetSuggestedFilenameMethodInfo a -> signature -> s #

downloadGetSuggestedFilename Source #

Arguments

:: (HasCallStack, MonadIO m, IsDownload a)
=> a	`download`: the `Download`
-> m Text	Returns: the suggested filename

Retrieves the filename that was suggested by the server, or the one derived by WebKit from the URI.

Since: 1.1.2

getTotalSize

data DownloadGetTotalSizeMethodInfo Source #

Instances

((~) * signature (m Word64), MonadIO m, IsDownload a) => MethodInfo * DownloadGetTotalSizeMethodInfo a signature Source #
Methods overloadedMethod :: MethodProxy DownloadGetTotalSizeMethodInfo a -> signature -> s #

downloadGetTotalSize Source #

Arguments

:: (HasCallStack, MonadIO m, IsDownload a)
=> a	`download`: the `Download`
-> m Word64	Returns: the expected total size of the downloaded file

Returns the expected total size of the download. This is expected because the server may provide incorrect or missing Content-Length. Notice that this may grow over time, as it will be always the same as current_size in the cases where current size surpasses it.

Since: 1.1.2

getUri

data DownloadGetUriMethodInfo Source #

Instances

((~) * signature (m Text), MonadIO m, IsDownload a) => MethodInfo * DownloadGetUriMethodInfo a signature Source #
Methods overloadedMethod :: MethodProxy DownloadGetUriMethodInfo a -> signature -> s #

downloadGetUri Source #

Arguments

:: (HasCallStack, MonadIO m, IsDownload a)
=> a	`download`: the `Download`
-> m Text	Returns: the URI

Convenience method to retrieve the URI from the NetworkRequest which is being downloaded.

Since: 1.1.2

new

downloadNew Source #

Arguments

:: (HasCallStack, MonadIO m, IsNetworkRequest a)
=> a	`request`: a `NetworkRequest`
-> m Download	Returns: the new `Download`

Creates a new Download object for the given NetworkRequest object.

Since: 1.1.2

setDestinationUri

data DownloadSetDestinationUriMethodInfo Source #

Instances

((~) * signature (Text -> m ()), MonadIO m, IsDownload a) => MethodInfo * DownloadSetDestinationUriMethodInfo a signature Source #
Methods overloadedMethod :: MethodProxy DownloadSetDestinationUriMethodInfo a -> signature -> s #

downloadSetDestinationUri Source #

Arguments

:: (HasCallStack, MonadIO m, IsDownload a)
=> a	`download`: the `Download`
-> Text	`destinationUri`: the destination URI
-> m ()

Defines the URI that should be used to save the downloaded file to.

Since: 1.1.2

start

data DownloadStartMethodInfo Source #

Instances

((~) * signature (m ()), MonadIO m, IsDownload a) => MethodInfo * DownloadStartMethodInfo a signature Source #
Methods overloadedMethod :: MethodProxy DownloadStartMethodInfo a -> signature -> s #

downloadStart Source #

Arguments

:: (HasCallStack, MonadIO m, IsDownload a)
=> a	`download`: the `Download`
-> m ()

Initiates the download. Notice that you must have set the destination-uri property before calling this method.

Since: 1.1.2

Properties

currentSize

data DownloadCurrentSizePropertyInfo Source #

Instances

AttrInfo DownloadCurrentSizePropertyInfo Source #
Associated Types type AttrAllowedOps DownloadCurrentSizePropertyInfo :: [AttrOpTag] # type AttrSetTypeConstraint DownloadCurrentSizePropertyInfo :: * -> Constraint # type AttrBaseTypeConstraint DownloadCurrentSizePropertyInfo :: * -> Constraint # type AttrGetType DownloadCurrentSizePropertyInfo :: * # type AttrLabel DownloadCurrentSizePropertyInfo :: Symbol # type AttrOrigin DownloadCurrentSizePropertyInfo :: * # Methods attrGet :: AttrBaseTypeConstraint DownloadCurrentSizePropertyInfo o => Proxy * DownloadCurrentSizePropertyInfo -> o -> IO (AttrGetType DownloadCurrentSizePropertyInfo) # attrSet :: (AttrBaseTypeConstraint DownloadCurrentSizePropertyInfo o, AttrSetTypeConstraint DownloadCurrentSizePropertyInfo b) => Proxy * DownloadCurrentSizePropertyInfo -> o -> b -> IO () # attrClear :: AttrBaseTypeConstraint DownloadCurrentSizePropertyInfo o => Proxy * DownloadCurrentSizePropertyInfo -> o -> IO () # attrConstruct :: (AttrBaseTypeConstraint DownloadCurrentSizePropertyInfo o, AttrSetTypeConstraint DownloadCurrentSizePropertyInfo b) => Proxy * DownloadCurrentSizePropertyInfo -> b -> IO (GValueConstruct o) #
type AttrOrigin DownloadCurrentSizePropertyInfo Source #
type AttrOrigin DownloadCurrentSizePropertyInfo = Download
type AttrLabel DownloadCurrentSizePropertyInfo Source #
type AttrLabel DownloadCurrentSizePropertyInfo = "current-size"
type AttrGetType DownloadCurrentSizePropertyInfo Source #
type AttrGetType DownloadCurrentSizePropertyInfo = Word64
type AttrBaseTypeConstraint DownloadCurrentSizePropertyInfo Source #
type AttrBaseTypeConstraint DownloadCurrentSizePropertyInfo = IsDownload
type AttrSetTypeConstraint DownloadCurrentSizePropertyInfo Source #
type AttrSetTypeConstraint DownloadCurrentSizePropertyInfo = * ~ ()
type AttrAllowedOps DownloadCurrentSizePropertyInfo Source #
type AttrAllowedOps DownloadCurrentSizePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag)

downloadCurrentSize :: AttrLabelProxy "currentSize" Source #

getDownloadCurrentSize :: (MonadIO m, IsDownload o) => o -> m Word64 Source #

destinationUri

data DownloadDestinationUriPropertyInfo Source #

Instances

AttrInfo DownloadDestinationUriPropertyInfo Source #
Associated Types type AttrAllowedOps DownloadDestinationUriPropertyInfo :: [AttrOpTag] # type AttrSetTypeConstraint DownloadDestinationUriPropertyInfo :: * -> Constraint # type AttrBaseTypeConstraint DownloadDestinationUriPropertyInfo :: * -> Constraint # type AttrGetType DownloadDestinationUriPropertyInfo :: * # type AttrLabel DownloadDestinationUriPropertyInfo :: Symbol # type AttrOrigin DownloadDestinationUriPropertyInfo :: * # Methods attrGet :: AttrBaseTypeConstraint DownloadDestinationUriPropertyInfo o => Proxy * DownloadDestinationUriPropertyInfo -> o -> IO (AttrGetType DownloadDestinationUriPropertyInfo) # attrSet :: (AttrBaseTypeConstraint DownloadDestinationUriPropertyInfo o, AttrSetTypeConstraint DownloadDestinationUriPropertyInfo b) => Proxy * DownloadDestinationUriPropertyInfo -> o -> b -> IO () # attrClear :: AttrBaseTypeConstraint DownloadDestinationUriPropertyInfo o => Proxy * DownloadDestinationUriPropertyInfo -> o -> IO () # attrConstruct :: (AttrBaseTypeConstraint DownloadDestinationUriPropertyInfo o, AttrSetTypeConstraint DownloadDestinationUriPropertyInfo b) => Proxy * DownloadDestinationUriPropertyInfo -> b -> IO (GValueConstruct o) #
type AttrOrigin DownloadDestinationUriPropertyInfo Source #
type AttrOrigin DownloadDestinationUriPropertyInfo = Download
type AttrLabel DownloadDestinationUriPropertyInfo Source #
type AttrLabel DownloadDestinationUriPropertyInfo = "destination-uri"
type AttrGetType DownloadDestinationUriPropertyInfo Source #
type AttrGetType DownloadDestinationUriPropertyInfo = Text
type AttrBaseTypeConstraint DownloadDestinationUriPropertyInfo Source #
type AttrBaseTypeConstraint DownloadDestinationUriPropertyInfo = IsDownload
type AttrSetTypeConstraint DownloadDestinationUriPropertyInfo Source #
type AttrSetTypeConstraint DownloadDestinationUriPropertyInfo = * ~ Text
type AttrAllowedOps DownloadDestinationUriPropertyInfo Source #
type AttrAllowedOps DownloadDestinationUriPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

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 #
Associated Types type AttrAllowedOps DownloadNetworkRequestPropertyInfo :: [AttrOpTag] # type AttrSetTypeConstraint DownloadNetworkRequestPropertyInfo :: * -> Constraint # type AttrBaseTypeConstraint DownloadNetworkRequestPropertyInfo :: * -> Constraint # type AttrGetType DownloadNetworkRequestPropertyInfo :: * # type AttrLabel DownloadNetworkRequestPropertyInfo :: Symbol # type AttrOrigin DownloadNetworkRequestPropertyInfo :: * # Methods attrGet :: AttrBaseTypeConstraint DownloadNetworkRequestPropertyInfo o => Proxy * DownloadNetworkRequestPropertyInfo -> o -> IO (AttrGetType DownloadNetworkRequestPropertyInfo) # attrSet :: (AttrBaseTypeConstraint DownloadNetworkRequestPropertyInfo o, AttrSetTypeConstraint DownloadNetworkRequestPropertyInfo b) => Proxy * DownloadNetworkRequestPropertyInfo -> o -> b -> IO () # attrClear :: AttrBaseTypeConstraint DownloadNetworkRequestPropertyInfo o => Proxy * DownloadNetworkRequestPropertyInfo -> o -> IO () # attrConstruct :: (AttrBaseTypeConstraint DownloadNetworkRequestPropertyInfo o, AttrSetTypeConstraint DownloadNetworkRequestPropertyInfo b) => Proxy * DownloadNetworkRequestPropertyInfo -> b -> IO (GValueConstruct o) #
type AttrOrigin DownloadNetworkRequestPropertyInfo Source #
type AttrOrigin DownloadNetworkRequestPropertyInfo = Download
type AttrLabel DownloadNetworkRequestPropertyInfo Source #
type AttrLabel DownloadNetworkRequestPropertyInfo = "network-request"
type AttrGetType DownloadNetworkRequestPropertyInfo Source #
type AttrGetType DownloadNetworkRequestPropertyInfo = NetworkRequest
type AttrBaseTypeConstraint DownloadNetworkRequestPropertyInfo Source #
type AttrBaseTypeConstraint DownloadNetworkRequestPropertyInfo = IsDownload
type AttrSetTypeConstraint DownloadNetworkRequestPropertyInfo Source #
type AttrSetTypeConstraint DownloadNetworkRequestPropertyInfo = IsNetworkRequest
type AttrAllowedOps DownloadNetworkRequestPropertyInfo Source #
type AttrAllowedOps DownloadNetworkRequestPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag)))

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 #
Associated Types type AttrAllowedOps DownloadNetworkResponsePropertyInfo :: [AttrOpTag] # type AttrSetTypeConstraint DownloadNetworkResponsePropertyInfo :: * -> Constraint # type AttrBaseTypeConstraint DownloadNetworkResponsePropertyInfo :: * -> Constraint # type AttrGetType DownloadNetworkResponsePropertyInfo :: * # type AttrLabel DownloadNetworkResponsePropertyInfo :: Symbol # type AttrOrigin DownloadNetworkResponsePropertyInfo :: * # Methods attrGet :: AttrBaseTypeConstraint DownloadNetworkResponsePropertyInfo o => Proxy * DownloadNetworkResponsePropertyInfo -> o -> IO (AttrGetType DownloadNetworkResponsePropertyInfo) # attrSet :: (AttrBaseTypeConstraint DownloadNetworkResponsePropertyInfo o, AttrSetTypeConstraint DownloadNetworkResponsePropertyInfo b) => Proxy * DownloadNetworkResponsePropertyInfo -> o -> b -> IO () # attrClear :: AttrBaseTypeConstraint DownloadNetworkResponsePropertyInfo o => Proxy * DownloadNetworkResponsePropertyInfo -> o -> IO () # attrConstruct :: (AttrBaseTypeConstraint DownloadNetworkResponsePropertyInfo o, AttrSetTypeConstraint DownloadNetworkResponsePropertyInfo b) => Proxy * DownloadNetworkResponsePropertyInfo -> b -> IO (GValueConstruct o) #
type AttrOrigin DownloadNetworkResponsePropertyInfo Source #
type AttrOrigin DownloadNetworkResponsePropertyInfo = Download
type AttrLabel DownloadNetworkResponsePropertyInfo Source #
type AttrLabel DownloadNetworkResponsePropertyInfo = "network-response"
type AttrGetType DownloadNetworkResponsePropertyInfo Source #
type AttrGetType DownloadNetworkResponsePropertyInfo = NetworkResponse
type AttrBaseTypeConstraint DownloadNetworkResponsePropertyInfo Source #
type AttrBaseTypeConstraint DownloadNetworkResponsePropertyInfo = IsDownload
type AttrSetTypeConstraint DownloadNetworkResponsePropertyInfo Source #
type AttrSetTypeConstraint DownloadNetworkResponsePropertyInfo = IsNetworkResponse
type AttrAllowedOps DownloadNetworkResponsePropertyInfo Source #
type AttrAllowedOps DownloadNetworkResponsePropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag)))

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 #
Associated Types type AttrAllowedOps DownloadProgressPropertyInfo :: [AttrOpTag] # type AttrSetTypeConstraint DownloadProgressPropertyInfo :: * -> Constraint # type AttrBaseTypeConstraint DownloadProgressPropertyInfo :: * -> Constraint # type AttrGetType DownloadProgressPropertyInfo :: * # type AttrLabel DownloadProgressPropertyInfo :: Symbol # type AttrOrigin DownloadProgressPropertyInfo :: * # Methods attrGet :: AttrBaseTypeConstraint DownloadProgressPropertyInfo o => Proxy * DownloadProgressPropertyInfo -> o -> IO (AttrGetType DownloadProgressPropertyInfo) # attrSet :: (AttrBaseTypeConstraint DownloadProgressPropertyInfo o, AttrSetTypeConstraint DownloadProgressPropertyInfo b) => Proxy * DownloadProgressPropertyInfo -> o -> b -> IO () # attrClear :: AttrBaseTypeConstraint DownloadProgressPropertyInfo o => Proxy * DownloadProgressPropertyInfo -> o -> IO () # attrConstruct :: (AttrBaseTypeConstraint DownloadProgressPropertyInfo o, AttrSetTypeConstraint DownloadProgressPropertyInfo b) => Proxy * DownloadProgressPropertyInfo -> b -> IO (GValueConstruct o) #
type AttrOrigin DownloadProgressPropertyInfo Source #
type AttrOrigin DownloadProgressPropertyInfo = Download
type AttrLabel DownloadProgressPropertyInfo Source #
type AttrLabel DownloadProgressPropertyInfo = "progress"
type AttrGetType DownloadProgressPropertyInfo Source #
type AttrGetType DownloadProgressPropertyInfo = Double
type AttrBaseTypeConstraint DownloadProgressPropertyInfo Source #
type AttrBaseTypeConstraint DownloadProgressPropertyInfo = IsDownload
type AttrSetTypeConstraint DownloadProgressPropertyInfo Source #
type AttrSetTypeConstraint DownloadProgressPropertyInfo = * ~ ()
type AttrAllowedOps DownloadProgressPropertyInfo Source #
type AttrAllowedOps DownloadProgressPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag)

downloadProgress :: AttrLabelProxy "progress" Source #

getDownloadProgress :: (MonadIO m, IsDownload o) => o -> m Double Source #

status

data DownloadStatusPropertyInfo Source #

Instances

AttrInfo DownloadStatusPropertyInfo Source #
Associated Types type AttrAllowedOps DownloadStatusPropertyInfo :: [AttrOpTag] # type AttrSetTypeConstraint DownloadStatusPropertyInfo :: * -> Constraint # type AttrBaseTypeConstraint DownloadStatusPropertyInfo :: * -> Constraint # type AttrGetType DownloadStatusPropertyInfo :: * # type AttrLabel DownloadStatusPropertyInfo :: Symbol # type AttrOrigin DownloadStatusPropertyInfo :: * # Methods attrGet :: AttrBaseTypeConstraint DownloadStatusPropertyInfo o => Proxy * DownloadStatusPropertyInfo -> o -> IO (AttrGetType DownloadStatusPropertyInfo) # attrSet :: (AttrBaseTypeConstraint DownloadStatusPropertyInfo o, AttrSetTypeConstraint DownloadStatusPropertyInfo b) => Proxy * DownloadStatusPropertyInfo -> o -> b -> IO () # attrClear :: AttrBaseTypeConstraint DownloadStatusPropertyInfo o => Proxy * DownloadStatusPropertyInfo -> o -> IO () # attrConstruct :: (AttrBaseTypeConstraint DownloadStatusPropertyInfo o, AttrSetTypeConstraint DownloadStatusPropertyInfo b) => Proxy * DownloadStatusPropertyInfo -> b -> IO (GValueConstruct o) #
type AttrOrigin DownloadStatusPropertyInfo Source #
type AttrOrigin DownloadStatusPropertyInfo = Download
type AttrLabel DownloadStatusPropertyInfo Source #
type AttrLabel DownloadStatusPropertyInfo = "status"
type AttrGetType DownloadStatusPropertyInfo Source #
type AttrGetType DownloadStatusPropertyInfo = DownloadStatus
type AttrBaseTypeConstraint DownloadStatusPropertyInfo Source #
type AttrBaseTypeConstraint DownloadStatusPropertyInfo = IsDownload
type AttrSetTypeConstraint DownloadStatusPropertyInfo Source #
type AttrSetTypeConstraint DownloadStatusPropertyInfo = * ~ ()
type AttrAllowedOps DownloadStatusPropertyInfo Source #
type AttrAllowedOps DownloadStatusPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag)

downloadStatus :: AttrLabelProxy "status" Source #

getDownloadStatus :: (MonadIO m, IsDownload o) => o -> m DownloadStatus Source #

suggestedFilename

data DownloadSuggestedFilenamePropertyInfo Source #

Instances

AttrInfo DownloadSuggestedFilenamePropertyInfo Source #
Associated Types type AttrAllowedOps DownloadSuggestedFilenamePropertyInfo :: [AttrOpTag] # type AttrSetTypeConstraint DownloadSuggestedFilenamePropertyInfo :: * -> Constraint # type AttrBaseTypeConstraint DownloadSuggestedFilenamePropertyInfo :: * -> Constraint # type AttrGetType DownloadSuggestedFilenamePropertyInfo :: * # type AttrLabel DownloadSuggestedFilenamePropertyInfo :: Symbol # type AttrOrigin DownloadSuggestedFilenamePropertyInfo :: * # Methods attrGet :: AttrBaseTypeConstraint DownloadSuggestedFilenamePropertyInfo o => Proxy * DownloadSuggestedFilenamePropertyInfo -> o -> IO (AttrGetType DownloadSuggestedFilenamePropertyInfo) # attrSet :: (AttrBaseTypeConstraint DownloadSuggestedFilenamePropertyInfo o, AttrSetTypeConstraint DownloadSuggestedFilenamePropertyInfo b) => Proxy * DownloadSuggestedFilenamePropertyInfo -> o -> b -> IO () # attrClear :: AttrBaseTypeConstraint DownloadSuggestedFilenamePropertyInfo o => Proxy * DownloadSuggestedFilenamePropertyInfo -> o -> IO () # attrConstruct :: (AttrBaseTypeConstraint DownloadSuggestedFilenamePropertyInfo o, AttrSetTypeConstraint DownloadSuggestedFilenamePropertyInfo b) => Proxy * DownloadSuggestedFilenamePropertyInfo -> b -> IO (GValueConstruct o) #
type AttrOrigin DownloadSuggestedFilenamePropertyInfo Source #
type AttrOrigin DownloadSuggestedFilenamePropertyInfo = Download
type AttrLabel DownloadSuggestedFilenamePropertyInfo Source #
type AttrLabel DownloadSuggestedFilenamePropertyInfo = "suggested-filename"
type AttrGetType DownloadSuggestedFilenamePropertyInfo Source #
type AttrGetType DownloadSuggestedFilenamePropertyInfo = Text
type AttrBaseTypeConstraint DownloadSuggestedFilenamePropertyInfo Source #
type AttrBaseTypeConstraint DownloadSuggestedFilenamePropertyInfo = IsDownload
type AttrSetTypeConstraint DownloadSuggestedFilenamePropertyInfo Source #
type AttrSetTypeConstraint DownloadSuggestedFilenamePropertyInfo = * ~ ()
type AttrAllowedOps DownloadSuggestedFilenamePropertyInfo Source #
type AttrAllowedOps DownloadSuggestedFilenamePropertyInfo = (:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag))

downloadSuggestedFilename :: AttrLabelProxy "suggestedFilename" Source #

getDownloadSuggestedFilename :: (MonadIO m, IsDownload o) => o -> m Text Source #

totalSize

data DownloadTotalSizePropertyInfo Source #

Instances

AttrInfo DownloadTotalSizePropertyInfo Source #
Associated Types type AttrAllowedOps DownloadTotalSizePropertyInfo :: [AttrOpTag] # type AttrSetTypeConstraint DownloadTotalSizePropertyInfo :: * -> Constraint # type AttrBaseTypeConstraint DownloadTotalSizePropertyInfo :: * -> Constraint # type AttrGetType DownloadTotalSizePropertyInfo :: * # type AttrLabel DownloadTotalSizePropertyInfo :: Symbol # type AttrOrigin DownloadTotalSizePropertyInfo :: * # Methods attrGet :: AttrBaseTypeConstraint DownloadTotalSizePropertyInfo o => Proxy * DownloadTotalSizePropertyInfo -> o -> IO (AttrGetType DownloadTotalSizePropertyInfo) # attrSet :: (AttrBaseTypeConstraint DownloadTotalSizePropertyInfo o, AttrSetTypeConstraint DownloadTotalSizePropertyInfo b) => Proxy * DownloadTotalSizePropertyInfo -> o -> b -> IO () # attrClear :: AttrBaseTypeConstraint DownloadTotalSizePropertyInfo o => Proxy * DownloadTotalSizePropertyInfo -> o -> IO () # attrConstruct :: (AttrBaseTypeConstraint DownloadTotalSizePropertyInfo o, AttrSetTypeConstraint DownloadTotalSizePropertyInfo b) => Proxy * DownloadTotalSizePropertyInfo -> b -> IO (GValueConstruct o) #
type AttrOrigin DownloadTotalSizePropertyInfo Source #
type AttrOrigin DownloadTotalSizePropertyInfo = Download
type AttrLabel DownloadTotalSizePropertyInfo Source #
type AttrLabel DownloadTotalSizePropertyInfo = "total-size"
type AttrGetType DownloadTotalSizePropertyInfo Source #
type AttrGetType DownloadTotalSizePropertyInfo = Word64
type AttrBaseTypeConstraint DownloadTotalSizePropertyInfo Source #
type AttrBaseTypeConstraint DownloadTotalSizePropertyInfo = IsDownload
type AttrSetTypeConstraint DownloadTotalSizePropertyInfo Source #
type AttrSetTypeConstraint DownloadTotalSizePropertyInfo = * ~ ()
type AttrAllowedOps DownloadTotalSizePropertyInfo Source #
type AttrAllowedOps DownloadTotalSizePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag)

downloadTotalSize :: AttrLabelProxy "totalSize" Source #

getDownloadTotalSize :: (MonadIO m, IsDownload o) => o -> m Word64 Source #

Signals

error

type C_DownloadErrorCallback = Ptr () -> Int32 -> Int32 -> CString -> Ptr () -> IO CInt Source #

type DownloadErrorCallback = Int32 -> Int32 -> Text -> IO Bool Source #

data DownloadErrorSignalInfo Source #

Instances

SignalInfo DownloadErrorSignalInfo Source #
Associated Types type HaskellCallbackType DownloadErrorSignalInfo :: * # Methods connectSignal :: GObject o => SignalProxy o DownloadErrorSignalInfo -> o -> HaskellCallbackType DownloadErrorSignalInfo -> SignalConnectMode -> IO SignalHandlerId #
type HaskellCallbackType DownloadErrorSignalInfo Source #
type HaskellCallbackType DownloadErrorSignalInfo = DownloadErrorCallback

afterDownloadError :: (IsDownload a, MonadIO m) => a -> DownloadErrorCallback -> m SignalHandlerId Source #

genClosure_DownloadError :: DownloadErrorCallback -> IO Closure Source #

mk_DownloadErrorCallback :: C_DownloadErrorCallback -> IO (FunPtr C_DownloadErrorCallback) Source #

noDownloadErrorCallback :: Maybe DownloadErrorCallback Source #

onDownloadError :: (IsDownload a, MonadIO m) => a -> DownloadErrorCallback -> m SignalHandlerId Source #

wrap_DownloadErrorCallback :: DownloadErrorCallback -> Ptr () -> Int32 -> Int32 -> CString -> Ptr () -> IO CInt Source #