GI.WebKit2.Objects.Download

Exported types

newtype Download

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

class GObject o => DownloadK o

Instances

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

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

noDownload :: Maybe Download

Methods

downloadCancel

data DownloadCancelMethodInfo

Instances

((~) * signature (m ()), MonadIO m, DownloadK a) => MethodInfo * DownloadCancelMethodInfo a signature

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

downloadGetAllowOverwrite

data DownloadGetAllowOverwriteMethodInfo

Instances

((~) * signature (m Bool), MonadIO m, DownloadK a) => MethodInfo * DownloadGetAllowOverwriteMethodInfo a signature

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

downloadGetDestination

data DownloadGetDestinationMethodInfo

Instances

((~) * signature (m Text), MonadIO m, DownloadK a) => MethodInfo * DownloadGetDestinationMethodInfo a signature

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

downloadGetElapsedTime

data DownloadGetElapsedTimeMethodInfo

Instances

((~) * signature (m Double), MonadIO m, DownloadK a) => MethodInfo * DownloadGetElapsedTimeMethodInfo a signature

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

downloadGetEstimatedProgress

data DownloadGetEstimatedProgressMethodInfo

Instances

((~) * signature (m Double), MonadIO m, DownloadK a) => MethodInfo * DownloadGetEstimatedProgressMethodInfo a signature

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

downloadGetReceivedDataLength

data DownloadGetReceivedDataLengthMethodInfo

Instances

((~) * signature (m Word64), MonadIO m, DownloadK a) => MethodInfo * DownloadGetReceivedDataLengthMethodInfo a signature

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

downloadGetRequest

data DownloadGetRequestMethodInfo

Instances

((~) * signature (m URIRequest), MonadIO m, DownloadK a) => MethodInfo * DownloadGetRequestMethodInfo a signature

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

downloadGetResponse

data DownloadGetResponseMethodInfo

Instances

((~) * signature (m URIResponse), MonadIO m, DownloadK a) => MethodInfo * DownloadGetResponseMethodInfo a signature

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

downloadGetWebView

data DownloadGetWebViewMethodInfo

Instances

((~) * signature (m WebView), MonadIO m, DownloadK a) => MethodInfo * DownloadGetWebViewMethodInfo a signature

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

downloadSetAllowOverwrite

data DownloadSetAllowOverwriteMethodInfo

Instances

((~) * signature (Bool -> m ()), MonadIO m, DownloadK a) => MethodInfo * DownloadSetAllowOverwriteMethodInfo a signature

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

downloadSetDestination

data DownloadSetDestinationMethodInfo

Instances

((~) * signature (Text -> m ()), MonadIO m, DownloadK a) => MethodInfo * DownloadSetDestinationMethodInfo a signature

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

Properties

AllowOverwrite

data DownloadAllowOverwritePropertyInfo

Instances

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)))

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

downloadAllowOverwrite :: AttrLabelProxy "allowOverwrite"

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 = "destination"

type AttrGetType DownloadDestinationPropertyInfo = Text

type AttrBaseTypeConstraint DownloadDestinationPropertyInfo = DownloadK

type AttrSetTypeConstraint DownloadDestinationPropertyInfo = * ~ ()

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

downloadDestination :: AttrLabelProxy "destination"

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

EstimatedProgress

data DownloadEstimatedProgressPropertyInfo

Instances

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"

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

Response

data DownloadResponsePropertyInfo

Instances

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"

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 = GError -> IO ()

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

data DownloadFailedSignalInfo

Instances

SignalInfo DownloadFailedSignalInfo

type HaskellCallbackType DownloadFailedSignalInfo = DownloadFailedCallback

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

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