Geolocation.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.Geolocation
       (clearWatch, getCurrentPosition, watchPosition, watchPosition_, Geolocation(..), gTypeGeolocation)
       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/Geolocation/clearWatch MDN Geolocation.clearWatch documentation>
clearWatch :: (MonadDOM m) => Geolocation -> Int -> m ()
clearWatch self watchId = liftDOM (void (self ^. jsf "clearWatch" [toJSVal watchId]))

-- | <https://developer.mozilla.org/docs/Web/API/Geolocation/getCurrentPosition MDN Geolocation.getCurrentPosition documentation>
getCurrentPosition :: (MonadDOM m) => Geolocation -> PositionCallback -> Maybe PositionErrorCallback -> Maybe PositionOptions -> m ()
getCurrentPosition self successCallback errorCallback options = liftDOM (void (self ^. jsf "getCurrentPosition" [toJSVal successCallback, toJSVal errorCallback, P.maybe (P.return jsUndefined) toJSVal options]))

-- | <https://developer.mozilla.org/docs/Web/API/Geolocation/watchPosition MDN Geolocation.watchPosition documentation>
watchPosition :: (MonadDOM m) => Geolocation -> PositionCallback -> Maybe PositionErrorCallback -> Maybe PositionOptions -> m Int
watchPosition self successCallback errorCallback options = liftDOM ((P.round <$> ((self ^. jsf "watchPosition" [toJSVal successCallback, toJSVal errorCallback, P.maybe (P.return jsUndefined) toJSVal options]) >>= valToNumber)))

-- | <https://developer.mozilla.org/docs/Web/API/Geolocation/watchPosition MDN Geolocation.watchPosition documentation>
watchPosition_ :: (MonadDOM m) => Geolocation -> PositionCallback -> Maybe PositionErrorCallback -> Maybe PositionOptions -> m ()
watchPosition_ self successCallback errorCallback options = liftDOM (void (self ^. jsf "watchPosition" [toJSVal successCallback, toJSVal errorCallback, P.maybe (P.return jsUndefined) toJSVal options]))