gi-webkit-3.0.9: WebKit 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.WebKit.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 #

getCurrentSize

data DownloadGetCurrentSizeMethodInfo Source #

Instances

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

Methods

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

getDestinationUri

data DownloadGetDestinationUriMethodInfo Source #

Instances

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

Methods

overloadedMethod :: MethodProxy DownloadGetDestinationUriMethodInfo 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

getNetworkRequest

data DownloadGetNetworkRequestMethodInfo Source #

Instances

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

Methods

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

getNetworkResponse

data DownloadGetNetworkResponseMethodInfo Source #

Instances

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

Methods

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

getProgress

data DownloadGetProgressMethodInfo Source #

Instances

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

Methods

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

getStatus

data DownloadGetStatusMethodInfo Source #

Instances

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

Methods

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

getSuggestedFilename

data DownloadGetSuggestedFilenameMethodInfo Source #

Instances

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

Methods

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

getTotalSize

data DownloadGetTotalSizeMethodInfo Source #

Instances

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

Methods

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

getUri

data DownloadGetUriMethodInfo Source #

Instances

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

Methods

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

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

new

setDestinationUri

data DownloadSetDestinationUriMethodInfo Source #

Instances

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

Methods

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

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

start

data DownloadStartMethodInfo Source #

Instances

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

Methods

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

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

Properties

currentSize

data DownloadCurrentSizePropertyInfo Source #

Instances

AttrInfo DownloadCurrentSizePropertyInfo Source # 

Associated Types

type AttrAllowedOps DownloadCurrentSizePropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadCurrentSizePropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadCurrentSizePropertyInfo :: * -> Constraint

type AttrGetType DownloadCurrentSizePropertyInfo :: *

type AttrLabel DownloadCurrentSizePropertyInfo :: Symbol

type AttrOrigin DownloadCurrentSizePropertyInfo :: *

Methods

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

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

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

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

type AttrSetTypeConstraint DownloadCurrentSizePropertyInfo Source # 
type AttrSetTypeConstraint DownloadCurrentSizePropertyInfo = * ~ ()
type AttrOrigin DownloadCurrentSizePropertyInfo Source # 
type AttrLabel DownloadCurrentSizePropertyInfo Source # 
type AttrLabel DownloadCurrentSizePropertyInfo = "current-size"
type AttrGetType DownloadCurrentSizePropertyInfo Source # 
type AttrBaseTypeConstraint DownloadCurrentSizePropertyInfo Source # 
type AttrBaseTypeConstraint DownloadCurrentSizePropertyInfo = IsDownload
type AttrAllowedOps DownloadCurrentSizePropertyInfo Source # 
type AttrAllowedOps DownloadCurrentSizePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag)

downloadCurrentSize :: AttrLabelProxy "currentSize" Source #

destinationUri

data DownloadDestinationUriPropertyInfo Source #

Instances

AttrInfo DownloadDestinationUriPropertyInfo Source # 

Associated Types

type AttrAllowedOps DownloadDestinationUriPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadDestinationUriPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadDestinationUriPropertyInfo :: * -> Constraint

type AttrGetType DownloadDestinationUriPropertyInfo :: *

type AttrLabel DownloadDestinationUriPropertyInfo :: Symbol

type AttrOrigin DownloadDestinationUriPropertyInfo :: *

type AttrSetTypeConstraint DownloadDestinationUriPropertyInfo Source # 
type AttrSetTypeConstraint DownloadDestinationUriPropertyInfo = * ~ Text
type AttrOrigin DownloadDestinationUriPropertyInfo Source # 
type AttrLabel DownloadDestinationUriPropertyInfo Source # 
type AttrLabel DownloadDestinationUriPropertyInfo = "destination-uri"
type AttrGetType DownloadDestinationUriPropertyInfo Source # 
type AttrGetType DownloadDestinationUriPropertyInfo = Text
type AttrBaseTypeConstraint DownloadDestinationUriPropertyInfo Source # 
type AttrBaseTypeConstraint DownloadDestinationUriPropertyInfo = IsDownload
type AttrAllowedOps DownloadDestinationUriPropertyInfo Source # 
type AttrAllowedOps DownloadDestinationUriPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

constructDownloadDestinationUri :: IsDownload o => Text -> IO (GValueConstruct o) Source #

downloadDestinationUri :: AttrLabelProxy "destinationUri" Source #

setDownloadDestinationUri :: (MonadIO m, IsDownload o) => o -> Text -> m () Source #

networkRequest

data DownloadNetworkRequestPropertyInfo Source #

Instances

AttrInfo DownloadNetworkRequestPropertyInfo Source # 

Associated Types

type AttrAllowedOps DownloadNetworkRequestPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadNetworkRequestPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadNetworkRequestPropertyInfo :: * -> Constraint

type AttrGetType DownloadNetworkRequestPropertyInfo :: *

type AttrLabel DownloadNetworkRequestPropertyInfo :: Symbol

type AttrOrigin DownloadNetworkRequestPropertyInfo :: *

type AttrSetTypeConstraint DownloadNetworkRequestPropertyInfo Source # 
type AttrOrigin DownloadNetworkRequestPropertyInfo Source # 
type AttrLabel DownloadNetworkRequestPropertyInfo Source # 
type AttrLabel DownloadNetworkRequestPropertyInfo = "network-request"
type AttrGetType DownloadNetworkRequestPropertyInfo Source # 
type AttrBaseTypeConstraint DownloadNetworkRequestPropertyInfo Source # 
type AttrBaseTypeConstraint DownloadNetworkRequestPropertyInfo = IsDownload
type AttrAllowedOps DownloadNetworkRequestPropertyInfo Source # 
type AttrAllowedOps DownloadNetworkRequestPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag)))

