GI.WebKit2.Objects.Download

Exported types

newtype Download

Constructors

Download (ForeignPtr Download)

Instances

GObject Download

type ParentTypes Download

type AttributeList Download

type SignalList Download

class GObject o => DownloadK o

Instances

(GObject o, IsDescendantOf Download o) => DownloadK o

toDownload :: DownloadK o => o -> IO Download

noDownload :: Maybe Download

Methods

downloadCancel

downloadCancel :: (MonadIO m, DownloadK a) => a -> m ()

downloadGetAllowOverwrite

downloadGetAllowOverwrite :: (MonadIO m, DownloadK a) => a -> m Bool

downloadGetDestination

downloadGetDestination :: (MonadIO m, DownloadK a) => a -> m Text

downloadGetElapsedTime

downloadGetElapsedTime :: (MonadIO m, DownloadK a) => a -> m Double

downloadGetEstimatedProgress

downloadGetEstimatedProgress :: (MonadIO m, DownloadK a) => a -> m Double

downloadGetReceivedDataLength

downloadGetReceivedDataLength :: (MonadIO m, DownloadK a) => a -> m Word64

downloadGetRequest

downloadGetRequest :: (MonadIO m, DownloadK a) => a -> m URIRequest

downloadGetResponse

downloadGetResponse :: (MonadIO m, DownloadK a) => a -> m URIResponse

downloadGetWebView

downloadGetWebView :: (MonadIO m, DownloadK a) => a -> m WebView

downloadSetAllowOverwrite

downloadSetAllowOverwrite :: (MonadIO m, DownloadK a) => a -> Bool -> m ()

downloadSetDestination

downloadSetDestination :: (MonadIO m, DownloadK a) => a -> Text -> m ()

Properties

AllowOverwrite

data DownloadAllowOverwritePropertyInfo

Instances

AttrInfo DownloadAllowOverwritePropertyInfo

type AttrLabel DownloadAllowOverwritePropertyInfo = "Download::allow-overwrite"

type AttrGetType DownloadAllowOverwritePropertyInfo = Bool

type AttrBaseTypeConstraint DownloadAllowOverwritePropertyInfo = DownloadK

type AttrSetTypeConstraint DownloadAllowOverwritePropertyInfo = * ~ Bool

type AttrAllowedOps DownloadAllowOverwritePropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

constructDownloadAllowOverwrite :: Bool -> IO ([Char], GValue)

getDownloadAllowOverwrite :: (MonadIO m, DownloadK o) => o -> m Bool

setDownloadAllowOverwrite :: (MonadIO m, DownloadK o) => o -> Bool -> m ()

Destination

data DownloadDestinationPropertyInfo

Instances

AttrInfo DownloadDestinationPropertyInfo

type AttrLabel DownloadDestinationPropertyInfo = "Download::destination"

type AttrGetType DownloadDestinationPropertyInfo = Text

type AttrBaseTypeConstraint DownloadDestinationPropertyInfo = DownloadK

type AttrSetTypeConstraint DownloadDestinationPropertyInfo = * ~ ()

type AttrAllowedOps DownloadDestinationPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag)

getDownloadDestination :: (MonadIO m, DownloadK o) => o -> m Text

EstimatedProgress

data DownloadEstimatedProgressPropertyInfo

Instances

AttrInfo DownloadEstimatedProgressPropertyInfo

type AttrLabel DownloadEstimatedProgressPropertyInfo = "Download::estimated-progress"

type AttrGetType DownloadEstimatedProgressPropertyInfo = Double

type AttrBaseTypeConstraint DownloadEstimatedProgressPropertyInfo = DownloadK

type AttrSetTypeConstraint DownloadEstimatedProgressPropertyInfo = * ~ ()

type AttrAllowedOps DownloadEstimatedProgressPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag)

getDownloadEstimatedProgress :: (MonadIO m, DownloadK o) => o -> m Double

Response

data DownloadResponsePropertyInfo

Instances

AttrInfo DownloadResponsePropertyInfo

type AttrLabel DownloadResponsePropertyInfo = "Download::response"

type AttrGetType DownloadResponsePropertyInfo = URIResponse

type AttrBaseTypeConstraint DownloadResponsePropertyInfo = DownloadK

type AttrSetTypeConstraint DownloadResponsePropertyInfo = * ~ ()

type AttrAllowedOps DownloadResponsePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag)

getDownloadResponse :: (MonadIO m, DownloadK o) => o -> m URIResponse

Signals

CreatedDestination

type DownloadCreatedDestinationCallback = Text -> IO ()

type DownloadCreatedDestinationCallbackC = Ptr () -> CString -> Ptr () -> IO ()

data DownloadCreatedDestinationSignalInfo

Instances

SignalInfo DownloadCreatedDestinationSignalInfo

type HaskellCallbackType DownloadCreatedDestinationSignalInfo = DownloadCreatedDestinationCallback

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

DecideDestination

type DownloadDecideDestinationCallback = Text -> IO Bool

type DownloadDecideDestinationCallbackC = Ptr () -> CString -> Ptr () -> IO CInt

data DownloadDecideDestinationSignalInfo

Instances

SignalInfo DownloadDecideDestinationSignalInfo

type HaskellCallbackType DownloadDecideDestinationSignalInfo = DownloadDecideDestinationCallback

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

Failed

type DownloadFailedCallback = Ptr () -> IO ()

type DownloadFailedCallbackC = Ptr () -> Ptr () -> Ptr () -> IO ()

data DownloadFailedSignalInfo

Instances

SignalInfo DownloadFailedSignalInfo

type HaskellCallbackType DownloadFailedSignalInfo = DownloadFailedCallback

afterDownloadFailed :: (GObject a, MonadIO m) => a -> DownloadFailedCallback -> m SignalHandlerId

downloadFailedCallbackWrapper :: DownloadFailedCallback -> Ptr () -> Ptr () -> Ptr () -> IO ()

downloadFailedClosure :: DownloadFailedCallback -> IO Closure

mkDownloadFailedCallback :: DownloadFailedCallbackC -> IO (FunPtr DownloadFailedCallbackC)

noDownloadFailedCallback :: Maybe DownloadFailedCallback

onDownloadFailed :: (GObject a, MonadIO m) => a -> DownloadFailedCallback -> m SignalHandlerId

Finished

type DownloadFinishedCallback = IO ()

type DownloadFinishedCallbackC = Ptr () -> Ptr () -> IO ()

data DownloadFinishedSignalInfo

Instances

SignalInfo DownloadFinishedSignalInfo

type HaskellCallbackType DownloadFinishedSignalInfo = DownloadFinishedCallback

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

ReceivedData

type DownloadReceivedDataCallback = Word64 -> IO ()

type DownloadReceivedDataCallbackC = Ptr () -> Word64 -> Ptr () -> IO ()

data DownloadReceivedDataSignalInfo

Instances

SignalInfo DownloadReceivedDataSignalInfo

type HaskellCallbackType DownloadReceivedDataSignalInfo = DownloadReceivedDataCallback

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