| Copyright | Will Thompson Iñaki García Etxebarria and Jonas Platte |
|---|---|
| License | LGPL-2.1 |
| Maintainer | Iñaki García Etxebarria |
| Safe Haskell | None |
| Language | Haskell2010 |
GI.WebKit2WebExtension.Objects.WebExtension
Description
No description available in the introspection data.
Synopsis
- newtype WebExtension = WebExtension (ManagedPtr WebExtension)
- class (GObject o, IsDescendantOf WebExtension o) => IsWebExtension o
- toWebExtension :: (MonadIO m, IsWebExtension o) => o -> m WebExtension
- noWebExtension :: Maybe WebExtension
- webExtensionGetPage :: (HasCallStack, MonadIO m, IsWebExtension a) => a -> Word64 -> m (Maybe WebPage)
- type C_WebExtensionPageCreatedCallback = Ptr () -> Ptr WebPage -> Ptr () -> IO ()
- type WebExtensionPageCreatedCallback = WebPage -> IO ()
- afterWebExtensionPageCreated :: (IsWebExtension a, MonadIO m) => a -> WebExtensionPageCreatedCallback -> m SignalHandlerId
- genClosure_WebExtensionPageCreated :: MonadIO m => WebExtensionPageCreatedCallback -> m (GClosure C_WebExtensionPageCreatedCallback)
- mk_WebExtensionPageCreatedCallback :: C_WebExtensionPageCreatedCallback -> IO (FunPtr C_WebExtensionPageCreatedCallback)
- noWebExtensionPageCreatedCallback :: Maybe WebExtensionPageCreatedCallback
- onWebExtensionPageCreated :: (IsWebExtension a, MonadIO m) => a -> WebExtensionPageCreatedCallback -> m SignalHandlerId
- wrap_WebExtensionPageCreatedCallback :: WebExtensionPageCreatedCallback -> C_WebExtensionPageCreatedCallback
Exported types
newtype WebExtension Source #
Memory-managed wrapper type.
Constructors
| WebExtension (ManagedPtr WebExtension) |
Instances
| Eq WebExtension Source # | |
Defined in GI.WebKit2WebExtension.Objects.WebExtension | |
| IsGValue WebExtension Source # | Convert |
Defined in GI.WebKit2WebExtension.Objects.WebExtension | |
| GObject WebExtension Source # | |
Defined in GI.WebKit2WebExtension.Objects.WebExtension Methods gobjectType :: IO GType # | |
| HasParentTypes WebExtension Source # | |
Defined in GI.WebKit2WebExtension.Objects.WebExtension | |
| type ParentTypes WebExtension Source # | |
Defined in GI.WebKit2WebExtension.Objects.WebExtension | |
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
| (GObject o, IsDescendantOf WebExtension o) => IsWebExtension o Source # | |
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.
noWebExtension :: Maybe WebExtension Source #
A convenience alias for Nothing :: Maybe WebExtension.
Methods
Overloaded methods
getPage
Arguments
| :: (HasCallStack, MonadIO m, IsWebExtension a) | |
| => a |
|
| -> Word64 |
|
| -> m (Maybe WebPage) | Returns: the |
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 #
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
genClosure_WebExtensionPageCreated :: MonadIO m => WebExtensionPageCreatedCallback -> m (GClosure C_WebExtensionPageCreatedCallback) Source #
Wrap the callback into a GClosure.
mk_WebExtensionPageCreatedCallback :: C_WebExtensionPageCreatedCallback -> IO (FunPtr C_WebExtensionPageCreatedCallback) Source #
Generate a function pointer callable from C code, from a C_WebExtensionPageCreatedCallback.
noWebExtensionPageCreatedCallback :: Maybe WebExtensionPageCreatedCallback Source #
A convenience synonym for .Nothing :: Maybe WebExtensionPageCreatedCallback
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