| 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.WebKit2.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 DownloadGetAllowOverwriteMethodInfo
- downloadGetAllowOverwrite :: (MonadIO m, IsDownload a) => a -> m Bool
- data DownloadGetDestinationMethodInfo
- downloadGetDestination :: (MonadIO m, IsDownload a) => a -> m Text
- data DownloadGetElapsedTimeMethodInfo
- downloadGetElapsedTime :: (MonadIO m, IsDownload a) => a -> m Double
- data DownloadGetEstimatedProgressMethodInfo
- downloadGetEstimatedProgress :: (MonadIO m, IsDownload a) => a -> m Double
- data DownloadGetReceivedDataLengthMethodInfo
- downloadGetReceivedDataLength :: (MonadIO m, IsDownload a) => a -> m Word64
- data DownloadGetRequestMethodInfo
- downloadGetRequest :: (MonadIO m, IsDownload a) => a -> m URIRequest
- data DownloadGetResponseMethodInfo
- downloadGetResponse :: (MonadIO m, IsDownload a) => a -> m URIResponse
- data DownloadGetWebViewMethodInfo
- downloadGetWebView :: (MonadIO m, IsDownload a) => a -> m WebView
- data DownloadSetAllowOverwriteMethodInfo
- downloadSetAllowOverwrite :: (MonadIO m, IsDownload a) => a -> Bool -> m ()
- data DownloadSetDestinationMethodInfo
- downloadSetDestination :: (MonadIO m, IsDownload a) => a -> Text -> m ()
- data DownloadAllowOverwritePropertyInfo
- constructDownloadAllowOverwrite :: IsDownload o => Bool -> IO (GValueConstruct o)
- downloadAllowOverwrite :: AttrLabelProxy "allowOverwrite"
- getDownloadAllowOverwrite :: (MonadIO m, IsDownload o) => o -> m Bool
- setDownloadAllowOverwrite :: (MonadIO m, IsDownload o) => o -> Bool -> m ()
- data DownloadDestinationPropertyInfo
- downloadDestination :: AttrLabelProxy "destination"
- getDownloadDestination :: (MonadIO m, IsDownload o) => o -> m Text
- data DownloadEstimatedProgressPropertyInfo
- downloadEstimatedProgress :: AttrLabelProxy "estimatedProgress"
- getDownloadEstimatedProgress :: (MonadIO m, IsDownload o) => o -> m Double
- data DownloadResponsePropertyInfo
- downloadResponse :: AttrLabelProxy "response"
- getDownloadResponse :: (MonadIO m, IsDownload o) => o -> m URIResponse
- type C_DownloadCreatedDestinationCallback = Ptr () -> CString -> Ptr () -> IO ()
- type DownloadCreatedDestinationCallback = Text -> IO ()
- data DownloadCreatedDestinationSignalInfo
- afterDownloadCreatedDestination :: (GObject a, MonadIO m) => a -> DownloadCreatedDestinationCallback -> m SignalHandlerId
- genClosure_DownloadCreatedDestination :: DownloadCreatedDestinationCallback -> IO Closure
- mk_DownloadCreatedDestinationCallback :: C_DownloadCreatedDestinationCallback -> IO (FunPtr C_DownloadCreatedDestinationCallback)
- noDownloadCreatedDestinationCallback :: Maybe DownloadCreatedDestinationCallback
- onDownloadCreatedDestination :: (GObject a, MonadIO m) => a -> DownloadCreatedDestinationCallback -> m SignalHandlerId
- wrap_DownloadCreatedDestinationCallback :: DownloadCreatedDestinationCallback -> Ptr () -> CString -> Ptr () -> IO ()
- type C_DownloadDecideDestinationCallback = Ptr () -> CString -> Ptr () -> IO CInt
- type DownloadDecideDestinationCallback = Text -> IO Bool
- data DownloadDecideDestinationSignalInfo
- afterDownloadDecideDestination :: (GObject a, MonadIO m) => a -> DownloadDecideDestinationCallback -> m SignalHandlerId
- genClosure_DownloadDecideDestination :: DownloadDecideDestinationCallback -> IO Closure
- mk_DownloadDecideDestinationCallback :: C_DownloadDecideDestinationCallback -> IO (FunPtr C_DownloadDecideDestinationCallback)
- noDownloadDecideDestinationCallback :: Maybe DownloadDecideDestinationCallback
- onDownloadDecideDestination :: (GObject a, MonadIO m) => a -> DownloadDecideDestinationCallback -> m SignalHandlerId
- wrap_DownloadDecideDestinationCallback :: DownloadDecideDestinationCallback -> Ptr () -> CString -> Ptr () -> IO CInt
- type C_DownloadFailedCallback = Ptr () -> Ptr GError -> Ptr () -> IO ()
- type DownloadFailedCallback = GError -> IO ()
- data DownloadFailedSignalInfo
- afterDownloadFailed :: (GObject a, MonadIO m) => a -> DownloadFailedCallback -> m SignalHandlerId
- genClosure_DownloadFailed :: DownloadFailedCallback -> IO Closure
- mk_DownloadFailedCallback :: C_DownloadFailedCallback -> IO (FunPtr C_DownloadFailedCallback)
- noDownloadFailedCallback :: Maybe DownloadFailedCallback
- onDownloadFailed :: (GObject a, MonadIO m) => a -> DownloadFailedCallback -> m SignalHandlerId
- wrap_DownloadFailedCallback :: DownloadFailedCallback -> Ptr () -> Ptr GError -> Ptr () -> IO ()
- type C_DownloadFinishedCallback = Ptr () -> Ptr () -> IO ()
- type DownloadFinishedCallback = IO ()
- data DownloadFinishedSignalInfo
- afterDownloadFinished :: (GObject a, MonadIO m) => a -> DownloadFinishedCallback -> m SignalHandlerId
- genClosure_DownloadFinished :: DownloadFinishedCallback -> IO Closure
- mk_DownloadFinishedCallback :: C_DownloadFinishedCallback -> IO (FunPtr C_DownloadFinishedCallback)
- noDownloadFinishedCallback :: Maybe DownloadFinishedCallback
- onDownloadFinished :: (GObject a, MonadIO m) => a -> DownloadFinishedCallback -> m SignalHandlerId
- wrap_DownloadFinishedCallback :: DownloadFinishedCallback -> Ptr () -> Ptr () -> IO ()
- type C_DownloadReceivedDataCallback = Ptr () -> Word64 -> Ptr () -> IO ()
- type DownloadReceivedDataCallback = Word64 -> IO ()
- data DownloadReceivedDataSignalInfo
- afterDownloadReceivedData :: (GObject a, MonadIO m) => a -> DownloadReceivedDataCallback -> m SignalHandlerId
- genClosure_DownloadReceivedData :: DownloadReceivedDataCallback -> IO Closure
- mk_DownloadReceivedDataCallback :: C_DownloadReceivedDataCallback -> IO (FunPtr C_DownloadReceivedDataCallback)
- noDownloadReceivedDataCallback :: Maybe DownloadReceivedDataCallback
- onDownloadReceivedData :: (GObject a, MonadIO m) => a -> DownloadReceivedDataCallback -> m SignalHandlerId
- wrap_DownloadReceivedDataCallback :: DownloadReceivedDataCallback -> Ptr () -> Word64 -> Ptr () -> IO ()
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 #
getAllowOverwrite
data DownloadGetAllowOverwriteMethodInfo Source #
Instances
| ((~) * signature (m Bool), MonadIO m, IsDownload a) => MethodInfo * DownloadGetAllowOverwriteMethodInfo a signature Source # | |
downloadGetAllowOverwrite :: (MonadIO m, IsDownload a) => a -> m Bool Source #
getDestination
data DownloadGetDestinationMethodInfo Source #
Instances
| ((~) * signature (m Text), MonadIO m, IsDownload a) => MethodInfo * DownloadGetDestinationMethodInfo a signature Source # | |
downloadGetDestination :: (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 #
getEstimatedProgress
data DownloadGetEstimatedProgressMethodInfo Source #
Instances
| ((~) * signature (m Double), MonadIO m, IsDownload a) => MethodInfo * DownloadGetEstimatedProgressMethodInfo a signature Source # | |
downloadGetEstimatedProgress :: (MonadIO m, IsDownload a) => a -> m Double Source #
getReceivedDataLength
data DownloadGetReceivedDataLengthMethodInfo Source #
Instances
| ((~) * signature (m Word64), MonadIO m, IsDownload a) => MethodInfo * DownloadGetReceivedDataLengthMethodInfo a signature Source # | |
downloadGetReceivedDataLength :: (MonadIO m, IsDownload a) => a -> m Word64 Source #
getRequest
data DownloadGetRequestMethodInfo Source #
Instances
| ((~) * signature (m URIRequest), MonadIO m, IsDownload a) => MethodInfo * DownloadGetRequestMethodInfo a signature Source # | |
downloadGetRequest :: (MonadIO m, IsDownload a) => a -> m URIRequest Source #
getResponse
data DownloadGetResponseMethodInfo Source #
Instances
| ((~) * signature (m URIResponse), MonadIO m, IsDownload a) => MethodInfo * DownloadGetResponseMethodInfo a signature Source # | |
downloadGetResponse :: (MonadIO m, IsDownload a) => a -> m URIResponse Source #
getWebView
data DownloadGetWebViewMethodInfo Source #
Instances
| ((~) * signature (m WebView), MonadIO m, IsDownload a) => MethodInfo * DownloadGetWebViewMethodInfo a signature Source # | |
downloadGetWebView :: (MonadIO m, IsDownload a) => a -> m WebView Source #
setAllowOverwrite
data DownloadSetAllowOverwriteMethodInfo Source #
Instances
| ((~) * signature (Bool -> m ()), MonadIO m, IsDownload a) => MethodInfo * DownloadSetAllowOverwriteMethodInfo a signature Source # | |
downloadSetAllowOverwrite :: (MonadIO m, IsDownload a) => a -> Bool -> m () Source #
setDestination
data DownloadSetDestinationMethodInfo Source #
Instances
| ((~) * signature (Text -> m ()), MonadIO m, IsDownload a) => MethodInfo * DownloadSetDestinationMethodInfo a signature Source # | |
downloadSetDestination :: (MonadIO m, IsDownload a) => a -> Text -> m () Source #
Properties
allowOverwrite
data DownloadAllowOverwritePropertyInfo Source #
Instances
| AttrInfo DownloadAllowOverwritePropertyInfo Source # | |
| type AttrSetTypeConstraint DownloadAllowOverwritePropertyInfo Source # | |
| type AttrOrigin DownloadAllowOverwritePropertyInfo Source # | |
| type AttrLabel DownloadAllowOverwritePropertyInfo Source # | |
| type AttrGetType DownloadAllowOverwritePropertyInfo Source # | |
| type AttrBaseTypeConstraint DownloadAllowOverwritePropertyInfo Source # | |
| type AttrAllowedOps DownloadAllowOverwritePropertyInfo Source # | |
constructDownloadAllowOverwrite :: IsDownload o => Bool -> IO (GValueConstruct o) Source #
downloadAllowOverwrite :: AttrLabelProxy "allowOverwrite" Source #
getDownloadAllowOverwrite :: (MonadIO m, IsDownload o) => o -> m Bool Source #
setDownloadAllowOverwrite :: (MonadIO m, IsDownload o) => o -> Bool -> m () Source #
destination
data DownloadDestinationPropertyInfo Source #
Instances
| AttrInfo DownloadDestinationPropertyInfo Source # | |
| type AttrSetTypeConstraint DownloadDestinationPropertyInfo Source # | |
| type AttrOrigin DownloadDestinationPropertyInfo Source # | |
| type AttrLabel DownloadDestinationPropertyInfo Source # | |
| type AttrGetType DownloadDestinationPropertyInfo Source # | |
| type AttrBaseTypeConstraint DownloadDestinationPropertyInfo Source # | |
| type AttrAllowedOps DownloadDestinationPropertyInfo Source # | |
downloadDestination :: AttrLabelProxy "destination" Source #
getDownloadDestination :: (MonadIO m, IsDownload o) => o -> m Text Source #
estimatedProgress
data DownloadEstimatedProgressPropertyInfo Source #
Instances
| AttrInfo DownloadEstimatedProgressPropertyInfo Source # | |
| type AttrSetTypeConstraint DownloadEstimatedProgressPropertyInfo Source # | |
| type AttrOrigin DownloadEstimatedProgressPropertyInfo Source # | |
| type AttrLabel DownloadEstimatedProgressPropertyInfo Source # | |
| type AttrGetType DownloadEstimatedProgressPropertyInfo Source # | |
| type AttrBaseTypeConstraint DownloadEstimatedProgressPropertyInfo Source # | |
| type AttrAllowedOps DownloadEstimatedProgressPropertyInfo Source # | |
downloadEstimatedProgress :: AttrLabelProxy "estimatedProgress" Source #
getDownloadEstimatedProgress :: (MonadIO m, IsDownload o) => o -> m Double Source #
response
data DownloadResponsePropertyInfo Source #
Instances
| AttrInfo DownloadResponsePropertyInfo Source # | |
| type AttrSetTypeConstraint DownloadResponsePropertyInfo Source # | |
| type AttrOrigin DownloadResponsePropertyInfo Source # | |
| type AttrLabel DownloadResponsePropertyInfo Source # | |
| type AttrGetType DownloadResponsePropertyInfo Source # | |
| type AttrBaseTypeConstraint DownloadResponsePropertyInfo Source # | |
| type AttrAllowedOps DownloadResponsePropertyInfo Source # | |
downloadResponse :: AttrLabelProxy "response" Source #
getDownloadResponse :: (MonadIO m, IsDownload o) => o -> m URIResponse Source #
Signals
createdDestination
type DownloadCreatedDestinationCallback = Text -> IO () Source #
data DownloadCreatedDestinationSignalInfo Source #
Instances
| SignalInfo DownloadCreatedDestinationSignalInfo Source # | |
| type HaskellCallbackType DownloadCreatedDestinationSignalInfo Source # | |
afterDownloadCreatedDestination :: (GObject a, MonadIO m) => a -> DownloadCreatedDestinationCallback -> m SignalHandlerId Source #
mk_DownloadCreatedDestinationCallback :: C_DownloadCreatedDestinationCallback -> IO (FunPtr C_DownloadCreatedDestinationCallback) Source #
onDownloadCreatedDestination :: (GObject a, MonadIO m) => a -> DownloadCreatedDestinationCallback -> m SignalHandlerId Source #
wrap_DownloadCreatedDestinationCallback :: DownloadCreatedDestinationCallback -> Ptr () -> CString -> Ptr () -> IO () Source #
decideDestination
type DownloadDecideDestinationCallback = Text -> IO Bool Source #
data DownloadDecideDestinationSignalInfo Source #
Instances
| SignalInfo DownloadDecideDestinationSignalInfo Source # | |
| type HaskellCallbackType DownloadDecideDestinationSignalInfo Source # | |
afterDownloadDecideDestination :: (GObject a, MonadIO m) => a -> DownloadDecideDestinationCallback -> m SignalHandlerId Source #
mk_DownloadDecideDestinationCallback :: C_DownloadDecideDestinationCallback -> IO (FunPtr C_DownloadDecideDestinationCallback) Source #
onDownloadDecideDestination :: (GObject a, MonadIO m) => a -> DownloadDecideDestinationCallback -> m SignalHandlerId Source #
wrap_DownloadDecideDestinationCallback :: DownloadDecideDestinationCallback -> Ptr () -> CString -> Ptr () -> IO CInt Source #
failed
type DownloadFailedCallback = GError -> IO () Source #
data DownloadFailedSignalInfo Source #
Instances
| SignalInfo DownloadFailedSignalInfo Source # | |
| type HaskellCallbackType DownloadFailedSignalInfo Source # | |
afterDownloadFailed :: (GObject a, MonadIO m) => a -> DownloadFailedCallback -> m SignalHandlerId Source #
genClosure_DownloadFailed :: DownloadFailedCallback -> IO Closure Source #
mk_DownloadFailedCallback :: C_DownloadFailedCallback -> IO (FunPtr C_DownloadFailedCallback) Source #
onDownloadFailed :: (GObject a, MonadIO m) => a -> DownloadFailedCallback -> m SignalHandlerId Source #
wrap_DownloadFailedCallback :: DownloadFailedCallback -> Ptr () -> Ptr GError -> Ptr () -> IO () Source #
finished
type DownloadFinishedCallback = IO () Source #
data DownloadFinishedSignalInfo Source #
Instances
| SignalInfo DownloadFinishedSignalInfo Source # | |
| type HaskellCallbackType DownloadFinishedSignalInfo Source # | |
afterDownloadFinished :: (GObject a, MonadIO m) => a -> DownloadFinishedCallback -> m SignalHandlerId Source #
genClosure_DownloadFinished :: DownloadFinishedCallback -> IO Closure Source #
mk_DownloadFinishedCallback :: C_DownloadFinishedCallback -> IO (FunPtr C_DownloadFinishedCallback) Source #
onDownloadFinished :: (GObject a, MonadIO m) => a -> DownloadFinishedCallback -> m SignalHandlerId Source #
wrap_DownloadFinishedCallback :: DownloadFinishedCallback -> Ptr () -> Ptr () -> IO () Source #
receivedData
type DownloadReceivedDataCallback = Word64 -> IO () Source #
data DownloadReceivedDataSignalInfo Source #
Instances
| SignalInfo DownloadReceivedDataSignalInfo Source # | |
| type HaskellCallbackType DownloadReceivedDataSignalInfo Source # | |
afterDownloadReceivedData :: (GObject a, MonadIO m) => a -> DownloadReceivedDataCallback -> m SignalHandlerId Source #
genClosure_DownloadReceivedData :: DownloadReceivedDataCallback -> IO Closure Source #
mk_DownloadReceivedDataCallback :: C_DownloadReceivedDataCallback -> IO (FunPtr C_DownloadReceivedDataCallback) Source #
onDownloadReceivedData :: (GObject a, MonadIO m) => a -> DownloadReceivedDataCallback -> m SignalHandlerId Source #
wrap_DownloadReceivedDataCallback :: DownloadReceivedDataCallback -> Ptr () -> Word64 -> Ptr () -> IO () Source #