gi-webkit2-4.0.7: WebKit2 bindings

CopyrightWill Thompson, Iñaki García Etxebarria and Jonas Platte
LicenseLGPL-2.1
MaintainerIñaki García Etxebarria (garetxe@gmail.com)
Safe HaskellNone
LanguageHaskell2010

GI.WebKit2.Objects.Download

Contents

Description

 

Synopsis

Exported types

newtype Download Source #

Constructors

Download (ManagedPtr Download) 

Instances

GObject Download Source # 
IsObject Download Source # 
IsDownload Download Source # 
((~) * info (ResolveDownloadMethod t Download), MethodInfo * info Download p) => IsLabel t (Download -> p) Source # 

Methods

fromLabel :: Proxy# Symbol t -> Download -> p #

((~) * info (ResolveDownloadMethod t Download), MethodInfo * info Download p) => IsLabelProxy t (Download -> p) Source # 

Methods

fromLabelProxy :: Proxy Symbol t -> Download -> p

HasAttributeList * Download Source # 
type SignalList Download Source # 
type SignalList Download
type AttributeList Download Source # 
type AttributeList Download

class GObject o => IsDownload o Source #

Instances

(GObject a, UnknownAncestorError Constraint Download a) => IsDownload a Source # 
IsDownload Download Source # 

Methods

cancel

data DownloadCancelMethodInfo Source #

Instances

((~) * signature (m ()), MonadIO m, IsDownload a) => MethodInfo * DownloadCancelMethodInfo a signature Source # 

Methods

overloadedMethod :: MethodProxy DownloadCancelMethodInfo a -> signature -> s

downloadCancel :: (MonadIO m, IsDownload a) => a -> m () Source #

getAllowOverwrite

data DownloadGetAllowOverwriteMethodInfo Source #

Instances

((~) * signature (m Bool), MonadIO m, IsDownload a) => MethodInfo * DownloadGetAllowOverwriteMethodInfo a signature Source # 

Methods

overloadedMethod :: MethodProxy DownloadGetAllowOverwriteMethodInfo a -> signature -> s

getDestination

data DownloadGetDestinationMethodInfo Source #

Instances

((~) * signature (m Text), MonadIO m, IsDownload a) => MethodInfo * DownloadGetDestinationMethodInfo a signature Source # 

Methods

overloadedMethod :: MethodProxy DownloadGetDestinationMethodInfo a -> signature -> s

getElapsedTime

data DownloadGetElapsedTimeMethodInfo Source #

Instances

((~) * signature (m Double), MonadIO m, IsDownload a) => MethodInfo * DownloadGetElapsedTimeMethodInfo a signature Source # 

Methods

overloadedMethod :: MethodProxy DownloadGetElapsedTimeMethodInfo a -> signature -> s

getEstimatedProgress

data DownloadGetEstimatedProgressMethodInfo Source #

Instances

((~) * signature (m Double), MonadIO m, IsDownload a) => MethodInfo * DownloadGetEstimatedProgressMethodInfo a signature Source # 

Methods

overloadedMethod :: MethodProxy DownloadGetEstimatedProgressMethodInfo a -> signature -> s

getReceivedDataLength

data DownloadGetReceivedDataLengthMethodInfo Source #

Instances

((~) * signature (m Word64), MonadIO m, IsDownload a) => MethodInfo * DownloadGetReceivedDataLengthMethodInfo a signature Source # 

Methods

overloadedMethod :: MethodProxy DownloadGetReceivedDataLengthMethodInfo a -> signature -> s

getRequest

data DownloadGetRequestMethodInfo Source #

Instances

((~) * signature (m URIRequest), MonadIO m, IsDownload a) => MethodInfo * DownloadGetRequestMethodInfo a signature Source # 

Methods

overloadedMethod :: MethodProxy DownloadGetRequestMethodInfo a -> signature -> s

getResponse

data DownloadGetResponseMethodInfo Source #

Instances

