ghcjs-dom-javascript-0.10.0.0: src/GHCJS/DOM/JSFFI/Generated/NavigatorID.hs

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ForeignFunctionInterface, JavaScriptFFI #-}
{-# LANGUAGE ImplicitParams, ConstraintKinds, KindSignatures #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
-- | Generated by dom-gen from html (webref). Do not edit.
module GHCJS.DOM.JSFFI.Generated.NavigatorID
       (js_getAppCodeName, js_getAppName, js_getAppVersion, js_getPlatform, js_getProduct, js_getProductSub, js_getUserAgent, js_getVendor, js_getVendorSub, getAppCodeName, getAppName, getAppVersion, getPlatform, getProduct, getProductSub, getUserAgent, getVendor, getVendorSub, NavigatorID(..), gTypeNavigatorID, IsNavigatorID, toNavigatorID)
       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[\"appCodeName\"]; })"
        js_getAppCodeName :: NavigatorID -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/Navigator/appCodeName MDN NavigatorID.appCodeName documentation>
getAppCodeName :: (MonadDOM m, IsNavigatorID self, FromJSString result) => self -> m result
getAppCodeName self = liftDOM ((fromJSString <$> (js_getAppCodeName ((Types.toNavigatorID self)))))

foreign import javascript unsafe "(($1) => { return $1[\"appName\"]; })"
        js_getAppName :: NavigatorID -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/Navigator/appName MDN NavigatorID.appName documentation>
getAppName :: (MonadDOM m, IsNavigatorID self, FromJSString result) => self -> m result
getAppName self = liftDOM ((fromJSString <$> (js_getAppName ((Types.toNavigatorID self)))))

foreign import javascript unsafe "(($1) => { return $1[\"appVersion\"]; })"
        js_getAppVersion :: NavigatorID -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/Navigator/appVersion MDN NavigatorID.appVersion documentation>
getAppVersion :: (MonadDOM m, IsNavigatorID self, FromJSString result) => self -> m result
getAppVersion self = liftDOM ((fromJSString <$> (js_getAppVersion ((Types.toNavigatorID self)))))

foreign import javascript unsafe "(($1) => { return $1[\"platform\"]; })"
        js_getPlatform :: NavigatorID -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/Navigator/platform MDN NavigatorID.platform documentation>
getPlatform :: (MonadDOM m, IsNavigatorID self, FromJSString result) => self -> m result
getPlatform self = liftDOM ((fromJSString <$> (js_getPlatform ((Types.toNavigatorID self)))))

foreign import javascript unsafe "(($1) => { return $1[\"product\"]; })"
        js_getProduct :: NavigatorID -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/Navigator/product MDN NavigatorID.product documentation>
getProduct :: (MonadDOM m, IsNavigatorID self, FromJSString result) => self -> m result
getProduct self = liftDOM ((fromJSString <$> (js_getProduct ((Types.toNavigatorID self)))))

foreign import javascript unsafe "(($1) => { return $1[\"productSub\"]; })"
        js_getProductSub :: NavigatorID -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/Navigator/productSub MDN NavigatorID.productSub documentation>
getProductSub :: (MonadDOM m, IsNavigatorID self, FromJSString result) => self -> m result
getProductSub self = liftDOM ((fromJSString <$> (js_getProductSub ((Types.toNavigatorID self)))))

foreign import javascript unsafe "(($1) => { return $1[\"userAgent\"]; })"
        js_getUserAgent :: NavigatorID -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/Navigator/userAgent MDN NavigatorID.userAgent documentation>
getUserAgent :: (MonadDOM m, IsNavigatorID self, FromJSString result) => self -> m result
getUserAgent self = liftDOM ((fromJSString <$> (js_getUserAgent ((Types.toNavigatorID self)))))

foreign import javascript unsafe "(($1) => { return $1[\"vendor\"]; })"
        js_getVendor :: NavigatorID -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/Navigator/vendor MDN NavigatorID.vendor documentation>
getVendor :: (MonadDOM m, IsNavigatorID self, FromJSString result) => self -> m result
getVendor self = liftDOM ((fromJSString <$> (js_getVendor ((Types.toNavigatorID self)))))

foreign import javascript unsafe "(($1) => { return $1[\"vendorSub\"]; })"
        js_getVendorSub :: NavigatorID -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/Navigator/vendorSub MDN NavigatorID.vendorSub documentation>
getVendorSub :: (MonadDOM m, IsNavigatorID self, FromJSString result) => self -> m result
getVendorSub self = liftDOM ((fromJSString <$> (js_getVendorSub ((Types.toNavigatorID self)))))