package mlgpx
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
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.eio/Gpx_eio/IO/index.html
Module Gpx_eio.IOSource
GPX Eio I/O operations
This module provides GPX I/O operations using Eio's effects-based concurrent I/O system. All operations are structured concurrency compatible and work with Eio's resource management.
File Operations
Read GPX from file path.
Source
val write_file :
?validate:bool ->
fs:[> Eio.Fs.dir_ty ] Eio.Path.t ->
string ->
Gpx.t ->
unitWrite GPX to file path.
Stream Operations
Read/write GPX from/to Eio flows.
Read GPX from Eio source.
Write GPX to Eio sink.
Utility Functions
Check if file exists.
Get file size.
Create backup of existing file.
Source
val write_file_with_backup :
?validate:bool ->
fs:[> Eio.Fs.dir_ty ] Eio.Path.t ->
string ->
Gpx.t ->
stringWrite GPX to file with automatic backup. Creates a backup of existing file before writing new content.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page