{- |
Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
License    : LGPL-2.1
Maintainer : Iñaki García Etxebarria (garetxe@gmail.com)
-}

module GI.WebKit.Objects.DOMHTMLDetailsElement
    ( 

-- * Exported types
    DOMHTMLDetailsElement(..)               ,
    IsDOMHTMLDetailsElement                 ,
    toDOMHTMLDetailsElement                 ,
    noDOMHTMLDetailsElement                 ,


 -- * Methods
-- ** getOpen #method:getOpen#
    DOMHTMLDetailsElementGetOpenMethodInfo  ,
    dOMHTMLDetailsElementGetOpen            ,


-- ** setOpen #method:setOpen#
    DOMHTMLDetailsElementSetOpenMethodInfo  ,
    dOMHTMLDetailsElementSetOpen            ,




 -- * Properties
-- ** open #attr:open#
    DOMHTMLDetailsElementOpenPropertyInfo   ,
    constructDOMHTMLDetailsElementOpen      ,
    dOMHTMLDetailsElementOpen               ,
    getDOMHTMLDetailsElementOpen            ,
    setDOMHTMLDetailsElementOpen            ,




    ) where

import Data.GI.Base.ShortPrelude
import qualified Data.GI.Base.ShortPrelude as SP
import qualified Data.GI.Base.Overloading as O
import qualified Prelude as P

import qualified Data.GI.Base.Attributes as GI.Attributes
import qualified Data.GI.Base.ManagedPtr as B.ManagedPtr
import qualified Data.GI.Base.GError as B.GError
import qualified Data.GI.Base.GVariant as B.GVariant
import qualified Data.GI.Base.GParamSpec as B.GParamSpec
import qualified Data.GI.Base.CallStack as B.CallStack
import qualified Data.Text as T
import qualified Data.ByteString.Char8 as B
import qualified Data.Map as Map
import qualified Foreign.Ptr as FP

