Module Geolocation

module Geolocation : sig..end

Geolocation API

A code example:

if (Geolocation.is_supported()) then
    let geo = Geolocation.geolocation in
    let options = Geolocation.empty_position_options() in
    let () = options##.enableHighAccuracy := true in
    let f_success pos =
      let coords = pos##.coords in
      let latitude = coords##.latitude in
      Firebug.console##debug latitude ;
    in
    let f_error err =
      let code = err##.code in
      let msg = err##.message in
      if code = err##._TIMEOUT then Firebug.console##debug(msg)
    in
    geo##getCurrentPosition (Js.wrap_callback f_success) (Js.wrap_callback f_error) options

See also


type positionErrorCode
type watchId
class type coordinates = object..end
class type position = object..end
class type positionOptions = object..end
class type positionError = object..end
class type geolocation = object..end
val empty_position_options : unit -> positionOptions Js.t
val geolocation : geolocation Js.t
val is_supported : unit -> bool