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 |
- 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
GObject Download | |
((~) * info (ResolveDownloadMethod t Download), MethodInfo * info Download p) => IsLabelProxy t (Download -> p) | |
type ParentTypes Download | |
type AttributeList Download | |
type SignalList Download |
toDownload :: DownloadK o => o -> IO Download Source
Methods
downloadCancel
data DownloadCancelMethodInfo Source
((~) * signature (m ()), MonadIO m, DownloadK a) => MethodInfo * DownloadCancelMethodInfo a signature |
downloadCancel :: (MonadIO m, DownloadK a) => a -> m () Source
downloadGetAllowOverwrite
data DownloadGetAllowOverwriteMethodInfo Source
((~) * signature (m Bool), MonadIO m, DownloadK a) => MethodInfo * DownloadGetAllowOverwriteMethodInfo a signature |
downloadGetAllowOverwrite :: (MonadIO m, DownloadK a) => a -> m Bool Source
downloadGetDestination
data DownloadGetDestinationMethodInfo Source
((~) * signature (m Text), MonadIO m, DownloadK a) => MethodInfo * DownloadGetDestinationMethodInfo a signature |
downloadGetDestination :: (MonadIO m, DownloadK a) => a -> m Text Source
downloadGetElapsedTime
data DownloadGetElapsedTimeMethodInfo Source
((~) * signature (m Double), MonadIO m, DownloadK a) => MethodInfo * DownloadGetElapsedTimeMethodInfo a signature |
downloadGetElapsedTime :: (MonadIO m, DownloadK a) => a -> m Double Source
downloadGetEstimatedProgress
data DownloadGetEstimatedProgressMethodInfo Source
((~) * signature (m Double), MonadIO m, DownloadK a) => MethodInfo * DownloadGetEstimatedProgressMethodInfo a signature |
downloadGetEstimatedProgress :: (MonadIO m, DownloadK a) => a -> m Double Source
downloadGetReceivedDataLength
data DownloadGetReceivedDataLengthMethodInfo Source
((~) * signature (m Word64), MonadIO m, DownloadK a) => MethodInfo * DownloadGetReceivedDataLengthMethodInfo a signature |
downloadGetReceivedDataLength :: (MonadIO m, DownloadK a) => a -> m Word64 Source
downloadGetRequest
data DownloadGetRequestMethodInfo Source
((~) * signature (m URIRequest), MonadIO m, DownloadK a) => MethodInfo * DownloadGetRequestMethodInfo a signature |
downloadGetRequest :: (MonadIO m, DownloadK a) => a -> m URIRequest Source
downloadGetResponse
data DownloadGetResponseMethodInfo Source
((~) * signature (m URIResponse), MonadIO m, DownloadK a) => MethodInfo * DownloadGetResponseMethodInfo a signature |
downloadGetResponse :: (MonadIO m, DownloadK a) => a -> m URIResponse Source
downloadGetWebView
data DownloadGetWebViewMethodInfo Source
((~) * signature (m WebView), MonadIO m, DownloadK a) => MethodInfo * DownloadGetWebViewMethodInfo a signature |
downloadGetWebView :: (MonadIO m, DownloadK a) => a -> m WebView Source
downloadSetAllowOverwrite
data DownloadSetAllowOverwriteMethodInfo Source
((~) * signature (Bool -> m ()), MonadIO m, DownloadK a) => MethodInfo * DownloadSetAllowOverwriteMethodInfo a signature |
downloadSetAllowOverwrite :: (MonadIO m, DownloadK a) => a -> Bool -> m () Source
downloadSetDestination
data DownloadSetDestinationMethodInfo Source
((~) * signature (Text -> m ()), MonadIO m, DownloadK a) => MethodInfo * DownloadSetDestinationMethodInfo a signature |
downloadSetDestination :: (MonadIO m, DownloadK a) => a -> Text -> m () Source
Properties
AllowOverwrite
data DownloadAllowOverwritePropertyInfo Source
AttrInfo DownloadAllowOverwritePropertyInfo | |
type AttrLabel DownloadAllowOverwritePropertyInfo = "allow-overwrite" | |
type AttrGetType DownloadAllowOverwritePropertyInfo = Bool | |
type AttrBaseTypeConstraint DownloadAllowOverwritePropertyInfo = DownloadK | |
type AttrSetTypeConstraint DownloadAllowOverwritePropertyInfo = * ~ Bool | |
type AttrAllowedOps DownloadAllowOverwritePropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))) |
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
AttrInfo DownloadDestinationPropertyInfo | |
type AttrLabel DownloadDestinationPropertyInfo = "destination" | |
type AttrGetType DownloadDestinationPropertyInfo = Text | |
type AttrBaseTypeConstraint DownloadDestinationPropertyInfo = DownloadK | |
type AttrSetTypeConstraint DownloadDestinationPropertyInfo = * ~ () | |
type AttrAllowedOps DownloadDestinationPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) |
downloadDestination :: AttrLabelProxy "destination" Source
getDownloadDestination :: (MonadIO m, DownloadK o) => o -> m Text Source
EstimatedProgress
data DownloadEstimatedProgressPropertyInfo Source
AttrInfo DownloadEstimatedProgressPropertyInfo | |
type AttrLabel DownloadEstimatedProgressPropertyInfo = "estimated-progress" | |
type AttrGetType DownloadEstimatedProgressPropertyInfo = Double | |
type AttrBaseTypeConstraint DownloadEstimatedProgressPropertyInfo = DownloadK | |
type AttrSetTypeConstraint DownloadEstimatedProgressPropertyInfo = * ~ () | |
type AttrAllowedOps DownloadEstimatedProgressPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) |
downloadEstimatedProgress :: AttrLabelProxy "estimatedProgress" Source
getDownloadEstimatedProgress :: (MonadIO m, DownloadK o) => o -> m Double Source
Response
data DownloadResponsePropertyInfo Source
AttrInfo DownloadResponsePropertyInfo | |
type AttrLabel DownloadResponsePropertyInfo = "response" | |
type AttrGetType DownloadResponsePropertyInfo = URIResponse | |
type AttrBaseTypeConstraint DownloadResponsePropertyInfo = DownloadK | |
type AttrSetTypeConstraint DownloadResponsePropertyInfo = * ~ () | |
type AttrAllowedOps DownloadResponsePropertyInfo = (:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag)) |
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