| 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 (ForeignPtr Download)
- class GObject o => DownloadK o
- toDownload :: DownloadK o => o -> IO Download
- noDownload :: Maybe Download
- data DownloadCancelMethodInfo
- downloadCancel :: (MonadIO m, DownloadK a) => a -> m ()
- data DownloadGetAllowOverwriteMethodInfo
- downloadGetAllowOverwrite :: (MonadIO m, DownloadK a) => a -> m Bool
- data DownloadGetDestinationMethodInfo
- downloadGetDestination :: (MonadIO m, DownloadK a) => a -> m Text
- data DownloadGetElapsedTimeMethodInfo
- downloadGetElapsedTime :: (MonadIO m, DownloadK a) => a -> m Double
- data DownloadGetEstimatedProgressMethodInfo
- downloadGetEstimatedProgress :: (MonadIO m, DownloadK a) => a -> m Double
- data DownloadGetReceivedDataLengthMethodInfo
- downloadGetReceivedDataLength :: (MonadIO m, DownloadK a) => a -> m Word64
- data DownloadGetRequestMethodInfo
- downloadGetRequest :: (MonadIO m, DownloadK a) => a -> m URIRequest
- data DownloadGetResponseMethodInfo
- downloadGetResponse :: (MonadIO m, DownloadK a) => a -> m URIResponse
- data DownloadGetWebViewMethodInfo
- downloadGetWebView :: (MonadIO m, DownloadK a) => a -> m WebView
- data DownloadSetAllowOverwriteMethodInfo
- downloadSetAllowOverwrite :: (MonadIO m, DownloadK a) => a -> Bool -> m ()
- data DownloadSetDestinationMethodInfo
- downloadSetDestination :: (MonadIO m, DownloadK a) => a -> Text -> m ()
- data DownloadAllowOverwritePropertyInfo
- constructDownloadAllowOverwrite :: Bool -> IO ([Char], GValue)
- downloadAllowOverwrite :: AttrLabelProxy "allowOverwrite"
- getDownloadAllowOverwrite :: (MonadIO m, DownloadK o) => o -> m Bool
- setDownloadAllowOverwrite :: (MonadIO m, DownloadK o) => o -> Bool -> m ()
- data DownloadDestinationPropertyInfo
- downloadDestination :: AttrLabelProxy "destination"
- getDownloadDestination :: (MonadIO m, DownloadK o) => o -> m Text
- data DownloadEstimatedProgressPropertyInfo
- downloadEstimatedProgress :: AttrLabelProxy "estimatedProgress"
- getDownloadEstimatedProgress :: (MonadIO m, DownloadK o) => o -> m Double
- data DownloadResponsePropertyInfo
- downloadResponse :: AttrLabelProxy "response"
- getDownloadResponse :: (MonadIO m, DownloadK o) => o -> m URIResponse
- type DownloadCreatedDestinationCallback = Text -> IO ()
- type DownloadCreatedDestinationCallbackC = Ptr () -> CString -> Ptr () -> IO ()
- data DownloadCreatedDestinationSignalInfo
- afterDownloadCreatedDestination :: (GObject a, MonadIO m) => a -> DownloadCreatedDestinationCallback -> m SignalHandlerId
- downloadCreatedDestinationCallbackWrapper :: DownloadCreatedDestinationCallback -> Ptr () -> CString -> Ptr () -> IO ()
- downloadCreatedDestinationClosure :: DownloadCreatedDestinationCallback -> IO Closure
- mkDownloadCreatedDestinationCallback :: DownloadCreatedDestinationCallbackC -> IO (FunPtr DownloadCreatedDestinationCallbackC)
- noDownloadCreatedDestinationCallback :: Maybe DownloadCreatedDestinationCallback
- onDownloadCreatedDestination :: (GObject a, MonadIO m) => a -> DownloadCreatedDestinationCallback -> m SignalHandlerId
- type DownloadDecideDestinationCallback = Text -> IO Bool
- type DownloadDecideDestinationCallbackC = Ptr () -> CString -> Ptr () -> IO CInt
- data DownloadDecideDestinationSignalInfo
- afterDownloadDecideDestination :: (GObject a, MonadIO m) => a -> DownloadDecideDestinationCallback -> m SignalHandlerId
- downloadDecideDestinationCallbackWrapper :: DownloadDecideDestinationCallback -> Ptr () -> CString -> Ptr () -> IO CInt
- downloadDecideDestinationClosure :: DownloadDecideDestinationCallback -> IO Closure
- mkDownloadDecideDestinationCallback :: DownloadDecideDestinationCallbackC -> IO (FunPtr DownloadDecideDestinationCallbackC)
- noDownloadDecideDestinationCallback :: Maybe DownloadDecideDestinationCallback
- onDownloadDecideDestination :: (GObject a, MonadIO m) => a -> DownloadDecideDestinationCallback -> m SignalHandlerId
- type DownloadFailedCallback = GError -> IO ()
- type DownloadFailedCallbackC = Ptr () -> Ptr GError -> Ptr () -> IO ()
- data DownloadFailedSignalInfo
- afterDownloadFailed :: (GObject a, MonadIO m) => a -> DownloadFailedCallback -> m SignalHandlerId
- downloadFailedCallbackWrapper :: DownloadFailedCallback -> Ptr () -> Ptr GError -> Ptr () -> IO ()
- downloadFailedClosure :: DownloadFailedCallback -> IO Closure
- mkDownloadFailedCallback :: DownloadFailedCallbackC -> IO (FunPtr DownloadFailedCallbackC)
- noDownloadFailedCallback :: Maybe DownloadFailedCallback
- onDownloadFailed :: (GObject a, MonadIO m) => a -> DownloadFailedCallback -> m SignalHandlerId
- type DownloadFinishedCallback = IO ()
- type DownloadFinishedCallbackC = Ptr () -> Ptr () -> IO ()
- data DownloadFinishedSignalInfo
- afterDownloadFinished :: (GObject a, MonadIO m) => a -> DownloadFinishedCallback -> m SignalHandlerId
- downloadFinishedCallbackWrapper :: DownloadFinishedCallback -> Ptr () -> Ptr () -> IO ()
- downloadFinishedClosure :: DownloadFinishedCallback -> IO Closure
- mkDownloadFinishedCallback :: DownloadFinishedCallbackC -> IO (FunPtr DownloadFinishedCallbackC)
- noDownloadFinishedCallback :: Maybe DownloadFinishedCallback
- onDownloadFinished :: (GObject a, MonadIO m) => a -> DownloadFinishedCallback -> m SignalHandlerId
- type DownloadReceivedDataCallback = Word64 -> IO ()
- type DownloadReceivedDataCallbackC = Ptr () -> Word64 -> Ptr () -> IO ()
- data DownloadReceivedDataSignalInfo
- afterDownloadReceivedData :: (GObject a, MonadIO m) => a -> DownloadReceivedDataCallback -> m SignalHandlerId
- downloadReceivedDataCallbackWrapper :: DownloadReceivedDataCallback -> Ptr () -> Word64 -> Ptr () -> IO ()
- downloadReceivedDataClosure :: DownloadReceivedDataCallback -> IO Closure
- mkDownloadReceivedDataCallback :: DownloadReceivedDataCallbackC -> IO (FunPtr DownloadReceivedDataCallbackC)
- noDownloadReceivedDataCallback :: Maybe DownloadReceivedDataCallback
- onDownloadReceivedData :: (GObject a, MonadIO m) => a -> DownloadReceivedDataCallback -> m SignalHandlerId
Exported types
Constructors
| Download (ForeignPtr Download) |
Instances
| GObject Download Source | |
| ((~) * info (ResolveDownloadMethod t Download), MethodInfo * info Download p) => IsLabelProxy t (Download -> p) Source | |
| type ParentTypes Download Source | |
| type AttributeList Download Source | |
| type SignalList Download Source |
class GObject o => DownloadK o Source
Instances
| (GObject o, IsDescendantOf Download o) => DownloadK o Source |
toDownload :: DownloadK o => o -> IO Download Source
Methods
downloadCancel
data DownloadCancelMethodInfo Source
Instances
| ((~) * signature (m ()), MonadIO m, DownloadK a) => MethodInfo * DownloadCancelMethodInfo a signature Source |
downloadCancel :: (MonadIO m, DownloadK a) => a -> m () Source
downloadGetAllowOverwrite
data DownloadGetAllowOverwriteMethodInfo Source
Instances
| ((~) * signature (m Bool), MonadIO m, DownloadK a) => MethodInfo * DownloadGetAllowOverwriteMethodInfo a signature Source |
downloadGetAllowOverwrite :: (MonadIO m, DownloadK a) => a -> m Bool Source
downloadGetDestination
data DownloadGetDestinationMethodInfo Source
Instances
| ((~) * signature (m Text), MonadIO m, DownloadK a) => MethodInfo * DownloadGetDestinationMethodInfo a signature Source |
downloadGetDestination :: (MonadIO m, DownloadK a) => a -> m Text Source
downloadGetElapsedTime
data DownloadGetElapsedTimeMethodInfo Source
Instances
| ((~) * signature (m Double), MonadIO m, DownloadK a) => MethodInfo * DownloadGetElapsedTimeMethodInfo a signature Source |
downloadGetElapsedTime :: (MonadIO m, DownloadK a) => a -> m Double Source
downloadGetEstimatedProgress
data DownloadGetEstimatedProgressMethodInfo Source
Instances
| ((~) * signature (m Double), MonadIO m, DownloadK a) => MethodInfo * DownloadGetEstimatedProgressMethodInfo a signature Source |
downloadGetEstimatedProgress :: (MonadIO m, DownloadK a) => a -> m Double Source
downloadGetReceivedDataLength
data DownloadGetReceivedDataLengthMethodInfo Source
Instances
| ((~) * signature (m Word64), MonadIO m, DownloadK a) => MethodInfo * DownloadGetReceivedDataLengthMethodInfo a signature Source |
downloadGetReceivedDataLength :: (MonadIO m, DownloadK a) => a -> m Word64 Source
downloadGetRequest
data DownloadGetRequestMethodInfo Source
Instances
| ((~) * signature (m URIRequest), MonadIO m, DownloadK a) => MethodInfo * DownloadGetRequestMethodInfo a signature Source |
downloadGetRequest :: (MonadIO m, DownloadK a) => a -> m URIRequest Source
downloadGetResponse
data DownloadGetResponseMethodInfo Source
Instances
| ((~) * signature (m URIResponse), MonadIO m, DownloadK a) => MethodInfo * DownloadGetResponseMethodInfo a signature Source |
downloadGetResponse :: (MonadIO m, DownloadK a) => a -> m URIResponse Source
downloadGetWebView
data DownloadGetWebViewMethodInfo Source
Instances
| ((~) * signature (m WebView), MonadIO m, DownloadK a) => MethodInfo * DownloadGetWebViewMethodInfo a signature Source |
downloadGetWebView :: (MonadIO m, DownloadK a) => a -> m WebView Source
downloadSetAllowOverwrite
data DownloadSetAllowOverwriteMethodInfo Source
Instances
| ((~) * signature (Bool -> m ()), MonadIO m, DownloadK a) => MethodInfo * DownloadSetAllowOverwriteMethodInfo a signature Source |
downloadSetAllowOverwrite :: (MonadIO m, DownloadK a) => a -> Bool -> m () Source
downloadSetDestination
data DownloadSetDestinationMethodInfo Source
Instances
| ((~) * signature (Text -> m ()), MonadIO m, DownloadK a) => MethodInfo * DownloadSetDestinationMethodInfo a signature Source |
downloadSetDestination :: (MonadIO m, DownloadK a) => a -> Text -> m () Source
Properties
AllowOverwrite
data DownloadAllowOverwritePropertyInfo Source
Instances
| AttrInfo DownloadAllowOverwritePropertyInfo Source | |
| type AttrLabel DownloadAllowOverwritePropertyInfo = "allow-overwrite" Source | |
| type AttrGetType DownloadAllowOverwritePropertyInfo = Bool Source | |
| type AttrBaseTypeConstraint DownloadAllowOverwritePropertyInfo = DownloadK Source | |
| type AttrSetTypeConstraint DownloadAllowOverwritePropertyInfo = * ~ Bool Source | |
| type AttrAllowedOps DownloadAllowOverwritePropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))) Source |
downloadAllowOverwrite :: AttrLabelProxy "allowOverwrite" Source
getDownloadAllowOverwrite :: (MonadIO m, DownloadK o) => o -> m Bool Source
setDownloadAllowOverwrite :: (MonadIO m, DownloadK o) => o -> Bool -> m () Source
Destination
data DownloadDestinationPropertyInfo Source
Instances
| AttrInfo DownloadDestinationPropertyInfo Source | |
| type AttrLabel DownloadDestinationPropertyInfo = "destination" Source | |
| type AttrGetType DownloadDestinationPropertyInfo = Text Source | |
| type AttrBaseTypeConstraint DownloadDestinationPropertyInfo = DownloadK Source | |
| type AttrSetTypeConstraint DownloadDestinationPropertyInfo = * ~ () Source | |
| type AttrAllowedOps DownloadDestinationPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) Source |
downloadDestination :: AttrLabelProxy "destination" Source
getDownloadDestination :: (MonadIO m, DownloadK o) => o -> m Text Source
EstimatedProgress
data DownloadEstimatedProgressPropertyInfo Source
Instances
downloadEstimatedProgress :: AttrLabelProxy "estimatedProgress" Source
getDownloadEstimatedProgress :: (MonadIO m, DownloadK o) => o -> m Double Source
Response
data DownloadResponsePropertyInfo Source
Instances
| AttrInfo DownloadResponsePropertyInfo Source | |
| type AttrLabel DownloadResponsePropertyInfo = "response" Source | |
| type AttrGetType DownloadResponsePropertyInfo = URIResponse Source | |
| type AttrBaseTypeConstraint DownloadResponsePropertyInfo = DownloadK Source | |
| type AttrSetTypeConstraint DownloadResponsePropertyInfo = * ~ () Source | |
| type AttrAllowedOps DownloadResponsePropertyInfo = (:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag)) Source |
downloadResponse :: AttrLabelProxy "response" Source
getDownloadResponse :: (MonadIO m, DownloadK o) => o -> m URIResponse Source
Signals
CreatedDestination
type DownloadCreatedDestinationCallback = Text -> IO () Source
afterDownloadCreatedDestination :: (GObject a, MonadIO m) => a -> DownloadCreatedDestinationCallback -> m SignalHandlerId Source
downloadCreatedDestinationCallbackWrapper :: DownloadCreatedDestinationCallback -> Ptr () -> CString -> Ptr () -> IO () Source
mkDownloadCreatedDestinationCallback :: DownloadCreatedDestinationCallbackC -> IO (FunPtr DownloadCreatedDestinationCallbackC) Source
onDownloadCreatedDestination :: (GObject a, MonadIO m) => a -> DownloadCreatedDestinationCallback -> m SignalHandlerId Source
DecideDestination
type DownloadDecideDestinationCallback = Text -> IO Bool Source
afterDownloadDecideDestination :: (GObject a, MonadIO m) => a -> DownloadDecideDestinationCallback -> m SignalHandlerId Source
downloadDecideDestinationCallbackWrapper :: DownloadDecideDestinationCallback -> Ptr () -> CString -> Ptr () -> IO CInt Source
mkDownloadDecideDestinationCallback :: DownloadDecideDestinationCallbackC -> IO (FunPtr DownloadDecideDestinationCallbackC) Source
onDownloadDecideDestination :: (GObject a, MonadIO m) => a -> DownloadDecideDestinationCallback -> m SignalHandlerId Source
Failed
type DownloadFailedCallback = GError -> IO () Source
afterDownloadFailed :: (GObject a, MonadIO m) => a -> DownloadFailedCallback -> m SignalHandlerId Source
downloadFailedCallbackWrapper :: DownloadFailedCallback -> Ptr () -> Ptr GError -> Ptr () -> IO () Source
onDownloadFailed :: (GObject a, MonadIO m) => a -> DownloadFailedCallback -> m SignalHandlerId Source
Finished
type DownloadFinishedCallback = IO () Source
type DownloadFinishedCallbackC = Ptr () -> Ptr () -> IO () Source
afterDownloadFinished :: (GObject a, MonadIO m) => a -> DownloadFinishedCallback -> m SignalHandlerId Source
downloadFinishedCallbackWrapper :: DownloadFinishedCallback -> Ptr () -> Ptr () -> IO () Source
mkDownloadFinishedCallback :: DownloadFinishedCallbackC -> IO (FunPtr DownloadFinishedCallbackC) Source
onDownloadFinished :: (GObject a, MonadIO m) => a -> DownloadFinishedCallback -> m SignalHandlerId Source
ReceivedData
type DownloadReceivedDataCallback = Word64 -> IO () Source
afterDownloadReceivedData :: (GObject a, MonadIO m) => a -> DownloadReceivedDataCallback -> m SignalHandlerId Source
downloadReceivedDataCallbackWrapper :: DownloadReceivedDataCallback -> Ptr () -> Word64 -> Ptr () -> IO () Source
mkDownloadReceivedDataCallback :: DownloadReceivedDataCallbackC -> IO (FunPtr DownloadReceivedDataCallbackC) Source
onDownloadReceivedData :: (GObject a, MonadIO m) => a -> DownloadReceivedDataCallback -> m SignalHandlerId Source