((~) * signature (m URIResponse), MonadIO m, IsDownload a) => MethodInfo * DownloadGetResponseMethodInfo a signature Source # 

Methods

overloadedMethod :: MethodProxy DownloadGetResponseMethodInfo a -> signature -> s

getWebView

data DownloadGetWebViewMethodInfo Source #

Instances

((~) * signature (m WebView), MonadIO m, IsDownload a) => MethodInfo * DownloadGetWebViewMethodInfo a signature Source # 

Methods

overloadedMethod :: MethodProxy DownloadGetWebViewMethodInfo a -> signature -> s

setAllowOverwrite

data DownloadSetAllowOverwriteMethodInfo Source #

Instances

((~) * signature (Bool -> m ()), MonadIO m, IsDownload a) => MethodInfo * DownloadSetAllowOverwriteMethodInfo a signature Source # 

Methods

overloadedMethod :: MethodProxy DownloadSetAllowOverwriteMethodInfo a -> signature -> s

setDestination

data DownloadSetDestinationMethodInfo Source #

Instances

((~) * signature (Text -> m ()), MonadIO m, IsDownload a) => MethodInfo * DownloadSetDestinationMethodInfo a signature Source # 

Methods

overloadedMethod :: MethodProxy DownloadSetDestinationMethodInfo a -> signature -> s

downloadSetDestination :: (MonadIO m, IsDownload a) => a -> Text -> m () Source #

Properties

allowOverwrite

data DownloadAllowOverwritePropertyInfo Source #

Instances

AttrInfo DownloadAllowOverwritePropertyInfo Source # 

Associated Types

type AttrAllowedOps DownloadAllowOverwritePropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadAllowOverwritePropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadAllowOverwritePropertyInfo :: * -> Constraint

type AttrGetType DownloadAllowOverwritePropertyInfo :: *

type AttrLabel DownloadAllowOverwritePropertyInfo :: Symbol

type AttrOrigin DownloadAllowOverwritePropertyInfo :: *

type AttrSetTypeConstraint DownloadAllowOverwritePropertyInfo Source # 
type AttrSetTypeConstraint DownloadAllowOverwritePropertyInfo = * ~ Bool
type AttrOrigin DownloadAllowOverwritePropertyInfo Source # 
type AttrLabel DownloadAllowOverwritePropertyInfo Source # 
type AttrLabel DownloadAllowOverwritePropertyInfo = "allow-overwrite"
type AttrGetType DownloadAllowOverwritePropertyInfo Source # 
type AttrBaseTypeConstraint DownloadAllowOverwritePropertyInfo Source # 
type AttrBaseTypeConstraint DownloadAllowOverwritePropertyInfo = IsDownload
type AttrAllowedOps DownloadAllowOverwritePropertyInfo Source # 
type AttrAllowedOps DownloadAllowOverwritePropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

constructDownloadAllowOverwrite :: IsDownload o => Bool -> IO (GValueConstruct o) Source #

downloadAllowOverwrite :: AttrLabelProxy "allowOverwrite" Source #

destination

data DownloadDestinationPropertyInfo Source #

Instances

AttrInfo DownloadDestinationPropertyInfo Source # 

Associated Types

type AttrAllowedOps DownloadDestinationPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadDestinationPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadDestinationPropertyInfo :: * -> Constraint

type AttrGetType DownloadDestinationPropertyInfo :: *

type AttrLabel DownloadDestinationPropertyInfo :: Symbol

type AttrOrigin DownloadDestinationPropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint DownloadDestinationPropertyInfo o => Proxy * DownloadDestinationPropertyInfo -> o -> IO (AttrGetType DownloadDestinationPropertyInfo)

