package brr

  1. Overview
  2. Docs
On This Page
  1. Codes
  2. Errors
package brr
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Geolocation.ErrorSource

Position errors.

Codes

Sourcetype code = int

The type for error code values.

Sourceval permission_denied : code
Sourceval position_unavailable : code
Sourceval timeout : code

Errors

Sourcetype t

The type for GelocationPositionError objects.

Sourceval code : t -> code

code e is the error code of e.

Sourceval message : t -> Jstr.t

message e is a human readable error message. For programmers, not for end users.