gi-webkit2-4.0.32: gi-webkit2.cabal

name:                 gi-webkit2
version:              4.0.32
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:               Iñaki García Etxebarria
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.11 && < 5,
                     Cabal >= 1.24 && < 4,
                     haskell-gi >= 0.26.14 && < 0.27,
                     gi-cairo == 1.0.*,
                     gi-soup2,
                     gi-javascriptcore4,
                     gi-gtk3,
                     gi-gio == 2.0.*,
                     gi-gdk3,
                     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, TypeOperators
      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.26 && < 0.27,
                     haskell-gi >= 0.26.14 && < 0.27,
                     haskell-gi-overloading < 1.1,
                     gi-cairo == 1.0.*,
                     gi-soup2,
                     gi-javascriptcore4,
                     gi-gtk3,
                     gi-gio == 2.0.*,
                     gi-gdk3,
                     gi-gobject == 2.0.*,
                     gi-glib == 2.0.*,
                     gi-atk == 2.0.*,
                     bytestring >= 0.10 && < 1,
                     containers >= 0.5 && < 1,
                     text >= 1.0 && < 3,
                     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.ClipboardPermissionRequest,
                       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.MediaKeySystemPermissionRequest,
                       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.URISchemeResponse,
                       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.Feature,
                       GI.WebKit2.Structs.FeatureList,
                       GI.WebKit2.Structs.GeolocationPosition,
                       GI.WebKit2.Structs.ITPFirstParty,
                       GI.WebKit2.Structs.ITPThirdParty,
                       GI.WebKit2.Structs.InputMethodUnderline,
                       GI.WebKit2.Structs.JavascriptResult,
                       GI.WebKit2.Structs.MemoryPressureSettings,
                       GI.WebKit2.Structs.MimeInfo,
                       GI.WebKit2.Structs.NavigationAction,
                       GI.WebKit2.Structs.NetworkProxySettings,
                       GI.WebKit2.Structs.OptionMenuItem,
                       GI.WebKit2.Structs.PermissionStateQuery,
                       GI.WebKit2.Structs.ScriptDialog,
                       GI.WebKit2.Structs.ScriptMessageReply,
                       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.ClipboardPermissionRequest,
                       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.MediaKeySystemPermissionRequest,
                       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.URISchemeResponse,
                       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.Feature,
                       GI.WebKit2.Structs.FeatureList,
                       GI.WebKit2.Structs.GeolocationPosition,
                       GI.WebKit2.Structs.ITPFirstParty,
                       GI.WebKit2.Structs.ITPThirdParty,
                       GI.WebKit2.Structs.InputMethodUnderline,
                       GI.WebKit2.Structs.JavascriptResult,
                       GI.WebKit2.Structs.MemoryPressureSettings,
                       GI.WebKit2.Structs.MimeInfo,
                       GI.WebKit2.Structs.NavigationAction,
                       GI.WebKit2.Structs.NetworkProxySettings,
                       GI.WebKit2.Structs.OptionMenuItem,
                       GI.WebKit2.Structs.PermissionStateQuery,
                       GI.WebKit2.Structs.ScriptDialog,
                       GI.WebKit2.Structs.ScriptMessageReply,
                       GI.WebKit2.Structs.SecurityOrigin,
                       GI.WebKit2.Structs.UserContentFilter,
                       GI.WebKit2.Structs.UserScript,
                       GI.WebKit2.Structs.UserStyleSheet,
                       GI.WebKit2.Structs.WebViewSessionState,
                       GI.WebKit2.Structs.WebsiteData