NavigatorID.hs

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ImplicitParams, ConstraintKinds, KindSignatures #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
-- | Generated by dom-gen from html (webref). Do not edit.
module JSDOM.Generated.NavigatorID
       (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 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/Navigator/appCodeName MDN NavigatorID.appCodeName documentation>
getAppCodeName :: (MonadDOM m, IsNavigatorID self, FromJSString result) => self -> m result
getAppCodeName self = liftDOM ((((Types.toNavigatorID self) ^. js "appCodeName") >>= fromJSValUnchecked))

-- | <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 ((((Types.toNavigatorID self) ^. js "appName") >>= fromJSValUnchecked))

-- | <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 ((((Types.toNavigatorID self) ^. js "appVersion") >>= fromJSValUnchecked))

-- | <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 ((((Types.toNavigatorID self) ^. js "platform") >>= fromJSValUnchecked))

-- | <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 ((((Types.toNavigatorID self) ^. js "product") >>= fromJSValUnchecked))

-- | <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 ((((Types.toNavigatorID self) ^. js "productSub") >>= fromJSValUnchecked))

-- | <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 ((((Types.toNavigatorID self) ^. js "userAgent") >>= fromJSValUnchecked))

-- | <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 ((((Types.toNavigatorID self) ^. js "vendor") >>= fromJSValUnchecked))

-- | <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 ((((Types.toNavigatorID self) ^. js "vendorSub") >>= fromJSValUnchecked))