package mlgpx
Library and CLI for parsing and generating GPS Exchange (GPX) formats
Install
dune-project
Dependency
Authors
Maintainers
Sources
mlgpx-1.0.0.tbz
md5=5342bb7e601273245a9fe263e5a08770
sha512=cd73b16e988b3ed3cc427a6c6c6d6c9c745adb1eb7efaae3c34e8d006e9c03d9f9d2616cd4118564bd9873903969d3e4053b585e79dbd3e3e7d0f541e2faac83
doc/mlgpx.core/Gpx/Error/index.html
Module Gpx.Error
Source
Error handling
The Error
module provides comprehensive error handling for GPX operations:
- XML parsing and validation errors
- Coordinate validation errors
- Missing required elements or attributes
- File I/O errors
Error types and exception handling for GPX operations
Source
type t =
| Invalid_xml of string
(*XML parsing/structure error
*)| Invalid_coordinate of string
(*Coordinate validation error
*)| Missing_required_attribute of string * string
(*Missing XML attribute (element, attr)
*)| Missing_required_element of string
(*Missing XML element
*)| Validation_error of string
(*GPX validation error
*)| Xml_error of string
(*Lower-level XML error
*)| IO_error of string
(*File I/O error
*)
Main error type
Error Operations
Pretty print error
Error Constructors
Result Helpers
Convert string result to error result
Error Classification
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page