GeolocationPositionError.hs

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ForeignFunctionInterface, JavaScriptFFI #-}
{-# LANGUAGE ImplicitParams, ConstraintKinds, KindSignatures #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
-- | Generated by dom-gen from geolocation (webref). Do not edit.
module GHCJS.DOM.JSFFI.Generated.GeolocationPositionError
       (js_getCode, js_getMessage, 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 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[\"code\"]; })"
        js_getCode :: GeolocationPositionError -> IO Word
-- | <https://developer.mozilla.org/docs/Web/API/GeolocationPositionError/code MDN GeolocationPositionError.code documentation>
getCode :: (MonadDOM m) => GeolocationPositionError -> m Word
getCode self = liftDOM ((js_getCode (self)))

foreign import javascript unsafe "(($1) => { return $1[\"message\"]; })"
        js_getMessage :: GeolocationPositionError -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/GeolocationPositionError/message MDN GeolocationPositionError.message documentation>
getMessage :: (MonadDOM m, FromJSString result) => GeolocationPositionError -> m result
getMessage self = liftDOM ((fromJSString <$> (js_getMessage (self))))

pattern PERMISSION_DENIED = 1

pattern POSITION_UNAVAILABLE = 2

pattern TIMEOUT = 3