downloadNetworkRequest :: AttrLabelProxy "networkRequest" Source #

networkResponse

data DownloadNetworkResponsePropertyInfo Source #

Instances

AttrInfo DownloadNetworkResponsePropertyInfo Source # 

Associated Types

type AttrAllowedOps DownloadNetworkResponsePropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadNetworkResponsePropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadNetworkResponsePropertyInfo :: * -> Constraint

type AttrGetType DownloadNetworkResponsePropertyInfo :: *

type AttrLabel DownloadNetworkResponsePropertyInfo :: Symbol

type AttrOrigin DownloadNetworkResponsePropertyInfo :: *

type AttrSetTypeConstraint DownloadNetworkResponsePropertyInfo Source # 
type AttrOrigin DownloadNetworkResponsePropertyInfo Source # 
type AttrLabel DownloadNetworkResponsePropertyInfo Source # 
type AttrLabel DownloadNetworkResponsePropertyInfo = "network-response"
type AttrGetType DownloadNetworkResponsePropertyInfo Source # 
type AttrBaseTypeConstraint DownloadNetworkResponsePropertyInfo Source # 
type AttrBaseTypeConstraint DownloadNetworkResponsePropertyInfo = IsDownload
type AttrAllowedOps DownloadNetworkResponsePropertyInfo Source # 
type AttrAllowedOps DownloadNetworkResponsePropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag)))

downloadNetworkResponse :: AttrLabelProxy "networkResponse" Source #

progress

data DownloadProgressPropertyInfo Source #

Instances

AttrInfo DownloadProgressPropertyInfo Source # 

Associated Types

type AttrAllowedOps DownloadProgressPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadProgressPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadProgressPropertyInfo :: * -> Constraint

type AttrGetType DownloadProgressPropertyInfo :: *

type AttrLabel DownloadProgressPropertyInfo :: Symbol

type AttrOrigin DownloadProgressPropertyInfo :: *

Methods

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

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

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

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

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

downloadProgress :: AttrLabelProxy "progress" Source #

status

data DownloadStatusPropertyInfo Source #

Instances

AttrInfo DownloadStatusPropertyInfo Source # 

Associated Types

type AttrAllowedOps DownloadStatusPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadStatusPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadStatusPropertyInfo :: * -> Constraint

type AttrGetType DownloadStatusPropertyInfo :: *

type AttrLabel DownloadStatusPropertyInfo :: Symbol

type AttrOrigin DownloadStatusPropertyInfo :: *

Methods

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

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

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

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

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

downloadStatus :: AttrLabelProxy "status" Source #

suggestedFilename

data DownloadSuggestedFilenamePropertyInfo Source #

Instances

AttrInfo DownloadSuggestedFilenamePropertyInfo Source # 
type AttrSetTypeConstraint DownloadSuggestedFilenamePropertyInfo Source # 
type AttrSetTypeConstraint DownloadSuggestedFilenamePropertyInfo = * ~ ()
type AttrOrigin DownloadSuggestedFilenamePropertyInfo Source # 
type AttrLabel DownloadSuggestedFilenamePropertyInfo Source # 
type AttrLabel DownloadSuggestedFilenamePropertyInfo = "suggested-filename"
type AttrGetType DownloadSuggestedFilenamePropertyInfo Source # 
type AttrBaseTypeConstraint DownloadSuggestedFilenamePropertyInfo Source # 
type AttrAllowedOps DownloadSuggestedFilenamePropertyInfo Source # 
type AttrAllowedOps DownloadSuggestedFilenamePropertyInfo = (:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag))

downloadSuggestedFilename :: AttrLabelProxy "suggestedFilename" Source #

totalSize

data DownloadTotalSizePropertyInfo Source #

Instances

AttrInfo DownloadTotalSizePropertyInfo Source # 

Associated Types

type AttrAllowedOps DownloadTotalSizePropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadTotalSizePropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadTotalSizePropertyInfo :: * -> Constraint

type AttrGetType DownloadTotalSizePropertyInfo :: *

type AttrLabel DownloadTotalSizePropertyInfo :: Symbol

type AttrOrigin DownloadTotalSizePropertyInfo :: *

Methods

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

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

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

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

type AttrSetTypeConstraint DownloadTotalSizePropertyInfo Source # 
type AttrSetTypeConstraint DownloadTotalSizePropertyInfo = * ~ ()
type AttrOrigin DownloadTotalSizePropertyInfo Source # 
type AttrLabel DownloadTotalSizePropertyInfo Source # 
type AttrLabel DownloadTotalSizePropertyInfo = "total-size"
type AttrGetType DownloadTotalSizePropertyInfo Source # 
type AttrBaseTypeConstraint DownloadTotalSizePropertyInfo Source # 
type AttrBaseTypeConstraint DownloadTotalSizePropertyInfo = IsDownload
type AttrAllowedOps DownloadTotalSizePropertyInfo Source # 
type AttrAllowedOps DownloadTotalSizePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag)

downloadTotalSize :: AttrLabelProxy "totalSize" Source #

Signals

error

data DownloadErrorSignalInfo Source #

Instances

SignalInfo DownloadErrorSignalInfo Source # 

Associated Types

type HaskellCallbackType DownloadErrorSignalInfo :: *

Methods

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

type HaskellCallbackType DownloadErrorSignalInfo Source # 

afterDownloadError :: (GObject a, MonadIO m) => a -> DownloadErrorCallback -> m SignalHandlerId Source #

onDownloadError :: (GObject a, MonadIO m) => a -> DownloadErrorCallback -> m SignalHandlerId Source #