ghcjs-dom-javascript-0.10.0.0: src/GHCJS/DOM/JSFFI/Generated/CloseEventInit.hs
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ForeignFunctionInterface, JavaScriptFFI #-}
{-# LANGUAGE ImplicitParams, ConstraintKinds, KindSignatures #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
-- | Generated by dom-gen from websockets (webref). Do not edit.
module GHCJS.DOM.JSFFI.Generated.CloseEventInit
(js_newCloseEventInit, js_setWasClean, js_getWasClean, js_setCode, js_getCode, js_setReason, js_getReason, newCloseEventInit, setWasClean, getWasClean, getWasCleanUnsafe, getWasCleanUnchecked, setCode, getCode, getCodeUnsafe, getCodeUnchecked, setReason, getReason, getReasonUnsafe, getReasonUnchecked, CloseEventInit(..), gTypeCloseEventInit)
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 "(() => { return ({}); })"
js_newCloseEventInit :: IO CloseEventInit
-- | <https://websockets.spec.whatwg.org/#dictdef-closeeventinit CloseEventInit specification>
newCloseEventInit :: (MonadDOM m) => m CloseEventInit
newCloseEventInit = liftDOM ((js_newCloseEventInit))
foreign import javascript safe "(($1, $2) => { $1[\"wasClean\"] = $2; })"
js_setWasClean :: CloseEventInit -> Bool -> IO ()
-- | <https://websockets.spec.whatwg.org/#dom-closeeventinit-wasclean CloseEventInit.wasClean specification>
setWasClean :: (MonadDOM m) => CloseEventInit -> Bool -> m ()
setWasClean self val = liftDOM (void ((js_setWasClean (self) (val))))
foreign import javascript unsafe "(($1) => { return $1[\"wasClean\"]; })"
js_getWasClean :: CloseEventInit -> IO JSVal
-- | <https://websockets.spec.whatwg.org/#dom-closeeventinit-wasclean CloseEventInit.wasClean specification>
getWasClean :: (MonadDOM m) => CloseEventInit -> m (Maybe Bool)
getWasClean self = liftDOM (((js_getWasClean (self)) >>= fromJSValUnchecked))
-- | <https://websockets.spec.whatwg.org/#dom-closeeventinit-wasclean CloseEventInit.wasClean specification>
getWasCleanUnsafe :: (MonadDOM m, HasCallStack) => CloseEventInit -> m Bool
getWasCleanUnsafe self = liftDOM ((((js_getWasClean (self)) >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))
-- | <https://websockets.spec.whatwg.org/#dom-closeeventinit-wasclean CloseEventInit.wasClean specification>
getWasCleanUnchecked :: (MonadDOM m) => CloseEventInit -> m Bool
getWasCleanUnchecked self = liftDOM ((pFromJSVal <$> (js_getWasClean (self))))
foreign import javascript safe "(($1, $2) => { $1[\"code\"] = $2; })"
js_setCode :: CloseEventInit -> Word -> IO ()
-- | <https://websockets.spec.whatwg.org/#dom-closeeventinit-code CloseEventInit.code specification>
setCode :: (MonadDOM m) => CloseEventInit -> Word -> m ()
setCode self val = liftDOM (void ((js_setCode (self) (val))))
foreign import javascript unsafe "(($1) => { return $1[\"code\"]; })"
js_getCode :: CloseEventInit -> IO JSVal
-- | <https://websockets.spec.whatwg.org/#dom-closeeventinit-code CloseEventInit.code specification>
getCode :: (MonadDOM m) => CloseEventInit -> m (Maybe Word)
getCode self = liftDOM (((js_getCode (self)) >>= fromJSValUnchecked))
-- | <https://websockets.spec.whatwg.org/#dom-closeeventinit-code CloseEventInit.code specification>
getCodeUnsafe :: (MonadDOM m, HasCallStack) => CloseEventInit -> m Word
getCodeUnsafe self = liftDOM ((((js_getCode (self)) >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))
-- | <https://websockets.spec.whatwg.org/#dom-closeeventinit-code CloseEventInit.code specification>
getCodeUnchecked :: (MonadDOM m) => CloseEventInit -> m Word
getCodeUnchecked self = liftDOM ((pFromJSVal <$> (js_getCode (self))))
foreign import javascript safe "(($1, $2) => { $1[\"reason\"] = $2; })"
js_setReason :: CloseEventInit -> JSString -> IO ()
-- | <https://websockets.spec.whatwg.org/#dom-closeeventinit-reason CloseEventInit.reason specification>
setReason :: (MonadDOM m, ToJSString val) => CloseEventInit -> val -> m ()
setReason self val = liftDOM (void ((js_setReason (self) (toJSString val))))
foreign import javascript unsafe "(($1) => { return $1[\"reason\"]; })"
js_getReason :: CloseEventInit -> IO JSVal
-- | <https://websockets.spec.whatwg.org/#dom-closeeventinit-reason CloseEventInit.reason specification>
getReason :: (MonadDOM m, FromJSString result) => CloseEventInit -> m (Maybe result)
getReason self = liftDOM (((fromMaybeJSString . Nullable) <$> (js_getReason (self))))
-- | <https://websockets.spec.whatwg.org/#dom-closeeventinit-reason CloseEventInit.reason specification>
getReasonUnsafe :: (MonadDOM m, HasCallStack, FromJSString result) => CloseEventInit -> m result
getReasonUnsafe self = liftDOM ((((fromMaybeJSString . Nullable) <$> (js_getReason (self))) >>= P.maybe (P.error "Nothing to return") P.return))
-- | <https://websockets.spec.whatwg.org/#dom-closeeventinit-reason CloseEventInit.reason specification>
getReasonUnchecked :: (MonadDOM m, FromJSString result) => CloseEventInit -> m result
getReasonUnchecked self = liftDOM ((pFromJSVal <$> (js_getReason (self))))