ghcjs-dom-javascript-0.10.0.0: src/GHCJS/DOM/JSFFI/Generated/PushSubscription.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.PushSubscription
       (js_getKey, js_toJSON, js_unsubscribe, js_getEndpoint, js_getExpirationTime, js_getOptions, getKey, getKey_, getKeyUnsafe, getKeyUnchecked, toJSON, toJSON_, unsubscribe, unsubscribe_, getEndpoint, getExpirationTime, getExpirationTimeUnsafe, getExpirationTimeUnchecked, getOptions, PushSubscription(..), gTypePushSubscription)
       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) => { return $1[\"getKey\"]($2); })"
        js_getKey :: PushSubscription -> JSVal -> IO JSVal
-- | <https://developer.mozilla.org/docs/Web/API/PushSubscription/getKey MDN PushSubscription.getKey documentation>
getKey :: (MonadDOM m) => PushSubscription -> PushEncryptionKeyName -> m (Maybe ArrayBuffer)
getKey self name = liftDOM ((((toJSVal name) >>= \a2' -> js_getKey (self) a2') >>= fromJSValUnchecked))

-- | <https://developer.mozilla.org/docs/Web/API/PushSubscription/getKey MDN PushSubscription.getKey documentation>
getKey_ :: (MonadDOM m) => PushSubscription -> PushEncryptionKeyName -> m ()
getKey_ self name = liftDOM (void (((toJSVal name) >>= \a2' -> js_getKey (self) a2')))

-- | <https://developer.mozilla.org/docs/Web/API/PushSubscription/getKey MDN PushSubscription.getKey documentation>
getKeyUnsafe :: (MonadDOM m, HasCallStack) => PushSubscription -> PushEncryptionKeyName -> m ArrayBuffer
getKeyUnsafe self name = liftDOM (((((toJSVal name) >>= \a2' -> js_getKey (self) a2') >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://developer.mozilla.org/docs/Web/API/PushSubscription/getKey MDN PushSubscription.getKey documentation>
getKeyUnchecked :: (MonadDOM m) => PushSubscription -> PushEncryptionKeyName -> m ArrayBuffer
getKeyUnchecked self name = liftDOM ((pFromJSVal <$> ((toJSVal name) >>= \a2' -> js_getKey (self) a2')))

foreign import javascript safe "(($1) => { return $1[\"toJSON\"](); })"
        js_toJSON :: PushSubscription -> IO PushSubscriptionJSON
-- | <https://developer.mozilla.org/docs/Web/API/PushSubscription/toJSON MDN PushSubscription.toJSON documentation>
toJSON :: (MonadDOM m) => PushSubscription -> m PushSubscriptionJSON
toJSON self = liftDOM ((js_toJSON (self)))

-- | <https://developer.mozilla.org/docs/Web/API/PushSubscription/toJSON MDN PushSubscription.toJSON documentation>
toJSON_ :: (MonadDOM m) => PushSubscription -> m ()
toJSON_ self = liftDOM (void ((js_toJSON (self))))

foreign import javascript interruptible "(($1, $c) => { return $1[\"unsubscribe\"]().then(function(s) { $c(null, s);}, function(e) { $c(e, null);}); })"
        js_unsubscribe :: PushSubscription -> IO (JSVal, Bool)
-- | <https://developer.mozilla.org/docs/Web/API/PushSubscription/unsubscribe MDN PushSubscription.unsubscribe documentation>
unsubscribe :: (MonadDOM m) => PushSubscription -> m Bool
unsubscribe self = liftDOM (((js_unsubscribe (self)) >>= checkPromiseResult))

-- | <https://developer.mozilla.org/docs/Web/API/PushSubscription/unsubscribe MDN PushSubscription.unsubscribe documentation>
unsubscribe_ :: (MonadDOM m) => PushSubscription -> m ()
unsubscribe_ self = liftDOM (void (((js_unsubscribe (self)) >>= checkPromiseResult)))

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

foreign import javascript unsafe "(($1) => { return $1[\"expirationTime\"]; })"
        js_getExpirationTime :: PushSubscription -> IO JSVal
-- | <https://developer.mozilla.org/docs/Web/API/PushSubscription/expirationTime MDN PushSubscription.expirationTime documentation>
getExpirationTime :: (MonadDOM m) => PushSubscription -> m (Maybe Word53)
getExpirationTime self = liftDOM (((js_getExpirationTime (self)) >>= fromJSValUnchecked))

-- | <https://developer.mozilla.org/docs/Web/API/PushSubscription/expirationTime MDN PushSubscription.expirationTime documentation>
getExpirationTimeUnsafe :: (MonadDOM m, HasCallStack) => PushSubscription -> m Word53
getExpirationTimeUnsafe self = liftDOM ((((js_getExpirationTime (self)) >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://developer.mozilla.org/docs/Web/API/PushSubscription/expirationTime MDN PushSubscription.expirationTime documentation>
getExpirationTimeUnchecked :: (MonadDOM m) => PushSubscription -> m Word53
getExpirationTimeUnchecked self = liftDOM ((pFromJSVal <$> (js_getExpirationTime (self))))

foreign import javascript unsafe "(($1) => { return $1[\"options\"]; })"
        js_getOptions :: PushSubscription -> IO PushSubscriptionOptions
-- | <https://developer.mozilla.org/docs/Web/API/PushSubscription/options MDN PushSubscription.options documentation>
getOptions :: (MonadDOM m) => PushSubscription -> m PushSubscriptionOptions
getOptions self = liftDOM ((js_getOptions (self)))