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 (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 DownloadGetCurrentSizeMethodInfo
- downloadGetCurrentSize :: (MonadIO m, DownloadK a) => a -> m Word64
- data DownloadGetDestinationUriMethodInfo
- downloadGetDestinationUri :: (MonadIO m, DownloadK a) => a -> m Text
- data DownloadGetElapsedTimeMethodInfo
- downloadGetElapsedTime :: (MonadIO m, DownloadK a) => a -> m Double
- data DownloadGetNetworkRequestMethodInfo
- downloadGetNetworkRequest :: (MonadIO m, DownloadK a) => a -> m NetworkRequest
- data DownloadGetNetworkResponseMethodInfo
- downloadGetNetworkResponse :: (MonadIO m, DownloadK a) => a -> m NetworkResponse
- data DownloadGetProgressMethodInfo
- downloadGetProgress :: (MonadIO m, DownloadK a) => a -> m Double
- data DownloadGetStatusMethodInfo
- downloadGetStatus :: (MonadIO m, DownloadK a) => a -> m DownloadStatus
- data DownloadGetSuggestedFilenameMethodInfo
- downloadGetSuggestedFilename :: (MonadIO m, DownloadK a) => a -> m Text
- data DownloadGetTotalSizeMethodInfo
- downloadGetTotalSize :: (MonadIO m, DownloadK a) => a -> m Word64
- data DownloadGetUriMethodInfo
- downloadGetUri :: (MonadIO m, DownloadK a) => a -> m Text
- downloadNew :: (MonadIO m, NetworkRequestK a) => a -> m Download
- data DownloadSetDestinationUriMethodInfo
- downloadSetDestinationUri :: (MonadIO m, DownloadK a) => a -> Text -> m ()
- data DownloadStartMethodInfo
- downloadStart :: (MonadIO m, DownloadK a) => a -> m ()
- data DownloadCurrentSizePropertyInfo
- downloadCurrentSize :: AttrLabelProxy "currentSize"
- getDownloadCurrentSize :: (MonadIO m, DownloadK o) => o -> m Word64
- data DownloadDestinationUriPropertyInfo
- constructDownloadDestinationUri :: Text -> IO ([Char], GValue)
- downloadDestinationUri :: AttrLabelProxy "destinationUri"
- getDownloadDestinationUri :: (MonadIO m, DownloadK o) => o -> m Text
- setDownloadDestinationUri :: (MonadIO m, DownloadK o) => o -> Text -> m ()
- data DownloadNetworkRequestPropertyInfo
- constructDownloadNetworkRequest :: NetworkRequestK a => a -> IO ([Char], GValue)
- downloadNetworkRequest :: AttrLabelProxy "networkRequest"
- getDownloadNetworkRequest :: (MonadIO m, DownloadK o) => o -> m NetworkRequest
- data DownloadNetworkResponsePropertyInfo
- constructDownloadNetworkResponse :: NetworkResponseK a => a -> IO ([Char], GValue)
- downloadNetworkResponse :: AttrLabelProxy "networkResponse"
- getDownloadNetworkResponse :: (MonadIO m, DownloadK o) => o -> m NetworkResponse
- data DownloadProgressPropertyInfo
- downloadProgress :: AttrLabelProxy "progress"
- getDownloadProgress :: (MonadIO m, DownloadK o) => o -> m Double
- data DownloadStatusPropertyInfo
- downloadStatus :: AttrLabelProxy "status"
- getDownloadStatus :: (MonadIO m, DownloadK o) => o -> m DownloadStatus
- data DownloadSuggestedFilenamePropertyInfo
- downloadSuggestedFilename :: AttrLabelProxy "suggestedFilename"
- getDownloadSuggestedFilename :: (MonadIO m, DownloadK o) => o -> m Text
- data DownloadTotalSizePropertyInfo
- downloadTotalSize :: AttrLabelProxy "totalSize"
- getDownloadTotalSize :: (MonadIO m, DownloadK o) => o -> m Word64
- type DownloadErrorCallback = Int32 -> Int32 -> Text -> IO Bool
- type DownloadErrorCallbackC = Ptr () -> Int32 -> Int32 -> CString -> Ptr () -> IO CInt
- data DownloadErrorSignalInfo
- afterDownloadError :: (GObject a, MonadIO m) => a -> DownloadErrorCallback -> m SignalHandlerId
- downloadErrorCallbackWrapper :: DownloadErrorCallback -> Ptr () -> Int32 -> Int32 -> CString -> Ptr () -> IO CInt
- downloadErrorClosure :: DownloadErrorCallback -> IO Closure
- mkDownloadErrorCallback :: DownloadErrorCallbackC -> IO (FunPtr DownloadErrorCallbackC)
- noDownloadErrorCallback :: Maybe DownloadErrorCallback
- onDownloadError :: (GObject a, MonadIO m) => a -> DownloadErrorCallback -> m SignalHandlerId
Exported types
Constructors
Download (ForeignPtr Download) |
Instances
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
Instances
((~) * signature (m ()), MonadIO m, DownloadK a) => MethodInfo * DownloadCancelMethodInfo a signature |
downloadCancel :: (MonadIO m, DownloadK a) => a -> m () Source
downloadGetCurrentSize
data DownloadGetCurrentSizeMethodInfo Source
Instances
((~) * signature (m Word64), MonadIO m, DownloadK a) => MethodInfo * DownloadGetCurrentSizeMethodInfo a signature |
downloadGetCurrentSize :: (MonadIO m, DownloadK a) => a -> m Word64 Source
downloadGetDestinationUri
data DownloadGetDestinationUriMethodInfo Source
Instances
((~) * signature (m Text), MonadIO m, DownloadK a) => MethodInfo * DownloadGetDestinationUriMethodInfo a signature |
downloadGetDestinationUri :: (MonadIO m, DownloadK a) => a -> m Text Source
downloadGetElapsedTime
data DownloadGetElapsedTimeMethodInfo Source
Instances
((~) * signature (m Double), MonadIO m, DownloadK a) => MethodInfo * DownloadGetElapsedTimeMethodInfo a signature |
downloadGetElapsedTime :: (MonadIO m, DownloadK a) => a -> m Double Source
downloadGetNetworkRequest
data DownloadGetNetworkRequestMethodInfo Source
Instances
((~) * signature (m NetworkRequest), MonadIO m, DownloadK a) => MethodInfo * DownloadGetNetworkRequestMethodInfo a signature |
downloadGetNetworkRequest :: (MonadIO m, DownloadK a) => a -> m NetworkRequest Source
downloadGetNetworkResponse
data DownloadGetNetworkResponseMethodInfo Source
Instances
((~) * signature (m NetworkResponse), MonadIO m, DownloadK a) => MethodInfo * DownloadGetNetworkResponseMethodInfo a signature |
downloadGetNetworkResponse :: (MonadIO m, DownloadK a) => a -> m NetworkResponse Source
downloadGetProgress
data DownloadGetProgressMethodInfo Source
Instances
((~) * signature (m Double), MonadIO m, DownloadK a) => MethodInfo * DownloadGetProgressMethodInfo a signature |
downloadGetProgress :: (MonadIO m, DownloadK a) => a -> m Double Source
downloadGetStatus
data DownloadGetStatusMethodInfo Source
Instances
((~) * signature (m DownloadStatus), MonadIO m, DownloadK a) => MethodInfo * DownloadGetStatusMethodInfo a signature |
downloadGetStatus :: (MonadIO m, DownloadK a) => a -> m DownloadStatus Source
downloadGetSuggestedFilename
data DownloadGetSuggestedFilenameMethodInfo Source
Instances
((~) * signature (m Text), MonadIO m, DownloadK a) => MethodInfo * DownloadGetSuggestedFilenameMethodInfo a signature |
downloadGetSuggestedFilename :: (MonadIO m, DownloadK a) => a -> m Text Source
downloadGetTotalSize
data DownloadGetTotalSizeMethodInfo Source
Instances
((~) * signature (m Word64), MonadIO m, DownloadK a) => MethodInfo * DownloadGetTotalSizeMethodInfo a signature |
downloadGetTotalSize :: (MonadIO m, DownloadK a) => a -> m Word64 Source
downloadGetUri
data DownloadGetUriMethodInfo Source
Instances
((~) * signature (m Text), MonadIO m, DownloadK a) => MethodInfo * DownloadGetUriMethodInfo a signature |
downloadGetUri :: (MonadIO m, DownloadK a) => a -> m Text Source
downloadNew
downloadNew :: (MonadIO m, NetworkRequestK a) => a -> m Download Source
downloadSetDestinationUri
data DownloadSetDestinationUriMethodInfo Source
Instances
((~) * signature (Text -> m ()), MonadIO m, DownloadK a) => MethodInfo * DownloadSetDestinationUriMethodInfo a signature |
downloadSetDestinationUri :: (MonadIO m, DownloadK a) => a -> Text -> m () Source
downloadStart
data DownloadStartMethodInfo Source
Instances
((~) * signature (m ()), MonadIO m, DownloadK a) => MethodInfo * DownloadStartMethodInfo a signature |
downloadStart :: (MonadIO m, DownloadK a) => a -> m () Source
Properties
CurrentSize
data DownloadCurrentSizePropertyInfo Source
Instances
AttrInfo DownloadCurrentSizePropertyInfo | |
type AttrLabel DownloadCurrentSizePropertyInfo = "current-size" | |
type AttrGetType DownloadCurrentSizePropertyInfo = Word64 | |
type AttrBaseTypeConstraint DownloadCurrentSizePropertyInfo = DownloadK | |
type AttrSetTypeConstraint DownloadCurrentSizePropertyInfo = * ~ () | |
type AttrAllowedOps DownloadCurrentSizePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) |
downloadCurrentSize :: AttrLabelProxy "currentSize" Source
getDownloadCurrentSize :: (MonadIO m, DownloadK o) => o -> m Word64 Source
DestinationUri
data DownloadDestinationUriPropertyInfo Source
Instances
AttrInfo DownloadDestinationUriPropertyInfo | |
type AttrLabel DownloadDestinationUriPropertyInfo = "destination-uri" | |
type AttrGetType DownloadDestinationUriPropertyInfo = Text | |
type AttrBaseTypeConstraint DownloadDestinationUriPropertyInfo = DownloadK | |
type AttrSetTypeConstraint DownloadDestinationUriPropertyInfo = * ~ Text | |
type AttrAllowedOps DownloadDestinationUriPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))) |
downloadDestinationUri :: AttrLabelProxy "destinationUri" Source
getDownloadDestinationUri :: (MonadIO m, DownloadK o) => o -> m Text Source
setDownloadDestinationUri :: (MonadIO m, DownloadK o) => o -> Text -> m () Source
NetworkRequest
data DownloadNetworkRequestPropertyInfo Source
Instances
constructDownloadNetworkRequest :: NetworkRequestK a => a -> IO ([Char], GValue) Source
downloadNetworkRequest :: AttrLabelProxy "networkRequest" Source
getDownloadNetworkRequest :: (MonadIO m, DownloadK o) => o -> m NetworkRequest Source
NetworkResponse
data DownloadNetworkResponsePropertyInfo Source
Instances
constructDownloadNetworkResponse :: NetworkResponseK a => a -> IO ([Char], GValue) Source
downloadNetworkResponse :: AttrLabelProxy "networkResponse" Source
getDownloadNetworkResponse :: (MonadIO m, DownloadK o) => o -> m NetworkResponse Source
Progress
data DownloadProgressPropertyInfo Source
Instances
AttrInfo DownloadProgressPropertyInfo | |
type AttrLabel DownloadProgressPropertyInfo = "progress" | |
type AttrGetType DownloadProgressPropertyInfo = Double | |
type AttrBaseTypeConstraint DownloadProgressPropertyInfo = DownloadK | |
type AttrSetTypeConstraint DownloadProgressPropertyInfo = * ~ () | |
type AttrAllowedOps DownloadProgressPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) |
downloadProgress :: AttrLabelProxy "progress" Source
getDownloadProgress :: (MonadIO m, DownloadK o) => o -> m Double Source
Status
data DownloadStatusPropertyInfo Source
Instances
AttrInfo DownloadStatusPropertyInfo | |
type AttrLabel DownloadStatusPropertyInfo = "status" | |
type AttrGetType DownloadStatusPropertyInfo = DownloadStatus | |
type AttrBaseTypeConstraint DownloadStatusPropertyInfo = DownloadK | |
type AttrSetTypeConstraint DownloadStatusPropertyInfo = * ~ () | |
type AttrAllowedOps DownloadStatusPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) |
downloadStatus :: AttrLabelProxy "status" Source
getDownloadStatus :: (MonadIO m, DownloadK o) => o -> m DownloadStatus Source
SuggestedFilename
data DownloadSuggestedFilenamePropertyInfo Source
Instances
AttrInfo DownloadSuggestedFilenamePropertyInfo | |
type AttrLabel DownloadSuggestedFilenamePropertyInfo = "suggested-filename" | |
type AttrGetType DownloadSuggestedFilenamePropertyInfo = Text | |
type AttrBaseTypeConstraint DownloadSuggestedFilenamePropertyInfo = DownloadK | |
type AttrSetTypeConstraint DownloadSuggestedFilenamePropertyInfo = * ~ () | |
type AttrAllowedOps DownloadSuggestedFilenamePropertyInfo = (:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag)) |
downloadSuggestedFilename :: AttrLabelProxy "suggestedFilename" Source
getDownloadSuggestedFilename :: (MonadIO m, DownloadK o) => o -> m Text Source
TotalSize
data DownloadTotalSizePropertyInfo Source
Instances
AttrInfo DownloadTotalSizePropertyInfo | |
type AttrLabel DownloadTotalSizePropertyInfo = "total-size" | |
type AttrGetType DownloadTotalSizePropertyInfo = Word64 | |
type AttrBaseTypeConstraint DownloadTotalSizePropertyInfo = DownloadK | |
type AttrSetTypeConstraint DownloadTotalSizePropertyInfo = * ~ () | |
type AttrAllowedOps DownloadTotalSizePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) |
downloadTotalSize :: AttrLabelProxy "totalSize" Source
getDownloadTotalSize :: (MonadIO m, DownloadK o) => o -> m Word64 Source
Signals
Error
afterDownloadError :: (GObject a, MonadIO m) => a -> DownloadErrorCallback -> m SignalHandlerId Source
downloadErrorCallbackWrapper :: DownloadErrorCallback -> Ptr () -> Int32 -> Int32 -> CString -> Ptr () -> IO CInt Source
onDownloadError :: (GObject a, MonadIO m) => a -> DownloadErrorCallback -> m SignalHandlerId Source