GI.WebKit.Objects.Download

Exported types

newtype Download

Constructors

Download (ForeignPtr Download)

Instances

GObject Download

Methods

gobjectIsInitiallyUnowned :: Download -> Bool

gobjectType :: Download -> IO GType

((~) * info (ResolveDownloadMethod t Download), MethodInfo * info Download p) => IsLabel t (Download -> p)

Methods

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

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

Methods

fromLabelProxy :: Proxy Symbol 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

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

Methods

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

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

downloadGetCurrentSize

data DownloadGetCurrentSizeMethodInfo

Instances

((~) (TYPE Lifted) signature (m Word64), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadGetCurrentSizeMethodInfo a signature

Methods

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

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

downloadGetDestinationUri

data DownloadGetDestinationUriMethodInfo

Instances

((~) (TYPE Lifted) signature (m Text), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadGetDestinationUriMethodInfo a signature

Methods

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

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

downloadGetElapsedTime

data DownloadGetElapsedTimeMethodInfo

Instances

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

Methods

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

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

downloadGetNetworkRequest

data DownloadGetNetworkRequestMethodInfo

Instances

((~) (TYPE Lifted) signature (m NetworkRequest), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadGetNetworkRequestMethodInfo a signature

Methods

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

downloadGetNetworkRequest :: (MonadIO m, DownloadK a) => a -> m NetworkRequest

downloadGetNetworkResponse

data DownloadGetNetworkResponseMethodInfo

Instances

((~) (TYPE Lifted) signature (m NetworkResponse), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadGetNetworkResponseMethodInfo a signature

Methods

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

downloadGetNetworkResponse :: (MonadIO m, DownloadK a) => a -> m NetworkResponse

downloadGetProgress

data DownloadGetProgressMethodInfo

Instances

((~) (TYPE Lifted) signature (m Double), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadGetProgressMethodInfo a signature

Methods

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

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

downloadGetStatus

data DownloadGetStatusMethodInfo

Instances

((~) (TYPE Lifted) signature (m DownloadStatus), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadGetStatusMethodInfo a signature

Methods

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

downloadGetStatus :: (MonadIO m, DownloadK a) => a -> m DownloadStatus

downloadGetSuggestedFilename

data DownloadGetSuggestedFilenameMethodInfo

Instances

((~) (TYPE Lifted) signature (m Text), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadGetSuggestedFilenameMethodInfo a signature

Methods

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

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

downloadGetTotalSize

data DownloadGetTotalSizeMethodInfo

Instances

((~) (TYPE Lifted) signature (m Word64), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadGetTotalSizeMethodInfo a signature

Methods

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

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

downloadGetUri

data DownloadGetUriMethodInfo

Instances

((~) (TYPE Lifted) signature (m Text), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadGetUriMethodInfo a signature

Methods

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

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

downloadNew

downloadNew :: (MonadIO m, NetworkRequestK a) => a -> m Download

downloadSetDestinationUri

data DownloadSetDestinationUriMethodInfo

Instances

((~) (TYPE Lifted) signature (Text -> m ()), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadSetDestinationUriMethodInfo a signature

Methods

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

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

downloadStart

data DownloadStartMethodInfo

Instances

((~) (TYPE Lifted) signature (m ()), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadStartMethodInfo a signature

Methods

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

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

Properties

CurrentSize

data DownloadCurrentSizePropertyInfo

Instances

AttrInfo DownloadCurrentSizePropertyInfo

Associated Types

type AttrAllowedOps DownloadCurrentSizePropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadCurrentSizePropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadCurrentSizePropertyInfo :: * -> Constraint

type AttrGetType DownloadCurrentSizePropertyInfo :: TYPE Lifted

type AttrLabel DownloadCurrentSizePropertyInfo :: Symbol

Methods

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

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

attrConstruct :: AttrSetTypeConstraint DownloadCurrentSizePropertyInfo b => Proxy * DownloadCurrentSizePropertyInfo -> b -> IO (String, GValue)

type AttrLabel DownloadCurrentSizePropertyInfo = "current-size"

type AttrGetType DownloadCurrentSizePropertyInfo = Word64

type AttrBaseTypeConstraint DownloadCurrentSizePropertyInfo = DownloadK

type AttrSetTypeConstraint DownloadCurrentSizePropertyInfo = TYPE Lifted ~ ()

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

getDownloadCurrentSize :: (MonadIO m, DownloadK o) => o -> m Word64

DestinationUri

data DownloadDestinationUriPropertyInfo

Instances

AttrInfo DownloadDestinationUriPropertyInfo

Associated Types

type AttrAllowedOps DownloadDestinationUriPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadDestinationUriPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadDestinationUriPropertyInfo :: * -> Constraint

type AttrGetType DownloadDestinationUriPropertyInfo :: TYPE Lifted

type AttrLabel DownloadDestinationUriPropertyInfo :: Symbol

Methods

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

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

attrConstruct :: AttrSetTypeConstraint DownloadDestinationUriPropertyInfo b => Proxy * DownloadDestinationUriPropertyInfo -> b -> IO (String, GValue)

type AttrLabel DownloadDestinationUriPropertyInfo = "destination-uri"

type AttrGetType DownloadDestinationUriPropertyInfo = Text

type AttrBaseTypeConstraint DownloadDestinationUriPropertyInfo = DownloadK

type AttrSetTypeConstraint DownloadDestinationUriPropertyInfo = TYPE Lifted ~ Text

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

constructDownloadDestinationUri :: Text -> IO ([Char], GValue)

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

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

NetworkRequest

data DownloadNetworkRequestPropertyInfo

Instances

AttrInfo DownloadNetworkRequestPropertyInfo

Associated Types

type AttrAllowedOps DownloadNetworkRequestPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadNetworkRequestPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadNetworkRequestPropertyInfo :: * -> Constraint

type AttrGetType DownloadNetworkRequestPropertyInfo :: TYPE Lifted

type AttrLabel DownloadNetworkRequestPropertyInfo :: Symbol

Methods

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

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

attrConstruct :: AttrSetTypeConstraint DownloadNetworkRequestPropertyInfo b => Proxy * DownloadNetworkRequestPropertyInfo -> b -> IO (String, GValue)

type AttrLabel DownloadNetworkRequestPropertyInfo = "network-request"

type AttrGetType DownloadNetworkRequestPropertyInfo = NetworkRequest

type AttrBaseTypeConstraint DownloadNetworkRequestPropertyInfo = DownloadK

type AttrSetTypeConstraint DownloadNetworkRequestPropertyInfo = NetworkRequestK

type AttrAllowedOps DownloadNetworkRequestPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))

constructDownloadNetworkRequest :: NetworkRequestK a => a -> IO ([Char], GValue)

getDownloadNetworkRequest :: (MonadIO m, DownloadK o) => o -> m NetworkRequest

NetworkResponse

data DownloadNetworkResponsePropertyInfo

Instances

AttrInfo DownloadNetworkResponsePropertyInfo

Associated Types

type AttrAllowedOps DownloadNetworkResponsePropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadNetworkResponsePropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadNetworkResponsePropertyInfo :: * -> Constraint

type AttrGetType DownloadNetworkResponsePropertyInfo :: TYPE Lifted

type AttrLabel DownloadNetworkResponsePropertyInfo :: Symbol

Methods

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

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

attrConstruct :: AttrSetTypeConstraint DownloadNetworkResponsePropertyInfo b => Proxy * DownloadNetworkResponsePropertyInfo -> b -> IO (String, GValue)

type AttrLabel DownloadNetworkResponsePropertyInfo = "network-response"

type AttrGetType DownloadNetworkResponsePropertyInfo = NetworkResponse

type AttrBaseTypeConstraint DownloadNetworkResponsePropertyInfo = DownloadK

type AttrSetTypeConstraint DownloadNetworkResponsePropertyInfo = NetworkResponseK

type AttrAllowedOps DownloadNetworkResponsePropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))

constructDownloadNetworkResponse :: NetworkResponseK a => a -> IO ([Char], GValue)

getDownloadNetworkResponse :: (MonadIO m, DownloadK o) => o -> m NetworkResponse

Progress

data DownloadProgressPropertyInfo

Instances

AttrInfo DownloadProgressPropertyInfo

Associated Types

type AttrAllowedOps DownloadProgressPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadProgressPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadProgressPropertyInfo :: * -> Constraint

type AttrGetType DownloadProgressPropertyInfo :: TYPE Lifted

type AttrLabel DownloadProgressPropertyInfo :: Symbol

Methods

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

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

attrConstruct :: AttrSetTypeConstraint DownloadProgressPropertyInfo b => Proxy * DownloadProgressPropertyInfo -> b -> IO (String, GValue)

type AttrLabel DownloadProgressPropertyInfo = "progress"

type AttrGetType DownloadProgressPropertyInfo = Double

type AttrBaseTypeConstraint DownloadProgressPropertyInfo = DownloadK

type AttrSetTypeConstraint DownloadProgressPropertyInfo = TYPE Lifted ~ ()

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

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

Status

data DownloadStatusPropertyInfo

Instances

AttrInfo DownloadStatusPropertyInfo

Associated Types

type AttrAllowedOps DownloadStatusPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadStatusPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadStatusPropertyInfo :: * -> Constraint

type AttrGetType DownloadStatusPropertyInfo :: TYPE Lifted

type AttrLabel DownloadStatusPropertyInfo :: Symbol

Methods

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

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

attrConstruct :: AttrSetTypeConstraint DownloadStatusPropertyInfo b => Proxy * DownloadStatusPropertyInfo -> b -> IO (String, GValue)

type AttrLabel DownloadStatusPropertyInfo = "status"

type AttrGetType DownloadStatusPropertyInfo = DownloadStatus

type AttrBaseTypeConstraint DownloadStatusPropertyInfo = DownloadK

type AttrSetTypeConstraint DownloadStatusPropertyInfo = TYPE Lifted ~ ()

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

getDownloadStatus :: (MonadIO m, DownloadK o) => o -> m DownloadStatus

SuggestedFilename

data DownloadSuggestedFilenamePropertyInfo

Instances

AttrInfo DownloadSuggestedFilenamePropertyInfo

Associated Types

type AttrAllowedOps DownloadSuggestedFilenamePropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadSuggestedFilenamePropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadSuggestedFilenamePropertyInfo :: * -> Constraint

type AttrGetType DownloadSuggestedFilenamePropertyInfo :: TYPE Lifted

type AttrLabel DownloadSuggestedFilenamePropertyInfo :: Symbol

Methods

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

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

attrConstruct :: AttrSetTypeConstraint DownloadSuggestedFilenamePropertyInfo b => Proxy * DownloadSuggestedFilenamePropertyInfo -> b -> IO (String, GValue)

type AttrLabel DownloadSuggestedFilenamePropertyInfo = "suggested-filename"

type AttrGetType DownloadSuggestedFilenamePropertyInfo = Text

type AttrBaseTypeConstraint DownloadSuggestedFilenamePropertyInfo = DownloadK

type AttrSetTypeConstraint DownloadSuggestedFilenamePropertyInfo = TYPE Lifted ~ ()

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

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

TotalSize

data DownloadTotalSizePropertyInfo

Instances

AttrInfo DownloadTotalSizePropertyInfo

Associated Types

type AttrAllowedOps DownloadTotalSizePropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint DownloadTotalSizePropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint DownloadTotalSizePropertyInfo :: * -> Constraint

type AttrGetType DownloadTotalSizePropertyInfo :: TYPE Lifted

type AttrLabel DownloadTotalSizePropertyInfo :: Symbol

Methods

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

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

attrConstruct :: AttrSetTypeConstraint DownloadTotalSizePropertyInfo b => Proxy * DownloadTotalSizePropertyInfo -> b -> IO (String, GValue)

type AttrLabel DownloadTotalSizePropertyInfo = "total-size"

type AttrGetType DownloadTotalSizePropertyInfo = Word64

type AttrBaseTypeConstraint DownloadTotalSizePropertyInfo = DownloadK

type AttrSetTypeConstraint DownloadTotalSizePropertyInfo = TYPE Lifted ~ ()

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

getDownloadTotalSize :: (MonadIO m, DownloadK o) => o -> m Word64

Signals

Error

type DownloadErrorCallback = Int32 -> Int32 -> Text -> IO Bool

type DownloadErrorCallbackC = Ptr () -> Int32 -> Int32 -> CString -> Ptr () -> IO CInt

data DownloadErrorSignalInfo

Instances

SignalInfo DownloadErrorSignalInfo

Associated Types

type HaskellCallbackType DownloadErrorSignalInfo :: TYPE Lifted

Methods

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

type HaskellCallbackType DownloadErrorSignalInfo = DownloadErrorCallback

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