GI.WebKit2WebExtension.Objects.WebExtension

No description available in the introspection data.

Exported types

newtype WebExtension

Memory-managed wrapper type.

Constructors

WebExtension (ManagedPtr WebExtension)

Instances

GObject WebExtension

Defined in GI.WebKit2WebExtension.Objects.WebExtension

Methods

gobjectType :: IO GType

HasParentTypes WebExtension

Defined in GI.WebKit2WebExtension.Objects.WebExtension

type ParentTypes WebExtension

Defined in GI.WebKit2WebExtension.Objects.WebExtension

type ParentTypes WebExtension = Object ': ([] :: [Type])

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

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

Instances

(GObject o, IsDescendantOf WebExtension o) => IsWebExtension o

Defined in GI.WebKit2WebExtension.Objects.WebExtension

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

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

noWebExtension :: Maybe WebExtension

A convenience alias for Nothing :: Maybe WebExtension.

Methods

getPage

webExtensionGetPage

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 ()

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

type WebExtensionPageCreatedCallback

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

Connect a signal handler for the “page-created” signal, to be run after the default handler. When overloading is enabled, this is equivalent to

after webExtension #pageCreated callback

genClosure_WebExtensionPageCreated :: MonadIO m => WebExtensionPageCreatedCallback -> m (GClosure C_WebExtensionPageCreatedCallback)

Wrap the callback into a GClosure.

mk_WebExtensionPageCreatedCallback :: C_WebExtensionPageCreatedCallback -> IO (FunPtr C_WebExtensionPageCreatedCallback)

Generate a function pointer callable from C code, from a C_WebExtensionPageCreatedCallback.

noWebExtensionPageCreatedCallback :: Maybe WebExtensionPageCreatedCallback

A convenience synonym for Nothing :: Maybe WebExtensionPageCreatedCallback.

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

Connect a signal handler for the “page-created” signal, to be run before the default handler. When overloading is enabled, this is equivalent to

on webExtension #pageCreated callback

wrap_WebExtensionPageCreatedCallback :: WebExtensionPageCreatedCallback -> C_WebExtensionPageCreatedCallback

Wrap a WebExtensionPageCreatedCallback into a C_WebExtensionPageCreatedCallback.