GI.WebKit2WebExtension.Objects.WebExtension

Exported types

newtype WebExtension

Constructors

WebExtension (ManagedPtr WebExtension)

Instances

GObject WebExtension

Methods

gobjectType :: WebExtension -> IO GType

IsObject WebExtension

IsWebExtension WebExtension

class GObject o => IsWebExtension o

Instances

(GObject a, UnknownAncestorError Constraint WebExtension a) => IsWebExtension a

IsWebExtension WebExtension

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

noWebExtension :: 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 WebPage

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

Get the web page of the given pageId.

Signals

pageCreated

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

type WebExtensionPageCreatedCallback = WebPage -> IO ()

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

genClosure_WebExtensionPageCreated :: WebExtensionPageCreatedCallback -> IO Closure

mk_WebExtensionPageCreatedCallback :: C_WebExtensionPageCreatedCallback -> IO (FunPtr C_WebExtensionPageCreatedCallback)

noWebExtensionPageCreatedCallback :: Maybe WebExtensionPageCreatedCallback

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

wrap_WebExtensionPageCreatedCallback :: WebExtensionPageCreatedCallback -> Ptr () -> Ptr WebPage -> Ptr () -> IO ()