PushSubscriptionChangeEventInit.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.PushSubscriptionChangeEventInit
       (js_newPushSubscriptionChangeEventInit, js_setNewSubscription, js_getNewSubscription, js_setOldSubscription, js_getOldSubscription, newPushSubscriptionChangeEventInit, setNewSubscription, getNewSubscription, getNewSubscriptionUnsafe, getNewSubscriptionUnchecked, setOldSubscription, getOldSubscription, getOldSubscriptionUnsafe, getOldSubscriptionUnchecked, PushSubscriptionChangeEventInit(..), gTypePushSubscriptionChangeEventInit)
       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_newPushSubscriptionChangeEventInit :: IO PushSubscriptionChangeEventInit
-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionchangeeventinit PushSubscriptionChangeEventInit specification>
newPushSubscriptionChangeEventInit :: (MonadDOM m) => m PushSubscriptionChangeEventInit
newPushSubscriptionChangeEventInit = liftDOM ((js_newPushSubscriptionChangeEventInit))

foreign import javascript safe "(($1, $2) => { $1[\"newSubscription\"] = $2; })"
        js_setNewSubscription :: PushSubscriptionChangeEventInit -> PushSubscription -> IO ()
-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionchangeeventinit-newsubscription PushSubscriptionChangeEventInit.newSubscription specification>
setNewSubscription :: (MonadDOM m) => PushSubscriptionChangeEventInit -> PushSubscription -> m ()
setNewSubscription self val = liftDOM (void ((js_setNewSubscription (self) (val))))

foreign import javascript unsafe "(($1) => { return $1[\"newSubscription\"]; })"
        js_getNewSubscription :: PushSubscriptionChangeEventInit -> IO JSVal
-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionchangeeventinit-newsubscription PushSubscriptionChangeEventInit.newSubscription specification>
getNewSubscription :: (MonadDOM m) => PushSubscriptionChangeEventInit -> m (Maybe PushSubscription)
getNewSubscription self = liftDOM (((js_getNewSubscription (self)) >>= fromJSValUnchecked))

-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionchangeeventinit-newsubscription PushSubscriptionChangeEventInit.newSubscription specification>
getNewSubscriptionUnsafe :: (MonadDOM m, HasCallStack) => PushSubscriptionChangeEventInit -> m PushSubscription
getNewSubscriptionUnsafe self = liftDOM ((((js_getNewSubscription (self)) >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionchangeeventinit-newsubscription PushSubscriptionChangeEventInit.newSubscription specification>
getNewSubscriptionUnchecked :: (MonadDOM m) => PushSubscriptionChangeEventInit -> m PushSubscription
getNewSubscriptionUnchecked self = liftDOM ((pFromJSVal <$> (js_getNewSubscription (self))))

foreign import javascript safe "(($1, $2) => { $1[\"oldSubscription\"] = $2; })"
        js_setOldSubscription :: PushSubscriptionChangeEventInit -> PushSubscription -> IO ()
-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionchangeeventinit-oldsubscription PushSubscriptionChangeEventInit.oldSubscription specification>
setOldSubscription :: (MonadDOM m) => PushSubscriptionChangeEventInit -> PushSubscription -> m ()
setOldSubscription self val = liftDOM (void ((js_setOldSubscription (self) (val))))

foreign import javascript unsafe "(($1) => { return $1[\"oldSubscription\"]; })"
        js_getOldSubscription :: PushSubscriptionChangeEventInit -> IO JSVal
-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionchangeeventinit-oldsubscription PushSubscriptionChangeEventInit.oldSubscription specification>
getOldSubscription :: (MonadDOM m) => PushSubscriptionChangeEventInit -> m (Maybe PushSubscription)
getOldSubscription self = liftDOM (((js_getOldSubscription (self)) >>= fromJSValUnchecked))

-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionchangeeventinit-oldsubscription PushSubscriptionChangeEventInit.oldSubscription specification>
getOldSubscriptionUnsafe :: (MonadDOM m, HasCallStack) => PushSubscriptionChangeEventInit -> m PushSubscription
getOldSubscriptionUnsafe self = liftDOM ((((js_getOldSubscription (self)) >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionchangeeventinit-oldsubscription PushSubscriptionChangeEventInit.oldSubscription specification>
getOldSubscriptionUnchecked :: (MonadDOM m) => PushSubscriptionChangeEventInit -> m PushSubscription
getOldSubscriptionUnchecked self = liftDOM ((pFromJSVal <$> (js_getOldSubscription (self))))