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.