attrSet :: (AttrBaseTypeConstraint DownloadDestinationPropertyInfo o, AttrSetTypeConstraint DownloadDestinationPropertyInfo b) => Proxy * DownloadDestinationPropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint DownloadDestinationPropertyInfo o => Proxy * DownloadDestinationPropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint DownloadDestinationPropertyInfo o, AttrSetTypeConstraint DownloadDestinationPropertyInfo b) => Proxy * DownloadDestinationPropertyInfo -> b -> IO (GValueConstruct o)

type AttrSetTypeConstraint DownloadDestinationPropertyInfo Source # 
type AttrSetTypeConstraint DownloadDestinationPropertyInfo = * ~ ()
type AttrOrigin DownloadDestinationPropertyInfo Source # 
type AttrLabel DownloadDestinationPropertyInfo Source # 
type AttrLabel DownloadDestinationPropertyInfo = "destination"
type AttrGetType DownloadDestinationPropertyInfo Source # 
type AttrGetType DownloadDestinationPropertyInfo = Text
type AttrBaseTypeConstraint DownloadDestinationPropertyInfo Source # 
type AttrBaseTypeConstraint DownloadDestinationPropertyInfo = IsDownload
type AttrAllowedOps DownloadDestinationPropertyInfo Source # 
type AttrAllowedOps DownloadDestinationPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag)

downloadDestination :: AttrLabelProxy "destination" Source #

estimatedProgress

data DownloadEstimatedProgressPropertyInfo Source #

Instances

AttrInfo DownloadEstimatedProgressPropertyInfo Source # 
type AttrSetTypeConstraint DownloadEstimatedProgressPropertyInfo Source # 
type AttrSetTypeConstraint DownloadEstimatedProgressPropertyInfo = * ~ ()
type AttrOrigin DownloadEstimatedProgressPropertyInfo Source # 
type AttrLabel DownloadEstimatedProgressPropertyInfo Source # 
type AttrLabel DownloadEstimatedProgressPropertyInfo = "estimated-progress"
type AttrGetType DownloadEstimatedProgressPropertyInfo Source # 
type AttrBaseTypeConstraint DownloadEstimatedProgressPropertyInfo Source # 
type AttrAllowedOps DownloadEstimatedProgressPropertyInfo Source # 
type AttrAllowedOps DownloadEstimatedProgressPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag)

downloadEstimatedProgress :: AttrLabelProxy "estimatedProgress" Source #

response

data DownloadResponsePropertyInfo Source #

Instances

AttrInfo DownloadResponsePropertyInfo Source # 

Associated Types

type AttrAllowedOps DownloadResponsePropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadResponsePropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadResponsePropertyInfo :: * -> Constraint

type AttrGetType DownloadResponsePropertyInfo :: *

type AttrLabel DownloadResponsePropertyInfo :: Symbol

type AttrOrigin DownloadResponsePropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint DownloadResponsePropertyInfo o => Proxy * DownloadResponsePropertyInfo -> o -> IO (AttrGetType DownloadResponsePropertyInfo)

attrSet :: (AttrBaseTypeConstraint DownloadResponsePropertyInfo o, AttrSetTypeConstraint DownloadResponsePropertyInfo b) => Proxy * DownloadResponsePropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint DownloadResponsePropertyInfo o => Proxy * DownloadResponsePropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint DownloadResponsePropertyInfo o, AttrSetTypeConstraint DownloadResponsePropertyInfo b) => Proxy * DownloadResponsePropertyInfo -> b -> IO (GValueConstruct o)

type AttrSetTypeConstraint DownloadResponsePropertyInfo Source # 
type AttrSetTypeConstraint DownloadResponsePropertyInfo = * ~ ()
type AttrOrigin DownloadResponsePropertyInfo Source # 
type AttrLabel DownloadResponsePropertyInfo Source # 
type AttrLabel DownloadResponsePropertyInfo = "response"
type AttrGetType DownloadResponsePropertyInfo Source # 
type AttrBaseTypeConstraint DownloadResponsePropertyInfo Source # 
type AttrBaseTypeConstraint DownloadResponsePropertyInfo = IsDownload
type AttrAllowedOps DownloadResponsePropertyInfo Source # 
type AttrAllowedOps DownloadResponsePropertyInfo = (:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag))

