PushSubscriptionOptionsInit.hs

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ForeignFunctionInterface, JavaScriptFFI #-}
{-# LANGUAGE ImplicitParams, ConstraintKinds, KindSignatures #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
-- | Generated by dom-gen from push-api (webref). Do not edit.
module GHCJS.DOM.JSFFI.Generated.PushSubscriptionOptionsInit
       (js_newPushSubscriptionOptionsInit, js_setUserVisibleOnly, js_getUserVisibleOnly, js_setApplicationServerKey, js_getApplicationServerKey, newPushSubscriptionOptionsInit, setUserVisibleOnly, getUserVisibleOnly, getUserVisibleOnlyUnsafe, getUserVisibleOnlyUnchecked, setApplicationServerKey, getApplicationServerKey, getApplicationServerKeyUnsafe, getApplicationServerKeyUnchecked, PushSubscriptionOptionsInit(..), gTypePushSubscriptionOptionsInit)
       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_newPushSubscriptionOptionsInit :: IO PushSubscriptionOptionsInit
-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionoptionsinit PushSubscriptionOptionsInit specification>
newPushSubscriptionOptionsInit :: (MonadDOM m) => m PushSubscriptionOptionsInit
newPushSubscriptionOptionsInit = liftDOM ((js_newPushSubscriptionOptionsInit))

foreign import javascript safe "(($1, $2) => { $1[\"userVisibleOnly\"] = $2; })"
        js_setUserVisibleOnly :: PushSubscriptionOptionsInit -> Bool -> IO ()
-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionoptionsinit-uservisibleonly PushSubscriptionOptionsInit.userVisibleOnly specification>
setUserVisibleOnly :: (MonadDOM m) => PushSubscriptionOptionsInit -> Bool -> m ()
setUserVisibleOnly self val = liftDOM (void ((js_setUserVisibleOnly (self) (val))))

foreign import javascript unsafe "(($1) => { return $1[\"userVisibleOnly\"]; })"
        js_getUserVisibleOnly :: PushSubscriptionOptionsInit -> IO JSVal
-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionoptionsinit-uservisibleonly PushSubscriptionOptionsInit.userVisibleOnly specification>
getUserVisibleOnly :: (MonadDOM m) => PushSubscriptionOptionsInit -> m (Maybe Bool)
getUserVisibleOnly self = liftDOM (((js_getUserVisibleOnly (self)) >>= fromJSValUnchecked))

-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionoptionsinit-uservisibleonly PushSubscriptionOptionsInit.userVisibleOnly specification>
getUserVisibleOnlyUnsafe :: (MonadDOM m, HasCallStack) => PushSubscriptionOptionsInit -> m Bool
getUserVisibleOnlyUnsafe self = liftDOM ((((js_getUserVisibleOnly (self)) >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionoptionsinit-uservisibleonly PushSubscriptionOptionsInit.userVisibleOnly specification>
getUserVisibleOnlyUnchecked :: (MonadDOM m) => PushSubscriptionOptionsInit -> m Bool
getUserVisibleOnlyUnchecked self = liftDOM ((pFromJSVal <$> (js_getUserVisibleOnly (self))))

foreign import javascript safe "(($1, $2) => { $1[\"applicationServerKey\"] = $2; })"
        js_setApplicationServerKey :: PushSubscriptionOptionsInit -> JSVal -> IO ()
-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionoptionsinit-applicationserverkey PushSubscriptionOptionsInit.applicationServerKey specification>
setApplicationServerKey :: (MonadDOM m, IsPushMessageDataInit val) => PushSubscriptionOptionsInit -> Maybe val -> m ()
setApplicationServerKey self val = liftDOM (void (((toJSVal val) >>= \a2' -> js_setApplicationServerKey (self) a2')))

foreign import javascript unsafe "(($1) => { return $1[\"applicationServerKey\"]; })"
        js_getApplicationServerKey :: PushSubscriptionOptionsInit -> IO JSVal
-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionoptionsinit-applicationserverkey PushSubscriptionOptionsInit.applicationServerKey specification>
getApplicationServerKey :: (MonadDOM m) => PushSubscriptionOptionsInit -> m (Maybe PushMessageDataInit)
getApplicationServerKey self = liftDOM (((js_getApplicationServerKey (self)) >>= fromJSValUnchecked))

-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionoptionsinit-applicationserverkey PushSubscriptionOptionsInit.applicationServerKey specification>
getApplicationServerKeyUnsafe :: (MonadDOM m, HasCallStack) => PushSubscriptionOptionsInit -> m PushMessageDataInit
getApplicationServerKeyUnsafe self = liftDOM ((((js_getApplicationServerKey (self)) >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionoptionsinit-applicationserverkey PushSubscriptionOptionsInit.applicationServerKey specification>
getApplicationServerKeyUnchecked :: (MonadDOM m) => PushSubscriptionOptionsInit -> m PushMessageDataInit
getApplicationServerKeyUnchecked self = liftDOM ((pFromJSVal <$> (js_getApplicationServerKey (self))))