PushManagerAttribute.hs

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ImplicitParams, ConstraintKinds, KindSignatures #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
-- | Generated by dom-gen from push-api (webref). Do not edit.
module JSDOM.Generated.PushManagerAttribute
       (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 Control.Lens.Operators ((^.))
import Language.Javascript.JSaddle (JSM, JSVal, JSString, toJSVal, valToBool, valToNumber, js, jss, jsf, jsg, new, function, asyncFunction, jsUndefined, jsNull)
import JSDOM.Types
import qualified JSDOM.Types as Types
import JSDOM.EventTargetClosures (EventName, unsafeEventName, unsafeEventNameAsync)
import JSDOM.Generated.Enums

-- | <https://developer.mozilla.org/docs/Web/API/ServiceWorkerRegistration/pushManager MDN PushManagerAttribute.pushManager documentation>
getPushManager :: (MonadDOM m, IsPushManagerAttribute self) => self -> m PushManager
getPushManager self = liftDOM ((((Types.toPushManagerAttribute self) ^. js "pushManager") >>= fromJSValUnchecked))