name: gi-webkit2webextension version: 4.0.25 synopsis: WebKit2-WebExtension bindings description: Bindings for WebKit2-WebExtension, autogenerated by haskell-gi. homepage: https://github.com/haskell-gi/haskell-gi license: LGPL-2.1 license-file: LICENSE author: Will Thompson, Iñaki García Etxebarria and Jonas Platte maintainer: Iñaki García Etxebarria category: Bindings build-type: Custom cabal-version: 1.24 extra-source-files: README.md ChangeLog.md stack.yaml WebKit2WebExtension.overrides custom-setup setup-depends: base >= 4.9 && < 5, Cabal >= 1.24, haskell-gi >= 0.24 && < 0.25, gi-soup == 2.4.*, gi-gio == 2.0.*, gi-javascriptcore == 4.0.*, gi-gtk == 3.0.*, gi-gobject == 2.0.* library default-language: Haskell2010 default-extensions: NoImplicitPrelude, ScopedTypeVariables, CPP, OverloadedStrings, NegativeLiterals, ConstraintKinds, TypeFamilies, MultiParamTypeClasses, KindSignatures, FlexibleInstances, UndecidableInstances, DataKinds, FlexibleContexts, UndecidableSuperClasses other-extensions: PatternSynonyms, ViewPatterns, TypeApplications ghc-options: -fno-warn-unused-imports -fno-warn-warnings-deprecations pkgconfig-depends: webkit2gtk-web-extension-4.0 build-depends: base >= 4.7 && <5, haskell-gi-base >= 0.24 && < 0.25, haskell-gi >= 0.24.0 && < 0.25, haskell-gi-overloading < 1.1, gi-soup == 2.4.*, gi-gio == 2.0.*, gi-javascriptcore == 4.0.*, gi-gtk == 3.0.*, gi-gobject == 2.0.*, bytestring >= 0.10 && < 1, containers >= 0.5 && < 1, text >= 1.0 && < 2, transformers >= 0.4 && < 1 -- Disable overloading when compiling under GHC 8.2.x -- see https://ghc.haskell.org/trac/ghc/ticket/14382 if impl(ghc == 8.2.*) build-depends: haskell-gi-overloading == 0.0 -- Note that the following list of exposed modules and autogen -- modules is for documentation purposes only, so that some -- documentation appears in hackage. The actual list of modules -- to be built will be built at configure time, based on the -- available introspection data. exposed-modules: GI.WebKit2WebExtension.Config, GI.WebKit2WebExtension, GI.WebKit2WebExtension.Callbacks, GI.WebKit2WebExtension.Constants, GI.WebKit2WebExtension.Enums, GI.WebKit2WebExtension.Flags, GI.WebKit2WebExtension.Interfaces, GI.WebKit2WebExtension.Interfaces.DOMEventTarget, GI.WebKit2WebExtension.Interfaces.DOMNodeFilter, GI.WebKit2WebExtension.Interfaces.DOMXPathNSResolver, GI.WebKit2WebExtension.Objects, GI.WebKit2WebExtension.Objects.ContextMenu, GI.WebKit2WebExtension.Objects.ContextMenuItem, GI.WebKit2WebExtension.Objects.DOMAttr, GI.WebKit2WebExtension.Objects.DOMBlob, GI.WebKit2WebExtension.Objects.DOMCDATASection, GI.WebKit2WebExtension.Objects.DOMCSSRule, GI.WebKit2WebExtension.Objects.DOMCSSRuleList, GI.WebKit2WebExtension.Objects.DOMCSSStyleDeclaration, GI.WebKit2WebExtension.Objects.DOMCSSStyleSheet, GI.WebKit2WebExtension.Objects.DOMCSSValue, GI.WebKit2WebExtension.Objects.DOMCharacterData, GI.WebKit2WebExtension.Objects.DOMClientRect, GI.WebKit2WebExtension.Objects.DOMClientRectList, GI.WebKit2WebExtension.Objects.DOMComment, GI.WebKit2WebExtension.Objects.DOMDOMImplementation, GI.WebKit2WebExtension.Objects.DOMDOMSelection, GI.WebKit2WebExtension.Objects.DOMDOMTokenList, GI.WebKit2WebExtension.Objects.DOMDOMWindow, GI.WebKit2WebExtension.Objects.DOMDocument, GI.WebKit2WebExtension.Objects.DOMDocumentFragment, GI.WebKit2WebExtension.Objects.DOMDocumentType, GI.WebKit2WebExtension.Objects.DOMElement, GI.WebKit2WebExtension.Objects.DOMEntityReference, GI.WebKit2WebExtension.Objects.DOMEvent, GI.WebKit2WebExtension.Objects.DOMFile, GI.WebKit2WebExtension.Objects.DOMFileList, GI.WebKit2WebExtension.Objects.DOMHTMLAnchorElement, GI.WebKit2WebExtension.Objects.DOMHTMLAppletElement, GI.WebKit2WebExtension.Objects.DOMHTMLAreaElement, GI.WebKit2WebExtension.Objects.DOMHTMLBRElement, GI.WebKit2WebExtension.Objects.DOMHTMLBaseElement, GI.WebKit2WebExtension.Objects.DOMHTMLBaseFontElement, GI.WebKit2WebExtension.Objects.DOMHTMLBodyElement, GI.WebKit2WebExtension.Objects.DOMHTMLButtonElement, GI.WebKit2WebExtension.Objects.DOMHTMLCanvasElement, GI.WebKit2WebExtension.Objects.DOMHTMLCollection, GI.WebKit2WebExtension.Objects.DOMHTMLDListElement, GI.WebKit2WebExtension.Objects.DOMHTMLDirectoryElement, GI.WebKit2WebExtension.Objects.DOMHTMLDivElement, GI.WebKit2WebExtension.Objects.DOMHTMLDocument, GI.WebKit2WebExtension.Objects.DOMHTMLElement, GI.WebKit2WebExtension.Objects.DOMHTMLEmbedElement, GI.WebKit2WebExtension.Objects.DOMHTMLFieldSetElement, GI.WebKit2WebExtension.Objects.DOMHTMLFontElement, GI.WebKit2WebExtension.Objects.DOMHTMLFormElement, GI.WebKit2WebExtension.Objects.DOMHTMLFrameElement, GI.WebKit2WebExtension.Objects.DOMHTMLFrameSetElement, GI.WebKit2WebExtension.Objects.DOMHTMLHRElement, GI.WebKit2WebExtension.Objects.DOMHTMLHeadElement, GI.WebKit2WebExtension.Objects.DOMHTMLHeadingElement, GI.WebKit2WebExtension.Objects.DOMHTMLHtmlElement, GI.WebKit2WebExtension.Objects.DOMHTMLIFrameElement, GI.WebKit2WebExtension.Objects.DOMHTMLImageElement, GI.WebKit2WebExtension.Objects.DOMHTMLInputElement, GI.WebKit2WebExtension.Objects.DOMHTMLLIElement, GI.WebKit2WebExtension.Objects.DOMHTMLLabelElement, GI.WebKit2WebExtension.Objects.DOMHTMLLegendElement, GI.WebKit2WebExtension.Objects.DOMHTMLLinkElement, GI.WebKit2WebExtension.Objects.DOMHTMLMapElement, GI.WebKit2WebExtension.Objects.DOMHTMLMarqueeElement, GI.WebKit2WebExtension.Objects.DOMHTMLMenuElement, GI.WebKit2WebExtension.Objects.DOMHTMLMetaElement, GI.WebKit2WebExtension.Objects.DOMHTMLModElement, GI.WebKit2WebExtension.Objects.DOMHTMLOListElement, GI.WebKit2WebExtension.Objects.DOMHTMLObjectElement, GI.WebKit2WebExtension.Objects.DOMHTMLOptGroupElement, GI.WebKit2WebExtension.Objects.DOMHTMLOptionElement, GI.WebKit2WebExtension.Objects.DOMHTMLOptionsCollection, GI.WebKit2WebExtension.Objects.DOMHTMLParagraphElement, GI.WebKit2WebExtension.Objects.DOMHTMLParamElement, GI.WebKit2WebExtension.Objects.DOMHTMLPreElement, GI.WebKit2WebExtension.Objects.DOMHTMLQuoteElement, GI.WebKit2WebExtension.Objects.DOMHTMLScriptElement, GI.WebKit2WebExtension.Objects.DOMHTMLSelectElement, GI.WebKit2WebExtension.Objects.DOMHTMLStyleElement, GI.WebKit2WebExtension.Objects.DOMHTMLTableCaptionElement, GI.WebKit2WebExtension.Objects.DOMHTMLTableCellElement, GI.WebKit2WebExtension.Objects.DOMHTMLTableColElement, GI.WebKit2WebExtension.Objects.DOMHTMLTableElement, GI.WebKit2WebExtension.Objects.DOMHTMLTableRowElement, GI.WebKit2WebExtension.Objects.DOMHTMLTableSectionElement, GI.WebKit2WebExtension.Objects.DOMHTMLTextAreaElement, GI.WebKit2WebExtension.Objects.DOMHTMLTitleElement, GI.WebKit2WebExtension.Objects.DOMHTMLUListElement, GI.WebKit2WebExtension.Objects.DOMKeyboardEvent, GI.WebKit2WebExtension.Objects.DOMMediaList, GI.WebKit2WebExtension.Objects.DOMMouseEvent, GI.WebKit2WebExtension.Objects.DOMNamedNodeMap, GI.WebKit2WebExtension.Objects.DOMNode, GI.WebKit2WebExtension.Objects.DOMNodeIterator, GI.WebKit2WebExtension.Objects.DOMNodeList, GI.WebKit2WebExtension.Objects.DOMObject, GI.WebKit2WebExtension.Objects.DOMProcessingInstruction, GI.WebKit2WebExtension.Objects.DOMRange, GI.WebKit2WebExtension.Objects.DOMStyleSheet, GI.WebKit2WebExtension.Objects.DOMStyleSheetList, GI.WebKit2WebExtension.Objects.DOMText, GI.WebKit2WebExtension.Objects.DOMTreeWalker, GI.WebKit2WebExtension.Objects.DOMUIEvent, GI.WebKit2WebExtension.Objects.DOMWheelEvent, GI.WebKit2WebExtension.Objects.DOMXPathExpression, GI.WebKit2WebExtension.Objects.DOMXPathResult, GI.WebKit2WebExtension.Objects.Frame, GI.WebKit2WebExtension.Objects.HitTestResult, GI.WebKit2WebExtension.Objects.ScriptWorld, GI.WebKit2WebExtension.Objects.URIRequest, GI.WebKit2WebExtension.Objects.URIResponse, GI.WebKit2WebExtension.Objects.UserMessage, GI.WebKit2WebExtension.Objects.WebEditor, GI.WebKit2WebExtension.Objects.WebExtension, GI.WebKit2WebExtension.Objects.WebHitTestResult, GI.WebKit2WebExtension.Objects.WebPage, GI.WebKit2WebExtension.Structs, GI.WebKit2WebExtension.Structs.ConsoleMessage, GI.WebKit2WebExtension.Structs.ContextMenuItem_, GI.WebKit2WebExtension.Structs.ContextMenu_ autogen-modules: GI.WebKit2WebExtension.Config, GI.WebKit2WebExtension, GI.WebKit2WebExtension.Callbacks, GI.WebKit2WebExtension.Constants, GI.WebKit2WebExtension.Enums, GI.WebKit2WebExtension.Flags, GI.WebKit2WebExtension.Interfaces, GI.WebKit2WebExtension.Interfaces.DOMEventTarget, GI.WebKit2WebExtension.Interfaces.DOMNodeFilter, GI.WebKit2WebExtension.Interfaces.DOMXPathNSResolver, GI.WebKit2WebExtension.Objects, GI.WebKit2WebExtension.Objects.ContextMenu, GI.WebKit2WebExtension.Objects.ContextMenuItem, GI.WebKit2WebExtension.Objects.DOMAttr, GI.WebKit2WebExtension.Objects.DOMBlob, GI.WebKit2WebExtension.Objects.DOMCDATASection, GI.WebKit2WebExtension.Objects.DOMCSSRule, GI.WebKit2WebExtension.Objects.DOMCSSRuleList, GI.WebKit2WebExtension.Objects.DOMCSSStyleDeclaration, GI.WebKit2WebExtension.Objects.DOMCSSStyleSheet, GI.WebKit2WebExtension.Objects.DOMCSSValue, GI.WebKit2WebExtension.Objects.DOMCharacterData, GI.WebKit2WebExtension.Objects.DOMClientRect, GI.WebKit2WebExtension.Objects.DOMClientRectList, GI.WebKit2WebExtension.Objects.DOMComment, GI.WebKit2WebExtension.Objects.DOMDOMImplementation, GI.WebKit2WebExtension.Objects.DOMDOMSelection, GI.WebKit2WebExtension.Objects.DOMDOMTokenList, GI.WebKit2WebExtension.Objects.DOMDOMWindow, GI.WebKit2WebExtension.Objects.DOMDocument, GI.WebKit2WebExtension.Objects.DOMDocumentFragment, GI.WebKit2WebExtension.Objects.DOMDocumentType, GI.WebKit2WebExtension.Objects.DOMElement, GI.WebKit2WebExtension.Objects.DOMEntityReference, GI.WebKit2WebExtension.Objects.DOMEvent, GI.WebKit2WebExtension.Objects.DOMFile, GI.WebKit2WebExtension.Objects.DOMFileList, GI.WebKit2WebExtension.Objects.DOMHTMLAnchorElement, GI.WebKit2WebExtension.Objects.DOMHTMLAppletElement, GI.WebKit2WebExtension.Objects.DOMHTMLAreaElement, GI.WebKit2WebExtension.Objects.DOMHTMLBRElement, GI.WebKit2WebExtension.Objects.DOMHTMLBaseElement, GI.WebKit2WebExtension.Objects.DOMHTMLBaseFontElement, GI.WebKit2WebExtension.Objects.DOMHTMLBodyElement, GI.WebKit2WebExtension.Objects.DOMHTMLButtonElement, GI.WebKit2WebExtension.Objects.DOMHTMLCanvasElement, GI.WebKit2WebExtension.Objects.DOMHTMLCollection, GI.WebKit2WebExtension.Objects.DOMHTMLDListElement, GI.WebKit2WebExtension.Objects.DOMHTMLDirectoryElement, GI.WebKit2WebExtension.Objects.DOMHTMLDivElement, GI.WebKit2WebExtension.Objects.DOMHTMLDocument, GI.WebKit2WebExtension.Objects.DOMHTMLElement, GI.WebKit2WebExtension.Objects.DOMHTMLEmbedElement, GI.WebKit2WebExtension.Objects.DOMHTMLFieldSetElement, GI.WebKit2WebExtension.Objects.DOMHTMLFontElement, GI.WebKit2WebExtension.Objects.DOMHTMLFormElement, GI.WebKit2WebExtension.Objects.DOMHTMLFrameElement, GI.WebKit2WebExtension.Objects.DOMHTMLFrameSetElement, GI.WebKit2WebExtension.Objects.DOMHTMLHRElement, GI.WebKit2WebExtension.Objects.DOMHTMLHeadElement, GI.WebKit2WebExtension.Objects.DOMHTMLHeadingElement, GI.WebKit2WebExtension.Objects.DOMHTMLHtmlElement, GI.WebKit2WebExtension.Objects.DOMHTMLIFrameElement, GI.WebKit2WebExtension.Objects.DOMHTMLImageElement, GI.WebKit2WebExtension.Objects.DOMHTMLInputElement, GI.WebKit2WebExtension.Objects.DOMHTMLLIElement, GI.WebKit2WebExtension.Objects.DOMHTMLLabelElement, GI.WebKit2WebExtension.Objects.DOMHTMLLegendElement, GI.WebKit2WebExtension.Objects.DOMHTMLLinkElement, GI.WebKit2WebExtension.Objects.DOMHTMLMapElement, GI.WebKit2WebExtension.Objects.DOMHTMLMarqueeElement, GI.WebKit2WebExtension.Objects.DOMHTMLMenuElement, GI.WebKit2WebExtension.Objects.DOMHTMLMetaElement, GI.WebKit2WebExtension.Objects.DOMHTMLModElement, GI.WebKit2WebExtension.Objects.DOMHTMLOListElement, GI.WebKit2WebExtension.Objects.DOMHTMLObjectElement, GI.WebKit2WebExtension.Objects.DOMHTMLOptGroupElement, GI.WebKit2WebExtension.Objects.DOMHTMLOptionElement, GI.WebKit2WebExtension.Objects.DOMHTMLOptionsCollection, GI.WebKit2WebExtension.Objects.DOMHTMLParagraphElement, GI.WebKit2WebExtension.Objects.DOMHTMLParamElement, GI.WebKit2WebExtension.Objects.DOMHTMLPreElement, GI.WebKit2WebExtension.Objects.DOMHTMLQuoteElement, GI.WebKit2WebExtension.Objects.DOMHTMLScriptElement, GI.WebKit2WebExtension.Objects.DOMHTMLSelectElement, GI.WebKit2WebExtension.Objects.DOMHTMLStyleElement, GI.WebKit2WebExtension.Objects.DOMHTMLTableCaptionElement, GI.WebKit2WebExtension.Objects.DOMHTMLTableCellElement, GI.WebKit2WebExtension.Objects.DOMHTMLTableColElement, GI.WebKit2WebExtension.Objects.DOMHTMLTableElement, GI.WebKit2WebExtension.Objects.DOMHTMLTableRowElement, GI.WebKit2WebExtension.Objects.DOMHTMLTableSectionElement, GI.WebKit2WebExtension.Objects.DOMHTMLTextAreaElement, GI.WebKit2WebExtension.Objects.DOMHTMLTitleElement, GI.WebKit2WebExtension.Objects.DOMHTMLUListElement, GI.WebKit2WebExtension.Objects.DOMKeyboardEvent, GI.WebKit2WebExtension.Objects.DOMMediaList, GI.WebKit2WebExtension.Objects.DOMMouseEvent, GI.WebKit2WebExtension.Objects.DOMNamedNodeMap, GI.WebKit2WebExtension.Objects.DOMNode, GI.WebKit2WebExtension.Objects.DOMNodeIterator, GI.WebKit2WebExtension.Objects.DOMNodeList, GI.WebKit2WebExtension.Objects.DOMObject, GI.WebKit2WebExtension.Objects.DOMProcessingInstruction, GI.WebKit2WebExtension.Objects.DOMRange, GI.WebKit2WebExtension.Objects.DOMStyleSheet, GI.WebKit2WebExtension.Objects.DOMStyleSheetList, GI.WebKit2WebExtension.Objects.DOMText, GI.WebKit2WebExtension.Objects.DOMTreeWalker, GI.WebKit2WebExtension.Objects.DOMUIEvent, GI.WebKit2WebExtension.Objects.DOMWheelEvent, GI.WebKit2WebExtension.Objects.DOMXPathExpression, GI.WebKit2WebExtension.Objects.DOMXPathResult, GI.WebKit2WebExtension.Objects.Frame, GI.WebKit2WebExtension.Objects.HitTestResult, GI.WebKit2WebExtension.Objects.ScriptWorld, GI.WebKit2WebExtension.Objects.URIRequest, GI.WebKit2WebExtension.Objects.URIResponse, GI.WebKit2WebExtension.Objects.UserMessage, GI.WebKit2WebExtension.Objects.WebEditor, GI.WebKit2WebExtension.Objects.WebExtension, GI.WebKit2WebExtension.Objects.WebHitTestResult, GI.WebKit2WebExtension.Objects.WebPage, GI.WebKit2WebExtension.Structs, GI.WebKit2WebExtension.Structs.ConsoleMessage, GI.WebKit2WebExtension.Structs.ContextMenuItem_, GI.WebKit2WebExtension.Structs.ContextMenu_