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/Extension/index.html
Module Gpx.Extension
Source
Extension mechanism for custom GPX elements
The Extension
module provides support for custom XML elements that extend the standard GPX format. Extensions allow applications to embed additional data while maintaining compatibility with standard GPX readers.
Extension mechanism for custom GPX elements
Source
type t = {
namespace : string option;
(*Optional XML namespace
*)name : string;
(*Element name
*)attributes : (string * string) list;
(*Element attributes
*)content : content;
(*Element content
*)
}
Main extension type
Content types for extensions
Extension Constructors
Source
val make :
?namespace:string ->
name:string ->
attributes:(string * string) list ->
content:content ->
unit ->
t
Create extension with flexible content
Source
val make_text :
name:string ->
?namespace:string ->
?attributes:(string * string) list ->
string ->
t
Create an extension with text content
Source
val make_elements :
name:string ->
?namespace:string ->
?attributes:(string * string) list ->
t list ->
t
Create an extension with element content
Source
val make_mixed :
name:string ->
?namespace:string ->
?attributes:(string * string) list ->
string ->
t list ->
t
Create an extension with mixed content
Extension Operations
Pretty print extension
Content Operations
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page