geolocation

Types

GeolocationPosition

pub type GeolocationPosition {
  GeolocationPosition(
    latitude: Float,
    longitude: Float,
    altitude: Option(Float),
    accuracy: Float,
    altitude_accuracy: Option(Float),
    heading: Option(Float),
    speed: Option(Float),
    timestamp: Float,
  )
}

Constructors

GeolocationPosition(
  latitude: Float,
  longitude: Float,
  altitude: Option(Float),
  accuracy: Float,
  altitude_accuracy: Option(Float),
  heading: Option(Float),
  speed: Option(Float),
  timestamp: Float,
)

JSGeolocationPosition

</>

pub type JSGeolocationPosition

JSGeolocationPositionError

</>

pub type JSGeolocationPositionError

Functions

current_position

</>

pub fn current_position() -> Promise(
  Result(GeolocationPosition, String),
)

decode

</>

pub fn decode(
  raw: Dynamic,
) -> Result(GeolocationPosition, List(DecodeError))

get_current_position

</>

pub fn get_current_position(
  success: fn(JSGeolocationPosition) -> Nil,
  error: fn(JSGeolocationPositionError) -> Nil,
) -> Nil