PushSubscriptionJSON.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.PushSubscriptionJSON
       (js_newPushSubscriptionJSON, js_setEndpoint, js_getEndpoint, js_setExpirationTime, js_getExpirationTime, js_setKeys, js_getKeys, newPushSubscriptionJSON, setEndpoint, getEndpoint, getEndpointUnsafe, getEndpointUnchecked, setExpirationTime, getExpirationTime, getExpirationTimeUnsafe, getExpirationTimeUnchecked, setKeys, getKeys, getKeysUnsafe, getKeysUnchecked, PushSubscriptionJSON(..), gTypePushSubscriptionJSON)
       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_newPushSubscriptionJSON :: IO PushSubscriptionJSON
-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionjson PushSubscriptionJSON specification>
newPushSubscriptionJSON :: (MonadDOM m) => m PushSubscriptionJSON
newPushSubscriptionJSON = liftDOM ((js_newPushSubscriptionJSON))

foreign import javascript safe "(($1, $2) => { $1[\"endpoint\"] = $2; })"
        js_setEndpoint :: PushSubscriptionJSON -> JSString -> IO ()
-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionjson-endpoint PushSubscriptionJSON.endpoint specification>
setEndpoint :: (MonadDOM m, ToJSString val) => PushSubscriptionJSON -> val -> m ()
setEndpoint self val = liftDOM (void ((js_setEndpoint (self) (toJSString val))))

foreign import javascript unsafe "(($1) => { return $1[\"endpoint\"]; })"
        js_getEndpoint :: PushSubscriptionJSON -> IO JSVal
-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionjson-endpoint PushSubscriptionJSON.endpoint specification>
getEndpoint :: (MonadDOM m, FromJSString result) => PushSubscriptionJSON -> m (Maybe result)
getEndpoint self = liftDOM (((fromMaybeJSString . Nullable) <$> (js_getEndpoint (self))))

-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionjson-endpoint PushSubscriptionJSON.endpoint specification>
getEndpointUnsafe :: (MonadDOM m, HasCallStack, FromJSString result) => PushSubscriptionJSON -> m result
getEndpointUnsafe self = liftDOM ((((fromMaybeJSString . Nullable) <$> (js_getEndpoint (self))) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionjson-endpoint PushSubscriptionJSON.endpoint specification>
getEndpointUnchecked :: (MonadDOM m, FromJSString result) => PushSubscriptionJSON -> m result
getEndpointUnchecked self = liftDOM ((pFromJSVal <$> (js_getEndpoint (self))))

foreign import javascript safe "(($1, $2) => { $1[\"expirationTime\"] = $2; })"
        js_setExpirationTime :: PushSubscriptionJSON -> JSVal -> IO ()
-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionjson-expirationtime PushSubscriptionJSON.expirationTime specification>
setExpirationTime :: (MonadDOM m) => PushSubscriptionJSON -> Maybe Word53 -> m ()
setExpirationTime self val = liftDOM (void (((toJSVal val) >>= \a2' -> js_setExpirationTime (self) a2')))

foreign import javascript unsafe "(($1) => { return $1[\"expirationTime\"]; })"
        js_getExpirationTime :: PushSubscriptionJSON -> IO JSVal
-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionjson-expirationtime PushSubscriptionJSON.expirationTime specification>
getExpirationTime :: (MonadDOM m) => PushSubscriptionJSON -> m (Maybe Word53)
getExpirationTime self = liftDOM (((js_getExpirationTime (self)) >>= fromJSValUnchecked))

-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionjson-expirationtime PushSubscriptionJSON.expirationTime specification>
getExpirationTimeUnsafe :: (MonadDOM m, HasCallStack) => PushSubscriptionJSON -> m Word53
getExpirationTimeUnsafe self = liftDOM ((((js_getExpirationTime (self)) >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionjson-expirationtime PushSubscriptionJSON.expirationTime specification>
getExpirationTimeUnchecked :: (MonadDOM m) => PushSubscriptionJSON -> m Word53
getExpirationTimeUnchecked self = liftDOM ((pFromJSVal <$> (js_getExpirationTime (self))))

foreign import javascript safe "(($1, $2) => { $1[\"keys\"] = $2; })"
        js_setKeys :: PushSubscriptionJSON -> PushSubscriptionKeys -> IO ()
-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionjson-keys PushSubscriptionJSON.keys specification>
setKeys :: (MonadDOM m) => PushSubscriptionJSON -> PushSubscriptionKeys -> m ()
setKeys self val = liftDOM (void ((js_setKeys (self) (val))))

foreign import javascript unsafe "(($1) => { return $1[\"keys\"]; })"
        js_getKeys :: PushSubscriptionJSON -> IO JSVal
-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionjson-keys PushSubscriptionJSON.keys specification>
getKeys :: (MonadDOM m) => PushSubscriptionJSON -> m (Maybe PushSubscriptionKeys)
getKeys self = liftDOM (((js_getKeys (self)) >>= fromJSValUnchecked))

-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionjson-keys PushSubscriptionJSON.keys specification>
getKeysUnsafe :: (MonadDOM m, HasCallStack) => PushSubscriptionJSON -> m PushSubscriptionKeys
getKeysUnsafe self = liftDOM ((((js_getKeys (self)) >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://w3c.github.io/push-api/#dom-pushsubscriptionjson-keys PushSubscriptionJSON.keys specification>
getKeysUnchecked :: (MonadDOM m) => PushSubscriptionJSON -> m PushSubscriptionKeys
getKeysUnchecked self = liftDOM ((pFromJSVal <$> (js_getKeys (self))))