GeolocationAPI
Types
geolocation
An object able to programmatically obtain the position of the device. It gives Web content access to the location of the device. This allows a Web site or app to offer customized results based on the user's location.See Geolocation on MDN
typegeolocation= {}Module
There are methods and helpers defined in Geolocation.
geolocationCoordinates
typegeolocationCoordinates= {accuracy:float,latitude:float,longitude:float,altitude:Null.t<float>,altitudeAccuracy:Null.t<float>,heading:Null.t<float>,speed:Null.t<float>,}Record fields
Module
There are methods and helpers defined in GeolocationCoordinates.
geolocationPosition
typegeolocationPosition= {coords:geolocationCoordinates,timestamp:int,}Record fields
Module
There are methods and helpers defined in GeolocationPosition.
geolocationPositionError
typegeolocationPositionError= {code:int,message:string}Record fields
positionCallback
typepositionCallback=geolocationPosition=>unitpositionErrorCallback
typepositionErrorCallback=geolocationPositionError=>unitpositionOptions
typepositionOptions= {mutableenableHighAccuracy?:bool,mutabletimeout?:int,mutablemaximumAge?:int,}Record fields
enableHighAccuracy
option< bool >
timeout
option< int >
maximumAge
option< int >