{-# LANGUAGE CPP #-}
#if (defined(ghcjs_HOST_OS) && defined(USE_JAVASCRIPTFFI)) || !defined(USE_WEBKIT)
{-# LANGUAGE ForeignFunctionInterface, JavaScriptFFI #-}
module GHCJS.DOM.HTMLDetailsElement
       (ghcjs_dom_html_details_element_set_open,
        htmlDetailsElementSetOpen, ghcjs_dom_html_details_element_get_open,
        htmlDetailsElementGetOpen, HTMLDetailsElement,
        IsHTMLDetailsElement, castToHTMLDetailsElement,
        gTypeHTMLDetailsElement, toHTMLDetailsElement)
       where
import GHCJS.Types
import GHCJS.Foreign
import Data.Word
import GHCJS.DOM.Types
import Control.Applicative ((<$>))
import GHCJS.DOM.EventM
import GHCJS.Types
import GHCJS.Foreign
import Data.Word
import GHCJS.DOM.Types
import Control.Applicative ((<$>))
import GHCJS.DOM.EventM



#ifdef ghcjs_HOST_OS 
foreign import javascript unsafe "$1[\"open\"] = $2;"
        ghcjs_dom_html_details_element_set_open ::
        JSRef HTMLDetailsElement -> Bool -> IO ()
#else 
ghcjs_dom_html_details_element_set_open ::
                                          JSRef HTMLDetailsElement -> Bool -> IO ()
ghcjs_dom_html_details_element_set_open = undefined
#endif
 
htmlDetailsElementSetOpen ::
                          (IsHTMLDetailsElement self) => self -> Bool -> IO ()
htmlDetailsElementSetOpen self val
  = ghcjs_dom_html_details_element_set_open
      (unHTMLDetailsElement (toHTMLDetailsElement self))
      val


#ifdef ghcjs_HOST_OS 
foreign import javascript unsafe "($1[\"open\"] ? 1 : 0)"
        ghcjs_dom_html_details_element_get_open ::
        JSRef HTMLDetailsElement -> IO Bool
#else 
ghcjs_dom_html_details_element_get_open ::
                                          JSRef HTMLDetailsElement -> IO Bool
ghcjs_dom_html_details_element_get_open = undefined
#endif
 
htmlDetailsElementGetOpen ::
                          (IsHTMLDetailsElement self) => self -> IO Bool
htmlDetailsElementGetOpen self
  = ghcjs_dom_html_details_element_get_open
      (unHTMLDetailsElement (toHTMLDetailsElement self))
#else
module GHCJS.DOM.HTMLDetailsElement (
  module Graphics.UI.Gtk.WebKit.DOM.HTMLDetailsElement
  ) where
import Graphics.UI.Gtk.WebKit.DOM.HTMLDetailsElement
#endif