GeolocationPosition.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.GeolocationPosition
       (js_toJSON, js_getCoords, js_getTimestamp, toJSON, toJSON_, getCoords, getTimestamp, GeolocationPosition(..), gTypeGeolocationPosition)
       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 "(($1) => { return $1[\"toJSON\"](); })"
        js_toJSON :: GeolocationPosition -> IO GObject
-- | <https://developer.mozilla.org/docs/Web/API/GeolocationPosition/toJSON MDN GeolocationPosition.toJSON documentation>
toJSON :: (MonadDOM m) => GeolocationPosition -> m GObject
toJSON self = liftDOM ((js_toJSON (self)))

-- | <https://developer.mozilla.org/docs/Web/API/GeolocationPosition/toJSON MDN GeolocationPosition.toJSON documentation>
toJSON_ :: (MonadDOM m) => GeolocationPosition -> m ()
toJSON_ self = liftDOM (void ((js_toJSON (self))))

foreign import javascript unsafe "(($1) => { return $1[\"coords\"]; })"
        js_getCoords :: GeolocationPosition -> IO GeolocationCoordinates
-- | <https://developer.mozilla.org/docs/Web/API/GeolocationPosition/coords MDN GeolocationPosition.coords documentation>
getCoords :: (MonadDOM m) => GeolocationPosition -> m GeolocationCoordinates
getCoords self = liftDOM ((js_getCoords (self)))

foreign import javascript unsafe "(($1) => { return $1[\"timestamp\"]; })"
        js_getTimestamp :: GeolocationPosition -> IO JSVal
-- | <https://developer.mozilla.org/docs/Web/API/GeolocationPosition/timestamp MDN GeolocationPosition.timestamp documentation>
getTimestamp :: (MonadDOM m) => GeolocationPosition -> m Word53
getTimestamp self = liftDOM (((js_getTimestamp (self)) >>= fromJSValUnchecked))