GeolocationPositionError.hs

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ImplicitParams, ConstraintKinds, KindSignatures #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
-- | Generated by dom-gen from geolocation (webref). Do not edit.
module JSDOM.Generated.GeolocationPositionError
       (getCode, getMessage, pattern PERMISSION_DENIED, pattern POSITION_UNAVAILABLE, pattern TIMEOUT, GeolocationPositionError(..), gTypeGeolocationPositionError)
       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/GeolocationPositionError/code MDN GeolocationPositionError.code documentation>
getCode :: (MonadDOM m) => GeolocationPositionError -> m Word
getCode self = liftDOM ((P.round <$> ((self ^. js "code") >>= valToNumber)))

-- | <https://developer.mozilla.org/docs/Web/API/GeolocationPositionError/message MDN GeolocationPositionError.message documentation>
getMessage :: (MonadDOM m, FromJSString result) => GeolocationPositionError -> m result
getMessage self = liftDOM (((self ^. js "message") >>= fromJSValUnchecked))

pattern PERMISSION_DENIED = 1

pattern POSITION_UNAVAILABLE = 2

pattern TIMEOUT = 3