gi-webkit2webextension-4.0.24: WebKit2-WebExtension bindings
CopyrightWill Thompson Iñaki García Etxebarria and Jonas Platte
LicenseLGPL-2.1
MaintainerIñaki García Etxebarria
Safe HaskellNone
LanguageHaskell2010

GI.WebKit2WebExtension.Objects.WebExtension

Description

No description available in the introspection data.

Synopsis

Exported types

class (GObject o, IsDescendantOf WebExtension o) => IsWebExtension o Source #

Type class for types which can be safely cast to WebExtension, for instance with toWebExtension.

Instances

Instances details
(GObject o, IsDescendantOf WebExtension o) => IsWebExtension o Source # 
Instance details

Defined in GI.WebKit2WebExtension.Objects.WebExtension

toWebExtension :: (MonadIO m, IsWebExtension o) => o -> m WebExtension Source #

Cast to WebExtension, for types for which this is known to be safe. For general casts, use castTo.

Methods

Overloaded methods

getPage

webExtensionGetPage Source #

Arguments

:: (HasCallStack, MonadIO m, IsWebExtension a) 
=> a

extension: a WebExtension

-> Word64

pageId: the identifier of the WebPage to get

-> m (Maybe WebPage)

Returns: the WebPage for the given pageId, or Nothing if the identifier doesn't correspond to an existing web page.

Get the web page of the given pageId.

Signals

pageCreated

type C_WebExtensionPageCreatedCallback = Ptr () -> Ptr WebPage -> Ptr () -> IO () Source #

Type for the callback on the (unwrapped) C side.

type WebExtensionPageCreatedCallback Source #

Arguments

 = WebPage

webPage: the WebPage created

-> IO () 

This signal is emitted when a new WebPage is created in the Web Process.

afterWebExtensionPageCreated :: (IsWebExtension a, MonadIO m) => a -> WebExtensionPageCreatedCallback -> m SignalHandlerId Source #

Connect a signal handler for the pageCreated signal, to be run after the default handler. When overloading is enabled, this is equivalent to

after webExtension #pageCreated callback

onWebExtensionPageCreated :: (IsWebExtension a, MonadIO m) => a -> WebExtensionPageCreatedCallback -> m SignalHandlerId Source #

Connect a signal handler for the pageCreated signal, to be run before the default handler. When overloading is enabled, this is equivalent to

on webExtension #pageCreated callback