PushManagerAttribute.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.PushManagerAttribute
       (js_getPushManager, getPushManager, PushManagerAttribute(..), gTypePushManagerAttribute, IsPushManagerAttribute, toPushManagerAttribute)
       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 unsafe "(($1) => { return $1[\"pushManager\"]; })"
        js_getPushManager :: PushManagerAttribute -> IO PushManager
-- | <https://developer.mozilla.org/docs/Web/API/ServiceWorkerRegistration/pushManager MDN PushManagerAttribute.pushManager documentation>
getPushManager :: (MonadDOM m, IsPushManagerAttribute self) => self -> m PushManager
getPushManager self = liftDOM ((js_getPushManager ((Types.toPushManagerAttribute self))))