import qualified GI.GObject.Objects.Object as GObject.Object
import {-# SOURCE #-} qualified GI.WebKit.Interfaces.DOMEventTarget as WebKit.DOMEventTarget
import {-# SOURCE #-} qualified GI.WebKit.Objects.DOMElement as WebKit.DOMElement
import {-# SOURCE #-} qualified GI.WebKit.Objects.DOMHTMLElement as WebKit.DOMHTMLElement
import {-# SOURCE #-} qualified GI.WebKit.Objects.DOMNode as WebKit.DOMNode
import {-# SOURCE #-} qualified GI.WebKit.Objects.DOMObject as WebKit.DOMObject

newtype DOMHTMLDetailsElement = DOMHTMLDetailsElement (ManagedPtr DOMHTMLDetailsElement)
foreign import ccall "webkit_dom_html_details_element_get_type"
    c_webkit_dom_html_details_element_get_type :: IO GType

instance GObject DOMHTMLDetailsElement where
    gobjectType _ = c_webkit_dom_html_details_element_get_type
    

class GObject o => IsDOMHTMLDetailsElement o
#if MIN_VERSION_base(4,9,0)
instance {-# OVERLAPPABLE #-} (GObject a, O.UnknownAncestorError DOMHTMLDetailsElement a) =>
    IsDOMHTMLDetailsElement a
#endif
instance IsDOMHTMLDetailsElement DOMHTMLDetailsElement
instance WebKit.DOMHTMLElement.IsDOMHTMLElement DOMHTMLDetailsElement
instance WebKit.DOMElement.IsDOMElement DOMHTMLDetailsElement
instance WebKit.DOMNode.IsDOMNode DOMHTMLDetailsElement
instance WebKit.DOMObject.IsDOMObject DOMHTMLDetailsElement
instance GObject.Object.IsObject DOMHTMLDetailsElement
instance WebKit.DOMEventTarget.IsDOMEventTarget DOMHTMLDetailsElement

toDOMHTMLDetailsElement :: IsDOMHTMLDetailsElement o => o -> IO DOMHTMLDetailsElement
toDOMHTMLDetailsElement = unsafeCastTo DOMHTMLDetailsElement

noDOMHTMLDetailsElement :: Maybe DOMHTMLDetailsElement
noDOMHTMLDetailsElement = Nothing

type family ResolveDOMHTMLDetailsElementMethod (t :: Symbol) (o :: *) :: * where
    ResolveDOMHTMLDetailsElementMethod "addEventListener" o = WebKit.DOMEventTarget.DOMEventTargetAddEventListenerMethodInfo
    ResolveDOMHTMLDetailsElementMethod "appendChild" o = WebKit.DOMNode.DOMNodeAppendChildMethodInfo
    ResolveDOMHTMLDetailsElementMethod "bindProperty" o = GObject.Object.ObjectBindPropertyMethodInfo
    ResolveDOMHTMLDetailsElementMethod "bindPropertyFull" o = GObject.Object.ObjectBindPropertyFullMethodInfo
    ResolveDOMHTMLDetailsElementMethod "blur" o = WebKit.DOMElement.DOMElementBlurMethodInfo
    ResolveDOMHTMLDetailsElementMethod "click" o = WebKit.DOMHTMLElement.DOMHTMLElementClickMethodInfo
    ResolveDOMHTMLDetailsElementMethod "cloneNode" o = WebKit.DOMNode.DOMNodeCloneNodeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "compareDocumentPosition" o = WebKit.DOMNode.DOMNodeCompareDocumentPositionMethodInfo
    ResolveDOMHTMLDetailsElementMethod "contains" o = WebKit.DOMNode.DOMNodeContainsMethodInfo
    ResolveDOMHTMLDetailsElementMethod "dispatchEvent" o = WebKit.DOMNode.DOMNodeDispatchEventMethodInfo
    ResolveDOMHTMLDetailsElementMethod "focus" o = WebKit.DOMElement.DOMElementFocusMethodInfo
    ResolveDOMHTMLDetailsElementMethod "forceFloating" o = GObject.Object.ObjectForceFloatingMethodInfo
    ResolveDOMHTMLDetailsElementMethod "freezeNotify" o = GObject.Object.ObjectFreezeNotifyMethodInfo
    ResolveDOMHTMLDetailsElementMethod "hasAttribute" o = WebKit.DOMElement.DOMElementHasAttributeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "hasAttributeNs" o = WebKit.DOMElement.DOMElementHasAttributeNsMethodInfo
    ResolveDOMHTMLDetailsElementMethod "hasAttributes" o = WebKit.DOMElement.DOMElementHasAttributesMethodInfo
    ResolveDOMHTMLDetailsElementMethod "hasChildNodes" o = WebKit.DOMNode.DOMNodeHasChildNodesMethodInfo
    ResolveDOMHTMLDetailsElementMethod "insertAdjacentElement" o = WebKit.DOMHTMLElement.DOMHTMLElementInsertAdjacentElementMethodInfo
    ResolveDOMHTMLDetailsElementMethod "insertAdjacentHtml" o = WebKit.DOMHTMLElement.DOMHTMLElementInsertAdjacentHtmlMethodInfo
    ResolveDOMHTMLDetailsElementMethod "insertAdjacentText" o = WebKit.DOMHTMLElement.DOMHTMLElementInsertAdjacentTextMethodInfo
    ResolveDOMHTMLDetailsElementMethod "insertBefore" o = WebKit.DOMNode.DOMNodeInsertBeforeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "isDefaultNamespace" o = WebKit.DOMNode.DOMNodeIsDefaultNamespaceMethodInfo
    ResolveDOMHTMLDetailsElementMethod "isEqualNode" o = WebKit.DOMNode.DOMNodeIsEqualNodeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "isFloating" o = GObject.Object.ObjectIsFloatingMethodInfo
    ResolveDOMHTMLDetailsElementMethod "isSameNode" o = WebKit.DOMNode.DOMNodeIsSameNodeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "isSupported" o = WebKit.DOMNode.DOMNodeIsSupportedMethodInfo
    ResolveDOMHTMLDetailsElementMethod "lookupNamespaceUri" o = WebKit.DOMNode.DOMNodeLookupNamespaceUriMethodInfo
    ResolveDOMHTMLDetailsElementMethod "lookupPrefix" o = WebKit.DOMNode.DOMNodeLookupPrefixMethodInfo
    ResolveDOMHTMLDetailsElementMethod "normalize" o = WebKit.DOMNode.DOMNodeNormalizeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "notify" o = GObject.Object.ObjectNotifyMethodInfo
    ResolveDOMHTMLDetailsElementMethod "notifyByPspec" o = GObject.Object.ObjectNotifyByPspecMethodInfo
    ResolveDOMHTMLDetailsElementMethod "querySelector" o = WebKit.DOMElement.DOMElementQuerySelectorMethodInfo
    ResolveDOMHTMLDetailsElementMethod "querySelectorAll" o = WebKit.DOMElement.DOMElementQuerySelectorAllMethodInfo
    ResolveDOMHTMLDetailsElementMethod "ref" o = GObject.Object.ObjectRefMethodInfo
    ResolveDOMHTMLDetailsElementMethod "refSink" o = GObject.Object.ObjectRefSinkMethodInfo
    ResolveDOMHTMLDetailsElementMethod "remove" o = WebKit.DOMElement.DOMElementRemoveMethodInfo
    ResolveDOMHTMLDetailsElementMethod "removeAttribute" o = WebKit.DOMElement.DOMElementRemoveAttributeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "removeAttributeNode" o = WebKit.DOMElement.DOMElementRemoveAttributeNodeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "removeAttributeNs" o = WebKit.DOMElement.DOMElementRemoveAttributeNsMethodInfo
    ResolveDOMHTMLDetailsElementMethod "removeChild" o = WebKit.DOMNode.DOMNodeRemoveChildMethodInfo
    ResolveDOMHTMLDetailsElementMethod "removeEventListener" o = WebKit.DOMEventTarget.DOMEventTargetRemoveEventListenerMethodInfo
    ResolveDOMHTMLDetailsElementMethod "replaceChild" o = WebKit.DOMNode.DOMNodeReplaceChildMethodInfo
    ResolveDOMHTMLDetailsElementMethod "replaceData" o = GObject.Object.ObjectReplaceDataMethodInfo
    ResolveDOMHTMLDetailsElementMethod "replaceQdata" o = GObject.Object.ObjectReplaceQdataMethodInfo
    ResolveDOMHTMLDetailsElementMethod "runDispose" o = GObject.Object.ObjectRunDisposeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "scrollByLines" o = WebKit.DOMElement.DOMElementScrollByLinesMethodInfo
    ResolveDOMHTMLDetailsElementMethod "scrollByPages" o = WebKit.DOMElement.DOMElementScrollByPagesMethodInfo
    ResolveDOMHTMLDetailsElementMethod "scrollIntoView" o = WebKit.DOMElement.DOMElementScrollIntoViewMethodInfo
    ResolveDOMHTMLDetailsElementMethod "scrollIntoViewIfNeeded" o = WebKit.DOMElement.DOMElementScrollIntoViewIfNeededMethodInfo
    ResolveDOMHTMLDetailsElementMethod "stealData" o = GObject.Object.ObjectStealDataMethodInfo
    ResolveDOMHTMLDetailsElementMethod "stealQdata" o = GObject.Object.ObjectStealQdataMethodInfo
    ResolveDOMHTMLDetailsElementMethod "thawNotify" o = GObject.Object.ObjectThawNotifyMethodInfo
    ResolveDOMHTMLDetailsElementMethod "unref" o = GObject.Object.ObjectUnrefMethodInfo
    ResolveDOMHTMLDetailsElementMethod "watchClosure" o = GObject.Object.ObjectWatchClosureMethodInfo
    ResolveDOMHTMLDetailsElementMethod "webkitMatchesSelector" o = WebKit.DOMElement.DOMElementWebkitMatchesSelectorMethodInfo
    ResolveDOMHTMLDetailsElementMethod "webkitRequestFullScreen" o = WebKit.DOMElement.DOMElementWebkitRequestFullScreenMethodInfo
    ResolveDOMHTMLDetailsElementMethod "webkitRequestFullscreen" o = WebKit.DOMElement.DOMElementWebkitRequestFullscreenMethodInfo
    ResolveDOMHTMLDetailsElementMethod "webkitRequestPointerLock" o = WebKit.DOMElement.DOMElementWebkitRequestPointerLockMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getAccessKey" o = WebKit.DOMHTMLElement.DOMHTMLElementGetAccessKeyMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getAttribute" o = WebKit.DOMElement.DOMElementGetAttributeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getAttributeNode" o = WebKit.DOMElement.DOMElementGetAttributeNodeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getAttributeNodeNs" o = WebKit.DOMElement.DOMElementGetAttributeNodeNsMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getAttributeNs" o = WebKit.DOMElement.DOMElementGetAttributeNsMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getAttributes" o = WebKit.DOMElement.DOMElementGetAttributesMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getBaseUri" o = WebKit.DOMNode.DOMNodeGetBaseUriMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getChildElementCount" o = WebKit.DOMElement.DOMElementGetChildElementCountMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getChildNodes" o = WebKit.DOMNode.DOMNodeGetChildNodesMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getChildren" o = WebKit.DOMHTMLElement.DOMHTMLElementGetChildrenMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getClassList" o = WebKit.DOMHTMLElement.DOMHTMLElementGetClassListMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getClassName" o = WebKit.DOMHTMLElement.DOMHTMLElementGetClassNameMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getClientHeight" o = WebKit.DOMElement.DOMElementGetClientHeightMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getClientLeft" o = WebKit.DOMElement.DOMElementGetClientLeftMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getClientTop" o = WebKit.DOMElement.DOMElementGetClientTopMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getClientWidth" o = WebKit.DOMElement.DOMElementGetClientWidthMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getContentEditable" o = WebKit.DOMHTMLElement.DOMHTMLElementGetContentEditableMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getData" o = GObject.Object.ObjectGetDataMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getDir" o = WebKit.DOMHTMLElement.DOMHTMLElementGetDirMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getDraggable" o = WebKit.DOMHTMLElement.DOMHTMLElementGetDraggableMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getElementsByClassName" o = WebKit.DOMElement.DOMElementGetElementsByClassNameMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getElementsByTagName" o = WebKit.DOMElement.DOMElementGetElementsByTagNameMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getElementsByTagNameNs" o = WebKit.DOMElement.DOMElementGetElementsByTagNameNsMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getFirstChild" o = WebKit.DOMNode.DOMNodeGetFirstChildMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getFirstElementChild" o = WebKit.DOMElement.DOMElementGetFirstElementChildMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getHidden" o = WebKit.DOMHTMLElement.DOMHTMLElementGetHiddenMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getId" o = WebKit.DOMHTMLElement.DOMHTMLElementGetIdMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getInnerHtml" o = WebKit.DOMHTMLElement.DOMHTMLElementGetInnerHtmlMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getInnerText" o = WebKit.DOMHTMLElement.DOMHTMLElementGetInnerTextMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getIsContentEditable" o = WebKit.DOMHTMLElement.DOMHTMLElementGetIsContentEditableMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getItemId" o = WebKit.DOMHTMLElement.DOMHTMLElementGetItemIdMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getItemProp" o = WebKit.DOMHTMLElement.DOMHTMLElementGetItemPropMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getItemRef" o = WebKit.DOMHTMLElement.DOMHTMLElementGetItemRefMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getItemScope" o = WebKit.DOMHTMLElement.DOMHTMLElementGetItemScopeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getItemType" o = WebKit.DOMHTMLElement.DOMHTMLElementGetItemTypeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getLang" o = WebKit.DOMHTMLElement.DOMHTMLElementGetLangMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getLastChild" o = WebKit.DOMNode.DOMNodeGetLastChildMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getLastElementChild" o = WebKit.DOMElement.DOMElementGetLastElementChildMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getLocalName" o = WebKit.DOMNode.DOMNodeGetLocalNameMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getNamespaceUri" o = WebKit.DOMNode.DOMNodeGetNamespaceUriMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getNextElementSibling" o = WebKit.DOMElement.DOMElementGetNextElementSiblingMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getNextSibling" o = WebKit.DOMNode.DOMNodeGetNextSiblingMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getNodeName" o = WebKit.DOMNode.DOMNodeGetNodeNameMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getNodeType" o = WebKit.DOMNode.DOMNodeGetNodeTypeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getNodeValue" o = WebKit.DOMNode.DOMNodeGetNodeValueMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getOffsetHeight" o = WebKit.DOMElement.DOMElementGetOffsetHeightMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getOffsetLeft" o = WebKit.DOMElement.DOMElementGetOffsetLeftMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getOffsetParent" o = WebKit.DOMElement.DOMElementGetOffsetParentMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getOffsetTop" o = WebKit.DOMElement.DOMElementGetOffsetTopMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getOffsetWidth" o = WebKit.DOMElement.DOMElementGetOffsetWidthMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getOpen" o = DOMHTMLDetailsElementGetOpenMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getOuterHtml" o = WebKit.DOMHTMLElement.DOMHTMLElementGetOuterHtmlMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getOuterText" o = WebKit.DOMHTMLElement.DOMHTMLElementGetOuterTextMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getOwnerDocument" o = WebKit.DOMNode.DOMNodeGetOwnerDocumentMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getParentElement" o = WebKit.DOMNode.DOMNodeGetParentElementMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getParentNode" o = WebKit.DOMNode.DOMNodeGetParentNodeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getPrefix" o = WebKit.DOMNode.DOMNodeGetPrefixMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getPreviousElementSibling" o = WebKit.DOMElement.DOMElementGetPreviousElementSiblingMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getPreviousSibling" o = WebKit.DOMNode.DOMNodeGetPreviousSiblingMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getProperty" o = GObject.Object.ObjectGetPropertyMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getQdata" o = GObject.Object.ObjectGetQdataMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getScrollHeight" o = WebKit.DOMElement.DOMElementGetScrollHeightMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getScrollLeft" o = WebKit.DOMElement.DOMElementGetScrollLeftMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getScrollTop" o = WebKit.DOMElement.DOMElementGetScrollTopMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getScrollWidth" o = WebKit.DOMElement.DOMElementGetScrollWidthMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getSpellcheck" o = WebKit.DOMHTMLElement.DOMHTMLElementGetSpellcheckMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getStyle" o = WebKit.DOMElement.DOMElementGetStyleMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getTabIndex" o = WebKit.DOMHTMLElement.DOMHTMLElementGetTabIndexMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getTagName" o = WebKit.DOMElement.DOMElementGetTagNameMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getTextContent" o = WebKit.DOMNode.DOMNodeGetTextContentMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getTitle" o = WebKit.DOMHTMLElement.DOMHTMLElementGetTitleMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getTranslate" o = WebKit.DOMHTMLElement.DOMHTMLElementGetTranslateMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getWebkitRegionOverflow" o = WebKit.DOMElement.DOMElementGetWebkitRegionOverflowMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getWebkitRegionOverset" o = WebKit.DOMElement.DOMElementGetWebkitRegionOversetMethodInfo
    ResolveDOMHTMLDetailsElementMethod "getWebkitdropzone" o = WebKit.DOMHTMLElement.DOMHTMLElementGetWebkitdropzoneMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setAccessKey" o = WebKit.DOMHTMLElement.DOMHTMLElementSetAccessKeyMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setAttribute" o = WebKit.DOMElement.DOMElementSetAttributeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setAttributeNode" o = WebKit.DOMElement.DOMElementSetAttributeNodeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setAttributeNodeNs" o = WebKit.DOMElement.DOMElementSetAttributeNodeNsMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setAttributeNs" o = WebKit.DOMElement.DOMElementSetAttributeNsMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setClassName" o = WebKit.DOMHTMLElement.DOMHTMLElementSetClassNameMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setContentEditable" o = WebKit.DOMHTMLElement.DOMHTMLElementSetContentEditableMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setData" o = GObject.Object.ObjectSetDataMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setDir" o = WebKit.DOMHTMLElement.DOMHTMLElementSetDirMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setDraggable" o = WebKit.DOMHTMLElement.DOMHTMLElementSetDraggableMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setHidden" o = WebKit.DOMHTMLElement.DOMHTMLElementSetHiddenMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setId" o = WebKit.DOMHTMLElement.DOMHTMLElementSetIdMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setInnerHtml" o = WebKit.DOMHTMLElement.DOMHTMLElementSetInnerHtmlMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setInnerText" o = WebKit.DOMHTMLElement.DOMHTMLElementSetInnerTextMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setItemId" o = WebKit.DOMHTMLElement.DOMHTMLElementSetItemIdMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setItemScope" o = WebKit.DOMHTMLElement.DOMHTMLElementSetItemScopeMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setLang" o = WebKit.DOMHTMLElement.DOMHTMLElementSetLangMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setNodeValue" o = WebKit.DOMNode.DOMNodeSetNodeValueMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setOpen" o = DOMHTMLDetailsElementSetOpenMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setOuterHtml" o = WebKit.DOMHTMLElement.DOMHTMLElementSetOuterHtmlMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setOuterText" o = WebKit.DOMHTMLElement.DOMHTMLElementSetOuterTextMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setPrefix" o = WebKit.DOMNode.DOMNodeSetPrefixMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setProperty" o = GObject.Object.ObjectSetPropertyMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setScrollLeft" o = WebKit.DOMElement.DOMElementSetScrollLeftMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setScrollTop" o = WebKit.DOMElement.DOMElementSetScrollTopMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setSpellcheck" o = WebKit.DOMHTMLElement.DOMHTMLElementSetSpellcheckMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setTabIndex" o = WebKit.DOMHTMLElement.DOMHTMLElementSetTabIndexMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setTextContent" o = WebKit.DOMNode.DOMNodeSetTextContentMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setTitle" o = WebKit.DOMHTMLElement.DOMHTMLElementSetTitleMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setTranslate" o = WebKit.DOMHTMLElement.DOMHTMLElementSetTranslateMethodInfo
    ResolveDOMHTMLDetailsElementMethod "setWebkitdropzone" o = WebKit.DOMHTMLElement.DOMHTMLElementSetWebkitdropzoneMethodInfo
    ResolveDOMHTMLDetailsElementMethod l o = O.MethodResolutionFailed l o

instance (info ~ ResolveDOMHTMLDetailsElementMethod t DOMHTMLDetailsElement, O.MethodInfo info DOMHTMLDetailsElement p) => O.IsLabelProxy t (DOMHTMLDetailsElement -> p) where
    fromLabelProxy _ = O.overloadedMethod (O.MethodProxy :: O.MethodProxy info)

#if MIN_VERSION_base(4,9,0)
instance (info ~ ResolveDOMHTMLDetailsElementMethod t DOMHTMLDetailsElement, O.MethodInfo info DOMHTMLDetailsElement p) => O.IsLabel t (DOMHTMLDetailsElement -> p) where
    fromLabel _ = O.overloadedMethod (O.MethodProxy :: O.MethodProxy info)
#endif

-- VVV Prop "open"
   -- Type: TBasicType TBoolean
   -- Flags: [PropertyReadable,PropertyWritable]
   -- Nullable: (Just False,Just False)

getDOMHTMLDetailsElementOpen :: (MonadIO m, IsDOMHTMLDetailsElement o) => o -> m Bool
getDOMHTMLDetailsElementOpen obj = liftIO $ getObjectPropertyBool obj "open"

setDOMHTMLDetailsElementOpen :: (MonadIO m, IsDOMHTMLDetailsElement o) => o -> Bool -> m ()
setDOMHTMLDetailsElementOpen obj val = liftIO $ setObjectPropertyBool obj "open" val

constructDOMHTMLDetailsElementOpen :: (IsDOMHTMLDetailsElement o) => Bool -> IO (GValueConstruct o)
constructDOMHTMLDetailsElementOpen val = constructObjectPropertyBool "open" val

data DOMHTMLDetailsElementOpenPropertyInfo
instance AttrInfo DOMHTMLDetailsElementOpenPropertyInfo where
    type AttrAllowedOps DOMHTMLDetailsElementOpenPropertyInfo = '[ 'AttrSet, 'AttrConstruct, 'AttrGet]
    type AttrSetTypeConstraint DOMHTMLDetailsElementOpenPropertyInfo = (~) Bool
    type AttrBaseTypeConstraint DOMHTMLDetailsElementOpenPropertyInfo = IsDOMHTMLDetailsElement
    type AttrGetType DOMHTMLDetailsElementOpenPropertyInfo = Bool
    type AttrLabel DOMHTMLDetailsElementOpenPropertyInfo = "open"
    type AttrOrigin DOMHTMLDetailsElementOpenPropertyInfo = DOMHTMLDetailsElement
    attrGet _ = getDOMHTMLDetailsElementOpen
    attrSet _ = setDOMHTMLDetailsElementOpen
    attrConstruct _ = constructDOMHTMLDetailsElementOpen
    attrClear _ = undefined

instance O.HasAttributeList DOMHTMLDetailsElement
type instance O.AttributeList DOMHTMLDetailsElement = DOMHTMLDetailsElementAttributeList
type DOMHTMLDetailsElementAttributeList = ('[ '("accessKey", WebKit.DOMHTMLElement.DOMHTMLElementAccessKeyPropertyInfo), '("attributes", WebKit.DOMElement.DOMElementAttributesPropertyInfo), '("baseUri", WebKit.DOMNode.DOMNodeBaseUriPropertyInfo), '("childElementCount", WebKit.DOMElement.DOMElementChildElementCountPropertyInfo), '("childNodes", WebKit.DOMNode.DOMNodeChildNodesPropertyInfo), '("children", WebKit.DOMHTMLElement.DOMHTMLElementChildrenPropertyInfo), '("classList", WebKit.DOMElement.DOMElementClassListPropertyInfo), '("className", WebKit.DOMElement.DOMElementClassNamePropertyInfo), '("clientHeight", WebKit.DOMElement.DOMElementClientHeightPropertyInfo), '("clientLeft", WebKit.DOMElement.DOMElementClientLeftPropertyInfo), '("clientTop", WebKit.DOMElement.DOMElementClientTopPropertyInfo), '("clientWidth", WebKit.DOMElement.DOMElementClientWidthPropertyInfo), '("contentEditable", WebKit.DOMHTMLElement.DOMHTMLElementContentEditablePropertyInfo), '("coreObject", WebKit.DOMObject.DOMObjectCoreObjectPropertyInfo), '("dir", WebKit.DOMHTMLElement.DOMHTMLElementDirPropertyInfo), '("draggable", WebKit.DOMHTMLElement.DOMHTMLElementDraggablePropertyInfo), '("firstChild", WebKit.DOMNode.DOMNodeFirstChildPropertyInfo), '("firstElementChild", WebKit.DOMElement.DOMElementFirstElementChildPropertyInfo), '("hidden", WebKit.DOMHTMLElement.DOMHTMLElementHiddenPropertyInfo), '("id", WebKit.DOMElement.DOMElementIdPropertyInfo), '("innerHtml", WebKit.DOMHTMLElement.DOMHTMLElementInnerHtmlPropertyInfo), '("innerText", WebKit.DOMHTMLElement.DOMHTMLElementInnerTextPropertyInfo), '("isContentEditable", WebKit.DOMHTMLElement.DOMHTMLElementIsContentEditablePropertyInfo), '("lang", WebKit.DOMHTMLElement.DOMHTMLElementLangPropertyInfo), '("lastChild", WebKit.DOMNode.DOMNodeLastChildPropertyInfo), '("lastElementChild", WebKit.DOMElement.DOMElementLastElementChildPropertyInfo), '("localName", WebKit.DOMNode.DOMNodeLocalNamePropertyInfo), '("namespaceUri", WebKit.DOMNode.DOMNodeNamespaceUriPropertyInfo), '("nextElementSibling", WebKit.DOMElement.DOMElementNextElementSiblingPropertyInfo), '("nextSibling", WebKit.DOMNode.DOMNodeNextSiblingPropertyInfo), '("nodeName", WebKit.DOMNode.DOMNodeNodeNamePropertyInfo), '("nodeType", WebKit.DOMNode.DOMNodeNodeTypePropertyInfo), '("nodeValue", WebKit.DOMNode.DOMNodeNodeValuePropertyInfo), '("offsetHeight", WebKit.DOMElement.DOMElementOffsetHeightPropertyInfo), '("offsetLeft", WebKit.DOMElement.DOMElementOffsetLeftPropertyInfo), '("offsetParent", WebKit.DOMElement.DOMElementOffsetParentPropertyInfo), '("offsetTop", WebKit.DOMElement.DOMElementOffsetTopPropertyInfo), '("offsetWidth", WebKit.DOMElement.DOMElementOffsetWidthPropertyInfo), '("open", DOMHTMLDetailsElementOpenPropertyInfo), '("outerHtml", WebKit.DOMHTMLElement.DOMHTMLElementOuterHtmlPropertyInfo), '("outerText", WebKit.DOMHTMLElement.DOMHTMLElementOuterTextPropertyInfo), '("ownerDocument", WebKit.DOMNode.DOMNodeOwnerDocumentPropertyInfo), '("parentElement", WebKit.DOMNode.DOMNodeParentElementPropertyInfo), '("parentNode", WebKit.DOMNode.DOMNodeParentNodePropertyInfo), '("prefix", WebKit.DOMNode.DOMNodePrefixPropertyInfo), '("previousElementSibling", WebKit.DOMElement.DOMElementPreviousElementSiblingPropertyInfo), '("previousSibling", WebKit.DOMNode.DOMNodePreviousSiblingPropertyInfo), '("scrollHeight", WebKit.DOMElement.DOMElementScrollHeightPropertyInfo), '("scrollLeft", WebKit.DOMElement.DOMElementScrollLeftPropertyInfo), '("scrollTop", WebKit.DOMElement.DOMElementScrollTopPropertyInfo), '("scrollWidth", WebKit.DOMElement.DOMElementScrollWidthPropertyInfo), '("spellcheck", WebKit.DOMHTMLElement.DOMHTMLElementSpellcheckPropertyInfo), '("style", WebKit.DOMElement.DOMElementStylePropertyInfo), '("tabIndex", WebKit.DOMHTMLElement.DOMHTMLElementTabIndexPropertyInfo), '("tagName", WebKit.DOMElement.DOMElementTagNamePropertyInfo), '("textContent", WebKit.DOMNode.DOMNodeTextContentPropertyInfo), '("title", WebKit.DOMHTMLElement.DOMHTMLElementTitlePropertyInfo), '("translate", WebKit.DOMHTMLElement.DOMHTMLElementTranslatePropertyInfo), '("webkitRegionOverset", WebKit.DOMElement.DOMElementWebkitRegionOversetPropertyInfo), '("webkitdropzone", WebKit.DOMHTMLElement.DOMHTMLElementWebkitdropzonePropertyInfo)] :: [(Symbol, *)])

dOMHTMLDetailsElementOpen :: AttrLabelProxy "open"
dOMHTMLDetailsElementOpen = AttrLabelProxy

type instance O.SignalList DOMHTMLDetailsElement = DOMHTMLDetailsElementSignalList
type DOMHTMLDetailsElementSignalList = ('[ '("notify", GObject.Object.ObjectNotifySignalInfo)] :: [(Symbol, *)])

-- method DOMHTMLDetailsElement::get_open
-- method type : OrdinaryMethod
-- Args : [Arg {argCName = "self", argType = TInterface (Name {namespace = "WebKit", name = "DOMHTMLDetailsElement"}), direction = DirectionIn, mayBeNull = False, argDoc = Documentation {rawDocText = Just "A #WebKitDOMHTMLDetailsElement", sinceVersion = Nothing}, argScope = ScopeTypeInvalid, argClosure = -1, argDestroy = -1, argCallerAllocates = False, transfer = TransferNothing}]
-- Lengths : []
-- returnType : Just (TBasicType TBoolean)
-- throws : False
-- Skip return : False

foreign import ccall "webkit_dom_html_details_element_get_open" webkit_dom_html_details_element_get_open :: 
    Ptr DOMHTMLDetailsElement ->            -- self : TInterface (Name {namespace = "WebKit", name = "DOMHTMLDetailsElement"})
    IO CInt

{- |
/No description available in the introspection data./
-}
dOMHTMLDetailsElementGetOpen ::
    (B.CallStack.HasCallStack, MonadIO m, IsDOMHTMLDetailsElement a) =>
    a
    {- ^ /@self@/: A 'GI.WebKit.Objects.DOMHTMLDetailsElement.DOMHTMLDetailsElement' -}
    -> m Bool
    {- ^ __Returns:__ A 'Bool' -}
dOMHTMLDetailsElementGetOpen self = liftIO $ do
    self' <- unsafeManagedPtrCastPtr self
    result <- webkit_dom_html_details_element_get_open self'
    let result' = (/= 0) result
    touchManagedPtr self
    return result'

data DOMHTMLDetailsElementGetOpenMethodInfo
instance (signature ~ (m Bool), MonadIO m, IsDOMHTMLDetailsElement a) => O.MethodInfo DOMHTMLDetailsElementGetOpenMethodInfo a signature where
    overloadedMethod _ = dOMHTMLDetailsElementGetOpen

-- method DOMHTMLDetailsElement::set_open
-- method type : OrdinaryMethod
-- Args : [Arg {argCName = "self", argType = TInterface (Name {namespace = "WebKit", name = "DOMHTMLDetailsElement"}), direction = DirectionIn, mayBeNull = False, argDoc = Documentation {rawDocText = Just "A #WebKitDOMHTMLDetailsElement", sinceVersion = Nothing}, argScope = ScopeTypeInvalid, argClosure = -1, argDestroy = -1, argCallerAllocates = False, transfer = TransferNothing},Arg {argCName = "value", argType = TBasicType TBoolean, direction = DirectionIn, mayBeNull = False, argDoc = Documentation {rawDocText = Just "A #gboolean", sinceVersion = Nothing}, argScope = ScopeTypeInvalid, argClosure = -1, argDestroy = -1, argCallerAllocates = False, transfer = TransferNothing}]
-- Lengths : []
-- returnType : Nothing
-- throws : False
-- Skip return : False

foreign import ccall "webkit_dom_html_details_element_set_open" webkit_dom_html_details_element_set_open :: 
    Ptr DOMHTMLDetailsElement ->            -- self : TInterface (Name {namespace = "WebKit", name = "DOMHTMLDetailsElement"})
    CInt ->                                 -- value : TBasicType TBoolean
    IO ()

{- |
/No description available in the introspection data./
-}
dOMHTMLDetailsElementSetOpen ::
    (B.CallStack.HasCallStack, MonadIO m, IsDOMHTMLDetailsElement a) =>
    a
    {- ^ /@self@/: A 'GI.WebKit.Objects.DOMHTMLDetailsElement.DOMHTMLDetailsElement' -}
    -> Bool
    {- ^ /@value@/: A 'Bool' -}
    -> m ()
dOMHTMLDetailsElementSetOpen self value = liftIO $ do
    self' <- unsafeManagedPtrCastPtr self
    let value' = (fromIntegral . fromEnum) value
    webkit_dom_html_details_element_set_open self' value'
    touchManagedPtr self
    return ()

data DOMHTMLDetailsElementSetOpenMethodInfo
instance (signature ~ (Bool -> m ()), MonadIO m, IsDOMHTMLDetailsElement a) => O.MethodInfo DOMHTMLDetailsElementSetOpenMethodInfo a signature where
    overloadedMethod _ = dOMHTMLDetailsElementSetOpen