GI.WebKit2WebExtension.Objects.WebExtension

Exported types

newtype WebExtension

Constructors

WebExtension (ManagedPtr WebExtension)

Instances

GObject WebExtension

Methods

gobjectType :: WebExtension -> IO GType

IsObject WebExtension

IsWebExtension WebExtension

((~) * info (ResolveWebExtensionMethod t WebExtension), MethodInfo * info WebExtension p) => IsLabel t (WebExtension -> p)

Methods

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

((~) * info (ResolveWebExtensionMethod t WebExtension), MethodInfo * info WebExtension p) => IsLabelProxy t (WebExtension -> p)

Methods

fromLabelProxy :: Proxy Symbol t -> WebExtension -> p

HasAttributeList * WebExtension

type AttributeList WebExtension

type AttributeList WebExtension

type SignalList WebExtension

type SignalList WebExtension

class GObject o => IsWebExtension o

Instances

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

IsWebExtension WebExtension

toWebExtension :: IsWebExtension o => o -> IO WebExtension

noWebExtension :: Maybe WebExtension

Methods

getPage

data WebExtensionGetPageMethodInfo

Instances

((~) * signature (Word64 -> m WebPage), MonadIO m, IsWebExtension a) => MethodInfo * WebExtensionGetPageMethodInfo a signature

Methods

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

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

data WebExtensionPageCreatedSignalInfo

Instances

SignalInfo WebExtensionPageCreatedSignalInfo

Associated Types

type HaskellCallbackType WebExtensionPageCreatedSignalInfo :: *

Methods

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

type HaskellCallbackType WebExtensionPageCreatedSignalInfo

type HaskellCallbackType WebExtensionPageCreatedSignalInfo = WebExtensionPageCreatedCallback

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