name: gi-webkit2 version: 4.0.27 synopsis: WebKit2 bindings description: Bindings for WebKit2, 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: 2.0 extra-source-files: README.md ChangeLog.md stack.yaml WebKit2.overrides custom-setup setup-depends: base >= 4.9 && < 5, Cabal >= 1.24, haskell-gi >= 0.25 && < 0.26, gi-cairo == 1.0.*, gi-soup == 2.4.*, gi-javascriptcore == 4.0.*, gi-gtk == 3.0.*, gi-gio == 2.0.*, gi-gdk == 3.0.*, gi-gobject == 2.0.*, gi-glib == 2.0.*, gi-atk == 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-4.0 build-depends: base >= 4.7 && <5, haskell-gi-base >= 0.25 && < 0.26, haskell-gi >= 0.25 && < 0.26, haskell-gi-overloading < 1.1, gi-cairo == 1.0.*, gi-soup == 2.4.*, gi-javascriptcore == 4.0.*, gi-gtk == 3.0.*, gi-gio == 2.0.*, gi-gdk == 3.0.*, gi-gobject == 2.0.*, gi-glib == 2.0.*, gi-atk == 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.WebKit2.Config, GI.WebKit2, GI.WebKit2.Callbacks, GI.WebKit2.Constants, GI.WebKit2.Enums, GI.WebKit2.Flags, GI.WebKit2.Functions, GI.WebKit2.Interfaces, GI.WebKit2.Interfaces.PermissionRequest, GI.WebKit2.Objects, GI.WebKit2.Objects.AuthenticationRequest, GI.WebKit2.Objects.AutomationSession, GI.WebKit2.Objects.BackForwardList, GI.WebKit2.Objects.BackForwardListItem, GI.WebKit2.Objects.ColorChooserRequest, GI.WebKit2.Objects.ContextMenu, GI.WebKit2.Objects.ContextMenuItem, GI.WebKit2.Objects.CookieManager, GI.WebKit2.Objects.DeviceInfoPermissionRequest, GI.WebKit2.Objects.Download, GI.WebKit2.Objects.EditorState, GI.WebKit2.Objects.FaviconDatabase, GI.WebKit2.Objects.FileChooserRequest, GI.WebKit2.Objects.FindController, GI.WebKit2.Objects.FormSubmissionRequest, GI.WebKit2.Objects.GeolocationManager, GI.WebKit2.Objects.GeolocationPermissionRequest, GI.WebKit2.Objects.HitTestResult, GI.WebKit2.Objects.InputMethodContext, GI.WebKit2.Objects.InstallMissingMediaPluginsPermissionRequest, GI.WebKit2.Objects.NavigationPolicyDecision, GI.WebKit2.Objects.Notification, GI.WebKit2.Objects.NotificationPermissionRequest, GI.WebKit2.Objects.OptionMenu, GI.WebKit2.Objects.Plugin, GI.WebKit2.Objects.PointerLockPermissionRequest, GI.WebKit2.Objects.PolicyDecision, GI.WebKit2.Objects.PrintCustomWidget, GI.WebKit2.Objects.PrintOperation, GI.WebKit2.Objects.ResponsePolicyDecision, GI.WebKit2.Objects.SecurityManager, GI.WebKit2.Objects.Settings, GI.WebKit2.Objects.URIRequest, GI.WebKit2.Objects.URIResponse, GI.WebKit2.Objects.URISchemeRequest, GI.WebKit2.Objects.UserContentFilterStore, GI.WebKit2.Objects.UserContentManager, GI.WebKit2.Objects.UserMediaPermissionRequest, GI.WebKit2.Objects.UserMessage, GI.WebKit2.Objects.WebContext, GI.WebKit2.Objects.WebInspector, GI.WebKit2.Objects.WebResource, GI.WebKit2.Objects.WebView, GI.WebKit2.Objects.WebViewBase, GI.WebKit2.Objects.WebsiteDataAccessPermissionRequest, GI.WebKit2.Objects.WebsiteDataManager, GI.WebKit2.Objects.WebsitePolicies, GI.WebKit2.Objects.WindowProperties, GI.WebKit2.Structs, GI.WebKit2.Structs.ApplicationInfo, GI.WebKit2.Structs.Credential, GI.WebKit2.Structs.GeolocationPosition, GI.WebKit2.Structs.ITPFirstParty, GI.WebKit2.Structs.ITPThirdParty, GI.WebKit2.Structs.InputMethodUnderline, GI.WebKit2.Structs.JavascriptResult, GI.WebKit2.Structs.MimeInfo, GI.WebKit2.Structs.NavigationAction, GI.WebKit2.Structs.NetworkProxySettings, GI.WebKit2.Structs.OptionMenuItem, GI.WebKit2.Structs.ScriptDialog, GI.WebKit2.Structs.SecurityOrigin, GI.WebKit2.Structs.UserContentFilter, GI.WebKit2.Structs.UserScript, GI.WebKit2.Structs.UserStyleSheet, GI.WebKit2.Structs.WebViewSessionState, GI.WebKit2.Structs.WebsiteData autogen-modules: GI.WebKit2.Config, GI.WebKit2, GI.WebKit2.Callbacks, GI.WebKit2.Constants, GI.WebKit2.Enums, GI.WebKit2.Flags, GI.WebKit2.Functions, GI.WebKit2.Interfaces, GI.WebKit2.Interfaces.PermissionRequest, GI.WebKit2.Objects, GI.WebKit2.Objects.AuthenticationRequest, GI.WebKit2.Objects.AutomationSession, GI.WebKit2.Objects.BackForwardList, GI.WebKit2.Objects.BackForwardListItem, GI.WebKit2.Objects.ColorChooserRequest, GI.WebKit2.Objects.ContextMenu, GI.WebKit2.Objects.ContextMenuItem, GI.WebKit2.Objects.CookieManager, GI.WebKit2.Objects.DeviceInfoPermissionRequest, GI.WebKit2.Objects.Download, GI.WebKit2.Objects.EditorState, GI.WebKit2.Objects.FaviconDatabase, GI.WebKit2.Objects.FileChooserRequest, GI.WebKit2.Objects.FindController, GI.WebKit2.Objects.FormSubmissionRequest, GI.WebKit2.Objects.GeolocationManager, GI.WebKit2.Objects.GeolocationPermissionRequest, GI.WebKit2.Objects.HitTestResult, GI.WebKit2.Objects.InputMethodContext, GI.WebKit2.Objects.InstallMissingMediaPluginsPermissionRequest, GI.WebKit2.Objects.NavigationPolicyDecision, GI.WebKit2.Objects.Notification, GI.WebKit2.Objects.NotificationPermissionRequest, GI.WebKit2.Objects.OptionMenu, GI.WebKit2.Objects.Plugin, GI.WebKit2.Objects.PointerLockPermissionRequest, GI.WebKit2.Objects.PolicyDecision, GI.WebKit2.Objects.PrintCustomWidget, GI.WebKit2.Objects.PrintOperation, GI.WebKit2.Objects.ResponsePolicyDecision, GI.WebKit2.Objects.SecurityManager, GI.WebKit2.Objects.Settings, GI.WebKit2.Objects.URIRequest, GI.WebKit2.Objects.URIResponse, GI.WebKit2.Objects.URISchemeRequest, GI.WebKit2.Objects.UserContentFilterStore, GI.WebKit2.Objects.UserContentManager, GI.WebKit2.Objects.UserMediaPermissionRequest, GI.WebKit2.Objects.UserMessage, GI.WebKit2.Objects.WebContext, GI.WebKit2.Objects.WebInspector, GI.WebKit2.Objects.WebResource, GI.WebKit2.Objects.WebView, GI.WebKit2.Objects.WebViewBase, GI.WebKit2.Objects.WebsiteDataAccessPermissionRequest, GI.WebKit2.Objects.WebsiteDataManager, GI.WebKit2.Objects.WebsitePolicies, GI.WebKit2.Objects.WindowProperties, GI.WebKit2.Structs, GI.WebKit2.Structs.ApplicationInfo, GI.WebKit2.Structs.Credential, GI.WebKit2.Structs.GeolocationPosition, GI.WebKit2.Structs.ITPFirstParty, GI.WebKit2.Structs.ITPThirdParty, GI.WebKit2.Structs.InputMethodUnderline, GI.WebKit2.Structs.JavascriptResult, GI.WebKit2.Structs.MimeInfo, GI.WebKit2.Structs.NavigationAction, GI.WebKit2.Structs.NetworkProxySettings, GI.WebKit2.Structs.OptionMenuItem, GI.WebKit2.Structs.ScriptDialog, GI.WebKit2.Structs.SecurityOrigin, GI.WebKit2.Structs.UserContentFilter, GI.WebKit2.Structs.UserScript, GI.WebKit2.Structs.UserStyleSheet, GI.WebKit2.Structs.WebViewSessionState, GI.WebKit2.Structs.WebsiteData