PushManager.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.PushManager
       (js_getSubscription, js_permissionState, js_subscribe, js_getSupportedContentEncodingsStatic, getSubscription, getSubscription_, getSubscriptionUnsafe, getSubscriptionUnchecked, permissionState, permissionState_, subscribe, subscribe_, getSupportedContentEncodingsStatic, PushManager(..), gTypePushManager)
       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 interruptible "(($1, $c) => { return $1[\"getSubscription\"]().then(function(s) { $c(null, s);}, function(e) { $c(e, null);}); })"
        js_getSubscription :: PushManager -> IO (JSVal, JSVal)
-- | <https://developer.mozilla.org/docs/Web/API/PushManager/getSubscription MDN PushManager.getSubscription documentation>
getSubscription :: (MonadDOM m) => PushManager -> m (Maybe PushSubscription)
getSubscription self = liftDOM ((((js_getSubscription (self)) >>= checkPromiseResult) >>= fromJSValUnchecked))

-- | <https://developer.mozilla.org/docs/Web/API/PushManager/getSubscription MDN PushManager.getSubscription documentation>
getSubscription_ :: (MonadDOM m) => PushManager -> m ()
getSubscription_ self = liftDOM (void (((js_getSubscription (self)) >>= checkPromiseResult)))

-- | <https://developer.mozilla.org/docs/Web/API/PushManager/getSubscription MDN PushManager.getSubscription documentation>
getSubscriptionUnsafe :: (MonadDOM m, HasCallStack) => PushManager -> m PushSubscription
getSubscriptionUnsafe self = liftDOM (((((js_getSubscription (self)) >>= checkPromiseResult) >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://developer.mozilla.org/docs/Web/API/PushManager/getSubscription MDN PushManager.getSubscription documentation>
getSubscriptionUnchecked :: (MonadDOM m) => PushManager -> m PushSubscription
getSubscriptionUnchecked self = liftDOM ((pFromJSVal <$> ((js_getSubscription (self)) >>= checkPromiseResult)))

foreign import javascript interruptible "(($1, $2, $c) => { return $1[\"permissionState\"]($2).then(function(s) { $c(null, s);}, function(e) { $c(e, null);}); })"
        js_permissionState :: PushManager -> JSVal -> IO (JSVal, JSVal)
-- | <https://developer.mozilla.org/docs/Web/API/PushManager/permissionState MDN PushManager.permissionState documentation>
permissionState :: (MonadDOM m) => PushManager -> Maybe PushSubscriptionOptionsInit -> m PermissionState
permissionState self options = liftDOM (((((P.maybe (P.return jsUndefined) toJSVal options) >>= \a2' -> js_permissionState (self) a2') >>= checkPromiseResult) >>= fromJSValUnchecked))

-- | <https://developer.mozilla.org/docs/Web/API/PushManager/permissionState MDN PushManager.permissionState documentation>
permissionState_ :: (MonadDOM m) => PushManager -> Maybe PushSubscriptionOptionsInit -> m ()
permissionState_ self options = liftDOM (void ((((P.maybe (P.return jsUndefined) toJSVal options) >>= \a2' -> js_permissionState (self) a2') >>= checkPromiseResult)))

foreign import javascript interruptible "(($1, $2, $c) => { return $1[\"subscribe\"]($2).then(function(s) { $c(null, s);}, function(e) { $c(e, null);}); })"
        js_subscribe :: PushManager -> JSVal -> IO (JSVal, PushSubscription)
-- | <https://developer.mozilla.org/docs/Web/API/PushManager/subscribe MDN PushManager.subscribe documentation>
subscribe :: (MonadDOM m) => PushManager -> Maybe PushSubscriptionOptionsInit -> m PushSubscription
subscribe self options = liftDOM ((((P.maybe (P.return jsUndefined) toJSVal options) >>= \a2' -> js_subscribe (self) a2') >>= checkPromiseResult))

-- | <https://developer.mozilla.org/docs/Web/API/PushManager/subscribe MDN PushManager.subscribe documentation>
subscribe_ :: (MonadDOM m) => PushManager -> Maybe PushSubscriptionOptionsInit -> m ()
subscribe_ self options = liftDOM (void ((((P.maybe (P.return jsUndefined) toJSVal options) >>= \a2' -> js_subscribe (self) a2') >>= checkPromiseResult)))

foreign import javascript unsafe "(() => { return globalThis[\"PushManager\"][\"supportedContentEncodings\"]; })"
        js_getSupportedContentEncodingsStatic :: IO JSVal
-- | <https://developer.mozilla.org/docs/Web/API/PushManager/supportedContentEncodings_static MDN PushManager.supportedContentEncodings documentation>
getSupportedContentEncodingsStatic :: (MonadDOM m, FromJSString result) => m [result]
getSupportedContentEncodingsStatic = liftDOM (((js_getSupportedContentEncodingsStatic) >>= fromJSValUnchecked))