ghcjs-dom-javascript-0.10.0.0: src/GHCJS/DOM/JSFFI/Generated/HTMLTimeElement.hs

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ForeignFunctionInterface, JavaScriptFFI #-}
{-# LANGUAGE ImplicitParams, ConstraintKinds, KindSignatures #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
-- | Generated by dom-gen from html (webref). Do not edit.
module GHCJS.DOM.JSFFI.Generated.HTMLTimeElement
       (js_setDateTime, js_getDateTime, setDateTime, getDateTime, HTMLTimeElement(..), gTypeHTMLTimeElement)
       where
import Prelude ((.), (==), (>>=), (<$>), (++), Bool(..), Maybe(..), IO, Int, Word, Double, Float)
import qualified Prelude as P
import Control.Monad (void)
import GHCJS.Types (JSVal, JSString)
import GHCJS.Foreign (jsUndefined, jsNull)
import GHCJS.DOM.Types
import qualified GHCJS.DOM.Types as Types
import GHCJS.DOM.EventTargetClosures (EventName, unsafeEventName, unsafeEventNameAsync)
import GHCJS.DOM.JSFFI.Generated.Enums

foreign import javascript safe "(($1, $2) => { $1[\"dateTime\"] = $2; })"
        js_setDateTime :: HTMLTimeElement -> JSString -> IO ()
-- | <https://developer.mozilla.org/docs/Web/API/HTMLTimeElement/dateTime MDN HTMLTimeElement.dateTime documentation>
setDateTime :: (MonadDOM m, ToJSString val) => HTMLTimeElement -> val -> m ()
setDateTime self val = liftDOM (void ((js_setDateTime (self) (toJSString val))))

foreign import javascript unsafe "(($1) => { return $1[\"dateTime\"]; })"
        js_getDateTime :: HTMLTimeElement -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/HTMLTimeElement/dateTime MDN HTMLTimeElement.dateTime documentation>
getDateTime :: (MonadDOM m, FromJSString result) => HTMLTimeElement -> m result
getDateTime self = liftDOM ((fromJSString <$> (js_getDateTime (self))))