downloadResponse :: AttrLabelProxy "response" Source #

Signals

createdDestination

data DownloadCreatedDestinationSignalInfo Source #

Instances

SignalInfo DownloadCreatedDestinationSignalInfo Source # 

Associated Types

type HaskellCallbackType DownloadCreatedDestinationSignalInfo :: *

Methods

connectSignal :: GObject o => SignalProxy o DownloadCreatedDestinationSignalInfo -> o -> HaskellCallbackType DownloadCreatedDestinationSignalInfo -> SignalConnectMode -> IO SignalHandlerId

type HaskellCallbackType DownloadCreatedDestinationSignalInfo Source # 

onDownloadCreatedDestination :: (GObject a, MonadIO m) => a -> DownloadCreatedDestinationCallback -> m SignalHandlerId Source #

decideDestination

data DownloadDecideDestinationSignalInfo Source #

Instances

SignalInfo DownloadDecideDestinationSignalInfo Source # 

Associated Types

type HaskellCallbackType DownloadDecideDestinationSignalInfo :: *

Methods

connectSignal :: GObject o => SignalProxy o DownloadDecideDestinationSignalInfo -> o -> HaskellCallbackType DownloadDecideDestinationSignalInfo -> SignalConnectMode -> IO SignalHandlerId

type HaskellCallbackType DownloadDecideDestinationSignalInfo Source # 

onDownloadDecideDestination :: (GObject a, MonadIO m) => a -> DownloadDecideDestinationCallback -> m SignalHandlerId Source #

failed

type C_DownloadFailedCallback = Ptr () -> Ptr GError -> Ptr () -> IO () Source #

type DownloadFailedCallback = GError -> IO () Source #

data DownloadFailedSignalInfo Source #

Instances

SignalInfo DownloadFailedSignalInfo Source # 

Associated Types

type HaskellCallbackType DownloadFailedSignalInfo :: *

Methods

connectSignal :: GObject o => SignalProxy o DownloadFailedSignalInfo -> o -> HaskellCallbackType DownloadFailedSignalInfo -> SignalConnectMode -> IO SignalHandlerId

type HaskellCallbackType DownloadFailedSignalInfo Source # 

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

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

finished

data DownloadFinishedSignalInfo Source #

Instances

SignalInfo DownloadFinishedSignalInfo Source # 

Associated Types

type HaskellCallbackType DownloadFinishedSignalInfo :: *

Methods

connectSignal :: GObject o => SignalProxy o DownloadFinishedSignalInfo -> o -> HaskellCallbackType DownloadFinishedSignalInfo -> SignalConnectMode -> IO SignalHandlerId

type HaskellCallbackType DownloadFinishedSignalInfo Source # 

afterDownloadFinished :: (GObject a, MonadIO m) => a -> DownloadFinishedCallback -> m SignalHandlerId Source #

onDownloadFinished :: (GObject a, MonadIO m) => a -> DownloadFinishedCallback -> m SignalHandlerId Source #

receivedData

data DownloadReceivedDataSignalInfo Source #

Instances

SignalInfo DownloadReceivedDataSignalInfo Source # 

Associated Types

type HaskellCallbackType DownloadReceivedDataSignalInfo :: *

Methods

connectSignal :: GObject o => SignalProxy o DownloadReceivedDataSignalInfo -> o -> HaskellCallbackType DownloadReceivedDataSignalInfo -> SignalConnectMode -> IO SignalHandlerId

type HaskellCallbackType DownloadReceivedDataSignalInfo Source # 

afterDownloadReceivedData :: (GObject a, MonadIO m) => a -> DownloadReceivedDataCallback -> m SignalHandlerId Source #

onDownloadReceivedData :: (GObject a, MonadIO m) => a -> DownloadReceivedDataCallback -> m SignalHandlerId Source #