Copyright	Will Thompson, Iñaki García Etxebarria and Jonas Platte
License	LGPL-2.1
Maintainer	Iñaki García Etxebarria (garetxe@gmail.com)
Safe Haskell	None
Language	Haskell2010

GI.WebKit2.Objects.Download

Contents

Exported types
Methods
Properties
Signals

Description

Synopsis

Exported types

newtype Download Source

Constructors

Download (ForeignPtr Download)

Instances

GObject Download Source
Methods gobjectIsInitiallyUnowned :: Download -> Bool gobjectType :: Download -> IO GType
((~) * 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
type ParentTypes Download Source
type AttributeList Download Source
type SignalList Download Source

class GObject o => DownloadK o Source

Instances

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

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

noDownload :: Maybe Download Source

Methods

downloadCancel

data DownloadCancelMethodInfo Source

Instances

((~) (TYPE Lifted) signature (m ()), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadCancelMethodInfo a signature Source
Methods overloadedMethod :: MethodProxy DownloadCancelMethodInfo a -> signature -> s

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

downloadGetAllowOverwrite

data DownloadGetAllowOverwriteMethodInfo Source

Instances

((~) (TYPE Lifted) signature (m Bool), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadGetAllowOverwriteMethodInfo a signature Source
Methods overloadedMethod :: MethodProxy DownloadGetAllowOverwriteMethodInfo a -> signature -> s

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

downloadGetDestination

data DownloadGetDestinationMethodInfo Source

Instances

((~) (TYPE Lifted) signature (m Text), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadGetDestinationMethodInfo a signature Source
Methods overloadedMethod :: MethodProxy DownloadGetDestinationMethodInfo a -> signature -> s

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

downloadGetElapsedTime

data DownloadGetElapsedTimeMethodInfo Source

Instances

((~) (TYPE Lifted) signature (m Double), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadGetElapsedTimeMethodInfo a signature Source
Methods overloadedMethod :: MethodProxy DownloadGetElapsedTimeMethodInfo a -> signature -> s

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

downloadGetEstimatedProgress

data DownloadGetEstimatedProgressMethodInfo Source

Instances

((~) (TYPE Lifted) signature (m Double), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadGetEstimatedProgressMethodInfo a signature Source
Methods overloadedMethod :: MethodProxy DownloadGetEstimatedProgressMethodInfo a -> signature -> s

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

downloadGetReceivedDataLength

data DownloadGetReceivedDataLengthMethodInfo Source

Instances

((~) (TYPE Lifted) signature (m Word64), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadGetReceivedDataLengthMethodInfo a signature Source
Methods overloadedMethod :: MethodProxy DownloadGetReceivedDataLengthMethodInfo a -> signature -> s

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

downloadGetRequest

data DownloadGetRequestMethodInfo Source

Instances

((~) (TYPE Lifted) signature (m URIRequest), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadGetRequestMethodInfo a signature Source
Methods overloadedMethod :: MethodProxy DownloadGetRequestMethodInfo a -> signature -> s

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

downloadGetResponse

data DownloadGetResponseMethodInfo Source

Instances

((~) (TYPE Lifted) signature (m URIResponse), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadGetResponseMethodInfo a signature Source
Methods overloadedMethod :: MethodProxy DownloadGetResponseMethodInfo a -> signature -> s

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

downloadGetWebView

data DownloadGetWebViewMethodInfo Source

Instances

((~) (TYPE Lifted) signature (m WebView), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadGetWebViewMethodInfo a signature Source
Methods overloadedMethod :: MethodProxy DownloadGetWebViewMethodInfo a -> signature -> s

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

downloadSetAllowOverwrite

data DownloadSetAllowOverwriteMethodInfo Source

Instances

((~) (TYPE Lifted) signature (Bool -> m ()), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadSetAllowOverwriteMethodInfo a signature Source
Methods overloadedMethod :: MethodProxy DownloadSetAllowOverwriteMethodInfo a -> signature -> s

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

downloadSetDestination

data DownloadSetDestinationMethodInfo Source

Instances

((~) (TYPE Lifted) signature (Text -> m ()), MonadIO m, DownloadK a) => MethodInfo (TYPE Lifted) DownloadSetDestinationMethodInfo a signature Source
Methods overloadedMethod :: MethodProxy DownloadSetDestinationMethodInfo a -> signature -> s

downloadSetDestination :: (MonadIO m, DownloadK 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 Lifted type AttrLabel DownloadAllowOverwritePropertyInfo :: Symbol Methods attrGet :: AttrBaseTypeConstraint DownloadAllowOverwritePropertyInfo o => Proxy * DownloadAllowOverwritePropertyInfo -> o -> IO (AttrGetType DownloadAllowOverwritePropertyInfo) attrSet :: (AttrBaseTypeConstraint DownloadAllowOverwritePropertyInfo o, AttrSetTypeConstraint DownloadAllowOverwritePropertyInfo b) => Proxy * DownloadAllowOverwritePropertyInfo -> o -> b -> IO () attrConstruct :: AttrSetTypeConstraint DownloadAllowOverwritePropertyInfo b => Proxy * DownloadAllowOverwritePropertyInfo -> b -> IO (String, GValue)
type AttrLabel DownloadAllowOverwritePropertyInfo = "allow-overwrite" Source
type AttrGetType DownloadAllowOverwritePropertyInfo = Bool Source
type AttrBaseTypeConstraint DownloadAllowOverwritePropertyInfo = DownloadK Source
type AttrSetTypeConstraint DownloadAllowOverwritePropertyInfo = TYPE Lifted ~ Bool Source
type AttrAllowedOps DownloadAllowOverwritePropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))) Source

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

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

setDownloadAllowOverwrite :: (MonadIO m, DownloadK o) => o -> Bool -> m () 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 Lifted type AttrLabel DownloadDestinationPropertyInfo :: Symbol Methods attrGet :: AttrBaseTypeConstraint DownloadDestinationPropertyInfo o => Proxy * DownloadDestinationPropertyInfo -> o -> IO (AttrGetType DownloadDestinationPropertyInfo) attrSet :: (AttrBaseTypeConstraint DownloadDestinationPropertyInfo o, AttrSetTypeConstraint DownloadDestinationPropertyInfo b) => Proxy * DownloadDestinationPropertyInfo -> o -> b -> IO () attrConstruct :: AttrSetTypeConstraint DownloadDestinationPropertyInfo b => Proxy * DownloadDestinationPropertyInfo -> b -> IO (String, GValue)
type AttrLabel DownloadDestinationPropertyInfo = "destination" Source
type AttrGetType DownloadDestinationPropertyInfo = Text Source
type AttrBaseTypeConstraint DownloadDestinationPropertyInfo = DownloadK Source
type AttrSetTypeConstraint DownloadDestinationPropertyInfo = TYPE Lifted ~ () Source
type AttrAllowedOps DownloadDestinationPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) Source

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

EstimatedProgress

data DownloadEstimatedProgressPropertyInfo Source

Instances

AttrInfo DownloadEstimatedProgressPropertyInfo Source
Associated Types type AttrAllowedOps DownloadEstimatedProgressPropertyInfo :: [AttrOpTag] type AttrSetTypeConstraint DownloadEstimatedProgressPropertyInfo :: * -> Constraint type AttrBaseTypeConstraint DownloadEstimatedProgressPropertyInfo :: * -> Constraint type AttrGetType DownloadEstimatedProgressPropertyInfo :: TYPE Lifted type AttrLabel DownloadEstimatedProgressPropertyInfo :: Symbol Methods attrGet :: AttrBaseTypeConstraint DownloadEstimatedProgressPropertyInfo o => Proxy * DownloadEstimatedProgressPropertyInfo -> o -> IO (AttrGetType DownloadEstimatedProgressPropertyInfo) attrSet :: (AttrBaseTypeConstraint DownloadEstimatedProgressPropertyInfo o, AttrSetTypeConstraint DownloadEstimatedProgressPropertyInfo b) => Proxy * DownloadEstimatedProgressPropertyInfo -> o -> b -> IO () attrConstruct :: AttrSetTypeConstraint DownloadEstimatedProgressPropertyInfo b => Proxy * DownloadEstimatedProgressPropertyInfo -> b -> IO (String, GValue)
type AttrLabel DownloadEstimatedProgressPropertyInfo = "estimated-progress" Source
type AttrGetType DownloadEstimatedProgressPropertyInfo = Double Source
type AttrBaseTypeConstraint DownloadEstimatedProgressPropertyInfo = DownloadK Source
type AttrSetTypeConstraint DownloadEstimatedProgressPropertyInfo = TYPE Lifted ~ () Source
type AttrAllowedOps DownloadEstimatedProgressPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) Source

getDownloadEstimatedProgress :: (MonadIO m, DownloadK o) => o -> m Double 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 Lifted type AttrLabel DownloadResponsePropertyInfo :: Symbol Methods attrGet :: AttrBaseTypeConstraint DownloadResponsePropertyInfo o => Proxy * DownloadResponsePropertyInfo -> o -> IO (AttrGetType DownloadResponsePropertyInfo) attrSet :: (AttrBaseTypeConstraint DownloadResponsePropertyInfo o, AttrSetTypeConstraint DownloadResponsePropertyInfo b) => Proxy * DownloadResponsePropertyInfo -> o -> b -> IO () attrConstruct :: AttrSetTypeConstraint DownloadResponsePropertyInfo b => Proxy * DownloadResponsePropertyInfo -> b -> IO (String, GValue)
type AttrLabel DownloadResponsePropertyInfo = "response" Source
type AttrGetType DownloadResponsePropertyInfo = URIResponse Source
type AttrBaseTypeConstraint DownloadResponsePropertyInfo = DownloadK Source
type AttrSetTypeConstraint DownloadResponsePropertyInfo = TYPE Lifted ~ () Source
type AttrAllowedOps DownloadResponsePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) Source

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

Signals

CreatedDestination

type DownloadCreatedDestinationCallback = Text -> IO () Source

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

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

downloadCreatedDestinationCallbackWrapper :: DownloadCreatedDestinationCallback -> Ptr () -> CString -> Ptr () -> IO () Source

downloadCreatedDestinationClosure :: DownloadCreatedDestinationCallback -> IO Closure Source

mkDownloadCreatedDestinationCallback :: DownloadCreatedDestinationCallbackC -> IO (FunPtr DownloadCreatedDestinationCallbackC) Source

noDownloadCreatedDestinationCallback :: Maybe DownloadCreatedDestinationCallback Source

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

DecideDestination

type DownloadDecideDestinationCallback = Text -> IO Bool Source

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

data DownloadDecideDestinationSignalInfo Source

Instances

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

downloadDecideDestinationCallbackWrapper :: DownloadDecideDestinationCallback -> Ptr () -> CString -> Ptr () -> IO CInt Source

downloadDecideDestinationClosure :: DownloadDecideDestinationCallback -> IO Closure Source

mkDownloadDecideDestinationCallback :: DownloadDecideDestinationCallbackC -> IO (FunPtr DownloadDecideDestinationCallbackC) Source

noDownloadDecideDestinationCallback :: Maybe DownloadDecideDestinationCallback Source

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

Failed

type DownloadFailedCallback = Ptr () -> IO () Source

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

data DownloadFailedSignalInfo Source

Instances

SignalInfo DownloadFailedSignalInfo Source
Associated Types type HaskellCallbackType DownloadFailedSignalInfo :: TYPE Lifted Methods connectSignal :: GObject o => SignalProxy o DownloadFailedSignalInfo -> o -> HaskellCallbackType DownloadFailedSignalInfo -> SignalConnectMode -> IO SignalHandlerId
type HaskellCallbackType DownloadFailedSignalInfo = DownloadFailedCallback Source

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

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

downloadFailedClosure :: DownloadFailedCallback -> IO Closure Source

mkDownloadFailedCallback :: DownloadFailedCallbackC -> IO (FunPtr DownloadFailedCallbackC) Source

noDownloadFailedCallback :: Maybe DownloadFailedCallback Source

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

Finished

type DownloadFinishedCallback = IO () Source

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

data DownloadFinishedSignalInfo Source

Instances

SignalInfo DownloadFinishedSignalInfo Source
Associated Types type HaskellCallbackType DownloadFinishedSignalInfo :: TYPE Lifted Methods connectSignal :: GObject o => SignalProxy o DownloadFinishedSignalInfo -> o -> HaskellCallbackType DownloadFinishedSignalInfo -> SignalConnectMode -> IO SignalHandlerId
type HaskellCallbackType DownloadFinishedSignalInfo = DownloadFinishedCallback Source

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

downloadFinishedCallbackWrapper :: DownloadFinishedCallback -> Ptr () -> Ptr () -> IO () Source

downloadFinishedClosure :: DownloadFinishedCallback -> IO Closure Source

mkDownloadFinishedCallback :: DownloadFinishedCallbackC -> IO (FunPtr DownloadFinishedCallbackC) Source

noDownloadFinishedCallback :: Maybe DownloadFinishedCallback Source

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

ReceivedData

type DownloadReceivedDataCallback = Word64 -> IO () Source

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

data DownloadReceivedDataSignalInfo Source

Instances

SignalInfo DownloadReceivedDataSignalInfo Source
Associated Types type HaskellCallbackType DownloadReceivedDataSignalInfo :: TYPE Lifted Methods connectSignal :: GObject o => SignalProxy o DownloadReceivedDataSignalInfo -> o -> HaskellCallbackType DownloadReceivedDataSignalInfo -> SignalConnectMode -> IO SignalHandlerId
type HaskellCallbackType DownloadReceivedDataSignalInfo = DownloadReceivedDataCallback Source

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

downloadReceivedDataCallbackWrapper :: DownloadReceivedDataCallback -> Ptr () -> Word64 -> Ptr () -> IO () Source

downloadReceivedDataClosure :: DownloadReceivedDataCallback -> IO Closure Source

mkDownloadReceivedDataCallback :: DownloadReceivedDataCallbackC -> IO (FunPtr DownloadReceivedDataCallbackC) Source

noDownloadReceivedDataCallback :: Maybe DownloadReceivedDataCallback Source

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

SignalInfo DownloadCreatedDestinationSignalInfo Source
Associated Types type HaskellCallbackType DownloadCreatedDestinationSignalInfo :: TYPE Lifted Methods connectSignal :: GObject o => SignalProxy o DownloadCreatedDestinationSignalInfo -> o -> HaskellCallbackType DownloadCreatedDestinationSignalInfo -> SignalConnectMode -> IO SignalHandlerId
type HaskellCallbackType DownloadCreatedDestinationSignalInfo = DownloadCreatedDestinationCallback Source

SignalInfo DownloadDecideDestinationSignalInfo Source
Associated Types type HaskellCallbackType DownloadDecideDestinationSignalInfo :: TYPE Lifted Methods connectSignal :: GObject o => SignalProxy o DownloadDecideDestinationSignalInfo -> o -> HaskellCallbackType DownloadDecideDestinationSignalInfo -> SignalConnectMode -> IO SignalHandlerId
type HaskellCallbackType DownloadDecideDestinationSignalInfo = DownloadDecideDestinationCallback Source