comparing 4e80d448e362af3dfc73e90b4f09c483118ddead and main on anil.recoil.org/ocaml-gpx

+32 -11

.tangled/workflows/build.yml

···

       5
        
       dependencies:

     

       6
        
         nixpkgs:

     

       7
        
           - shell

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       8
        
           - gcc

     

       9
       -
           - dune_3

     

       10
        
           - ocaml

     

       11
       -
           - ocamlpackages.xmlm

     

       12
       -
           - ocamlpackages.alcotest

     

       13
       -
           - ocamlpackages.eio

     

       14
       -
           - ocamlpackages.fmt

     

       15
       -
           - ocamlpackages.eio_main

     

       16
       -
           - ocamlpackages.ppx_expect

     

       17
       -
           - ocamlpackages.cmdliner

     

       18
       -
           - ocamlpackages.ptime

     

       19
        
       

     

       20
        
       steps:

     

       21
       -
         - name: dune

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       22
        
           command: |

     

       23
       -
              dune build

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0

···

       5
        
       dependencies:

     

       6
        
         nixpkgs:

     

       7
        
           - shell

     

       8
       +
           - stdenv

     

       9
       +
           - findutils

     

       10
       +
           - binutils

     

       11
       +
           - libunwind

     

       12
       +
           - ncurses

     

       13
       +
           - opam

     

       14
       +
           - git

     

       15
       +
           - gawk

     

       16
       +
           - gnupatch

     

       17
       +
           - gnum4

     

       18
       +
           - gnumake

     

       19
       +
           - gnutar

     

       20
       +
           - gnused

     

       21
       +
           - gnugrep

     

       22
       +
           - diffutils

     

       23
       +
           - gzip

     

       24
       +
           - bzip2

     

       25
        
           - gcc

     

       0
        
       
     

       26
        
           - ocaml

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       27
        
       

     

       28
        
       steps:

     

       29
       +
         - name: opam

     

       30
       +
           command: |

     

       31
       +
              opam init --disable-sandboxing -any

     

       32
       +
         - name: switch

     

       33
       +
           command: |

     

       34
       +
              opam install . --confirm-level=unsafe-yes --deps-only

     

       35
       +
         - name: build

     

       36
       +
           command: |

     

       37
       +
              opam exec -- dune build --verbose

     

       38
       +
         - name: test

     

       39
        
           command: |

     

       40
       +
              opam exec -- dune runtest --verbose

     

       41
       +
         - name: doc

     

       42
       +
           command: |

     

       43
       +
              opam install -y odoc

     

       44
       +
              opam exec -- dune build @doc

+1 -1

CHANGES.md

···

       1
       -
       # dev

     

       2
        
       

     

       3
        
       - Initial public release

···

       1
       +
       # v1.0.0

     

       2
        
       

     

       3
        
       - Initial public release

+2 -4

README.md

···

       14
        
       dune build @install

     

       15
        
       dune install

     

       16
        
       

     

       17
       -
       # Or use opam (when published)

     

       18
        
       opam install mlgpx

     

       19
        
       ```

     

       20
        
       

     
···

       63
        
       The library is split into four main components:

     

       64
        
       

     

       65
        
       ### Core Library (`gpx`)

     

       66
       -
       - **Portable**: No Unix dependencies, works with js_of_ocaml

     

       67
        
       - **Streaming**: Uses xmlm for memory-efficient XML processing

     

       68
        
       - **Type-safe**: Strong typing with validation for coordinates and GPS data

     

       69
        
       - **Pure functional**: No side effects in the core parsing/writing logic

     
···

       283
        
       

     

       284
        
       let () = create_simple_gpx ()

     

       285
        
       ```

     

       286
       -
       

     

       287
       -

···

       14
        
       dune build @install

     

       15
        
       dune install

     

       16
        
       

     

       17
       +
       # Or use opam

     

       18
        
       opam install mlgpx

     

       19
        
       ```

     

       20
        
       

     
···

       63
        
       The library is split into four main components:

     

       64
        
       

     

       65
        
       ### Core Library (`gpx`)

     

       66
       +
       - **Portable**: No Unix dependencies, works with `js_of_ocaml`

     

       67
        
       - **Streaming**: Uses xmlm for memory-efficient XML processing

     

       68
        
       - **Type-safe**: Strong typing with validation for coordinates and GPS data

     

       69
        
       - **Pure functional**: No side effects in the core parsing/writing logic

     
···

       283
        
       

     

       284
        
       let () = create_simple_gpx ()

     

       285
        
       ```

     

       0
        
       
     

       0

+1 -1

bin/dune

···

       1
        
       (executable

     

       2
        
        (public_name mlgpx)

     

       3
        
        (name mlgpx_cli)

     

       4
       -
        (libraries gpx gpx_eio cmdliner eio_main fmt fmt.tty fmt.cli))

···

       1
        
       (executable

     

       2
        
        (public_name mlgpx)

     

       3
        
        (name mlgpx_cli)

     

       4
       +
        (libraries gpx gpx_eio cmdliner eio_main fmt fmt.tty fmt.cli))

+5 -1

dune-project

···

       1
        
       (lang dune 3.18)

     

       2
        
       

     

       0
        
       
     

       0
        
       
     

       3
        
       (generate_opam_files true)

     

       4
        
       

     

       5
        
       (package

     

       6
        
        (name mlgpx)

     

       7
       -
        (depends ocaml dune xmlm ptime eio ppx_expect alcotest eio_main cmdliner fmt logs)

     

       8
        
        (synopsis "Library and CLI for parsing and generating GPS Exchange (GPX) formats")

     

       9
        
        (description

     

       10
        
         "mlgpx is a streaming GPX (GPS Exchange Format) library for OCaml. It provides a portable core library using the xmlm streaming XML parser, with a separate Unix layer for file I/O operations. The library supports the complete GPX 1.1 specification including waypoints, routes, tracks, and metadata with strong type safety and validation.")

     

       11
        
        (license ISC)

     

       12
        
        (authors "Anil Madhavapeddy")

     

       13
        
        (homepage "https://tangled.sh/@anil.recoil.org/ocaml-gpx")

     

       0
        
       
     

       0
        
       
     

       14
        
        (maintenance_intent "(latest)")

     

       15
        
       )

···

       1
        
       (lang dune 3.18)

     

       2
        
       

     

       3
       +
       (name mlgpx)

     

       4
       +
       

     

       5
        
       (generate_opam_files true)

     

       6
        
       

     

       7
        
       (package

     

       8
        
        (name mlgpx)

     

       9
       +
        (depends ocaml dune xmlm ptime (eio (>= 1.2)) ppx_expect alcotest eio_main cmdliner fmt logs)

     

       10
        
        (synopsis "Library and CLI for parsing and generating GPS Exchange (GPX) formats")

     

       11
        
        (description

     

       12
        
         "mlgpx is a streaming GPX (GPS Exchange Format) library for OCaml. It provides a portable core library using the xmlm streaming XML parser, with a separate Unix layer for file I/O operations. The library supports the complete GPX 1.1 specification including waypoints, routes, tracks, and metadata with strong type safety and validation.")

     

       13
        
        (license ISC)

     

       14
        
        (authors "Anil Madhavapeddy")

     

       15
        
        (homepage "https://tangled.sh/@anil.recoil.org/ocaml-gpx")

     

       16
       +
        (maintainers "Anil Madhavapeddy <anil@recoil.org>")

     

       17
       +
        (bug_reports https://tangled.sh/@anil.recoil.org/ocaml-gpx/issues)

     

       18
        
        (maintenance_intent "(latest)")

     

       19
        
       )

example_output.gpx

This is a binary file and will not be displayed.

+14 -1

lib/gpx/dune

···

       2
        
        (public_name mlgpx.core)

     

       3
        
        (name gpx)

     

       4
        
        (libraries xmlm ptime)

     

       5
       -
        (modules gpx parser writer validate coordinate link extension waypoint metadata route track error doc))
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0

···

       2
        
        (public_name mlgpx.core)

     

       3
        
        (name gpx)

     

       4
        
        (libraries xmlm ptime)

     

       5
       +
        (modules

     

       6
       +
         gpx

     

       7
       +
         parser

     

       8
       +
         writer

     

       9
       +
         validate

     

       10
       +
         coordinate

     

       11
       +
         link

     

       12
       +
         extension

     

       13
       +
         waypoint

     

       14
       +
         metadata

     

       15
       +
         route

     

       16
       +
         track

     

       17
       +
         error

     

       18
       +
         doc))

+2 -2

lib/gpx/gpx.mli

···

       499
        
           This core module provides the foundation. For complete applications, consider:

     

       500
        
           

     

       501
        
           - {!Gpx_unix}: File I/O operations using standard Unix libraries

     

       502
       -
           - [Gpx_eio]: Concurrent file I/O using the Eio effects library  

     

       503
        
           - {{:https://erratique.ch/software/xmlm}Xmlm}: Underlying XML processing library

     

       504
        
           - {{:https://erratique.ch/software/ptime}Ptime}: Time representation used for timestamps

     

       505
        
           

     
···

       508
        
           - {{:https://www.topografix.com/gpx.asp}Official GPX specification}

     

       509
        
           - {{:https://www.topografix.com/GPX/1/1/gpx.xsd}GPX 1.1 XML Schema}

     

       510
        
           - {{:https://en.wikipedia.org/wiki/GPS_Exchange_Format}GPX Format on Wikipedia}

     

       511
       -
           - {{:https://en.wikipedia.org/wiki/World_Geodetic_System}WGS84 Coordinate System} *)

···

       499
        
           This core module provides the foundation. For complete applications, consider:

     

       500
        
           

     

       501
        
           - {!Gpx_unix}: File I/O operations using standard Unix libraries

     

       502
       +
           - {!Gpx_eio}: Concurrent file I/O using the Eio effects library  

     

       503
        
           - {{:https://erratique.ch/software/xmlm}Xmlm}: Underlying XML processing library

     

       504
        
           - {{:https://erratique.ch/software/ptime}Ptime}: Time representation used for timestamps

     

       505
        
           

     
···

       508
        
           - {{:https://www.topografix.com/gpx.asp}Official GPX specification}

     

       509
        
           - {{:https://www.topografix.com/GPX/1/1/gpx.xsd}GPX 1.1 XML Schema}

     

       510
        
           - {{:https://en.wikipedia.org/wiki/GPS_Exchange_Format}GPX Format on Wikipedia}

     

       511
       +
           - {{:https://en.wikipedia.org/wiki/World_Geodetic_System}WGS84 Coordinate System} *)

+1 -1

lib/gpx_eio/dune

···

       2
        
        (public_name mlgpx.eio)

     

       3
        
        (name gpx_eio)

     

       4
        
        (libraries eio xmlm ptime gpx)

     

       5
       -
        (modules gpx_io gpx_eio))

···

       2
        
        (public_name mlgpx.eio)

     

       3
        
        (name gpx_eio)

     

       4
        
        (libraries eio xmlm ptime gpx)

     

       5
       +
        (modules gpx_io gpx_eio))

+6 -14

lib/gpx_eio/gpx_eio.ml

···

       1
       -
       (** High-level Eio API for GPX operations *)

     

       2
        
       

     

       3
       -
       (* I/O module *)

     

       4
        
       module IO = Gpx_io

     

       5
       -
       

     

       6
       -
       (** Convenience functions for common operations *)

     

       7
        
       

     

       8
        
       (** Read and parse GPX file *)

     

       9
        
       let read ?(validate=false) ~fs path = IO.read_file ~validate ~fs path

     
···

       20
        
       (** Write GPX to Eio sink *)

     

       21
        
       let to_sink ?(validate=false) sink gpx = IO.write_sink ~validate sink gpx

     

       22
        
       

     

       23
       -
       (** Create simple waypoint *)

     

       24
       -
       let make_waypoint ~fs:_ ~lat ~lon ?name ?desc () =

     

       25
       -
         match (Gpx.Coordinate.latitude lat, Gpx.Coordinate.longitude lon) with

     

       26
       -
         | (Ok lat, Ok lon) ->

     

       27
       -
           let wpt = Gpx.Waypoint.make lat lon in

     

       28
       -
           { wpt with name; desc }

     

       29
       -
         | (Error e, _) | (_, Error e) -> failwith ("Invalid coordinate: " ^ e)

     

       30
       -
       

     

       31
        
       (** Pretty print GPX statistics *)

     

       32
       -
       let print_stats gpx =

     

       33
       -
         Format.printf "%a@." Gpx.Doc.pp_stats gpx
     

       0
        
       
     

       0
        
       
     

       0

···

       1
       +
       (** Eio API for GPX operations *)

     

       2
        
       

     

       0
        
       
     

       3
        
       module IO = Gpx_io

     

       0
        
       
     

       0
        
       
     

       4
        
       

     

       5
        
       (** Read and parse GPX file *)

     

       6
        
       let read ?(validate=false) ~fs path = IO.read_file ~validate ~fs path

     
···

       17
        
       (** Write GPX to Eio sink *)

     

       18
        
       let to_sink ?(validate=false) sink gpx = IO.write_sink ~validate sink gpx

     

       19
        
       

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       20
        
       (** Pretty print GPX statistics *)

     

       21
       +
       let print_stats sink gpx =

     

       22
       +
         let buf = Buffer.create 256 in

     

       23
       +
         let fmt = Format.formatter_of_buffer buf in

     

       24
       +
         Format.fprintf fmt "%a@?" Gpx.Doc.pp_stats gpx;

     

       25
       +
         Eio.Flow.copy_string (Buffer.contents buf) sink

+11 -23

lib/gpx_eio/gpx_eio.mli

···

       1
       -
       (** {1 GPX Eio - High-level Eio API for GPX operations}

     

       2
        
       

     

       3
       -
           This module provides a high-level API for GPX operations using Eio's 

     

       4
        
           effects-based concurrent I/O system. It offers convenient functions

     

       5
        
           for common GPX operations while maintaining structured concurrency.

     

       6
        
       

     
···

       13
        
               let fs = Eio.Stdenv.fs env in

     

       14
        
               

     

       15
        
               (* Create a GPX document *)

     

       16
       -
               let lat = Gpx.latitude 37.7749 |> Result.get_ok in

     

       17
       -
               let lon = Gpx.longitude (-122.4194) |> Result.get_ok in

     

       18
       -
               let wpt = make_waypoint fs ~lat:(Gpx.latitude_to_float lat) ~lon:(Gpx.longitude_to_float lon) ~name:"San Francisco" () in

     

       19
       -
               let gpx = Gpx.make_gpx ~creator:"eio-example" in

     

       20
       -
               let gpx = { gpx with waypoints = [wpt] } in

     

       21
        
               

     

       22
        
               (* Write with validation *)

     

       23
        
               write ~validate:true fs "output.gpx" gpx;

     

       24
        
               

     

       25
        
               (* Read it back *)

     

       26
        
               let gpx2 = read ~validate:true fs "output.gpx" in

     

       27
       -
               Printf.printf "Read %d waypoints\n" (List.length gpx2.waypoints)

     

       28
        
       

     

       29
        
             let () = Eio_main.run main

     

       30
        
           ]}

     
···

       36
        
       

     

       37
        
       (** {2 Convenience File Operations}

     

       38
        
       

     

       39
       -
           These functions provide simple file I/O with the filesystem from [Eio.Stdenv.fs]. *)

     

       40
        
       

     

       41
        
       (** Read and parse GPX file.

     

       42
        
           @param fs Filesystem capability

     
···

       81
        
           @raises Gpx.Gpx_error on write failure *)

     

       82
        
       val to_sink : ?validate:bool -> [> Eio.Flow.sink_ty ] Eio.Resource.t -> Gpx.t -> unit

     

       83
        
       

     

       84
       -
       (** {2 Utility Functions} *)

     

       85
       -
       

     

       86
       -
       (** Create simple waypoint with coordinates.

     

       87
       -
           @param fs Filesystem capability (unused, for API consistency)

     

       88
       -
           @param lat Latitude in degrees

     

       89
       -
           @param lon Longitude in degrees  

     

       90
       -
           @param ?name Optional waypoint name

     

       91
       -
           @param ?desc Optional waypoint description

     

       92
       -
           @return Waypoint data

     

       93
       -
           @raises Gpx.Gpx_error on invalid coordinates *)

     

       94
       -
       val make_waypoint : fs:[> Eio.Fs.dir_ty ] Eio.Path.t -> lat:float -> lon:float -> ?name:string -> ?desc:string -> unit -> Gpx.Waypoint.t

     

       95
       -
       

     

       96
       -
       (** Print GPX statistics to stdout.

     

       97
        
           @param gpx GPX document *)

     

       98
       -
       val print_stats : Gpx.t -> unit

···

       1
       +
       (** {1 Eio API for GPX operations}

     

       2
        
       

     

       3
       +
           This module provides a direct-style API for GPX operations using Eio's 

     

       4
        
           effects-based concurrent I/O system. It offers convenient functions

     

       5
        
           for common GPX operations while maintaining structured concurrency.

     

       6
        
       

     
···

       13
        
               let fs = Eio.Stdenv.fs env in

     

       14
        
               

     

       15
        
               (* Create a GPX document *)

     

       16
       +
               let lat = Gpx.Coordinate.latitude 37.7749 |> Result.get_ok in

     

       17
       +
               let lon = Gpx.Coordinate.longitude (-122.4194) |> Result.get_ok in

     

       18
       +
               let wpt = Gpx.Waypoint.make lat lon |> Gpx.Waypoint.with_name "San Francisco" in

     

       19
       +
               let gpx = Gpx.make_gpx ~creator:"eio-example" |> Gpx.Doc.add_waypoint wpt in

     

       0
        
       
     

       20
        
               

     

       21
        
               (* Write with validation *)

     

       22
        
               write ~validate:true fs "output.gpx" gpx;

     

       23
        
               

     

       24
        
               (* Read it back *)

     

       25
        
               let gpx2 = read ~validate:true fs "output.gpx" in

     

       26
       +
               Printf.printf "Read %d waypoints\n" (List.length (Gpx.Doc.waypoints gpx2))

     

       27
        
       

     

       28
        
             let () = Eio_main.run main

     

       29
        
           ]}

     
···

       35
        
       

     

       36
        
       (** {2 Convenience File Operations}

     

       37
        
       

     

       38
       +
           These functions provide simple file I/O with the filesystem from {!Eio.Stdenv.fs}. *)

     

       39
        
       

     

       40
        
       (** Read and parse GPX file.

     

       41
        
           @param fs Filesystem capability

     
···

       80
        
           @raises Gpx.Gpx_error on write failure *)

     

       81
        
       val to_sink : ?validate:bool -> [> Eio.Flow.sink_ty ] Eio.Resource.t -> Gpx.t -> unit

     

       82
        
       

     

       83
       +
       (** Print GPX statistics to sink.

     

       84
       +
           @param sink Output sink

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       85
        
           @param gpx GPX document *)

     

       86
       +
       val print_stats : [> Eio.Flow.sink_ty ] Eio.Resource.t -> Gpx.t -> unit

+1 -3

lib/gpx_eio/gpx_io.ml

···

       1
        
       (** GPX Eio I/O operations *)

     

       2
        
       

     

       3
       -
       (* Real Eio-based I/O operations *)

     

       4
       -
       

     

       5
        
       (** Read GPX from file path *)

     

       6
        
       let read_file ?(validate=false) ~fs path =

     

       7
        
         let content = Eio.Path.load Eio.Path.(fs / path) in

     
···

       71
        
               Eio.Path.save ~create:(`Or_truncate 0o644) Eio.Path.(fs / path) backup_content

     

       72
        
             with _ -> () (* Ignore restore errors *)

     

       73
        
           );

     

       74
       -
           raise err

···

       1
        
       (** GPX Eio I/O operations *)

     

       2
        
       

     

       0
        
       
     

       0
        
       
     

       3
        
       (** Read GPX from file path *)

     

       4
        
       let read_file ?(validate=false) ~fs path =

     

       5
        
         let content = Eio.Path.load Eio.Path.(fs / path) in

     
···

       69
        
               Eio.Path.save ~create:(`Or_truncate 0o644) Eio.Path.(fs / path) backup_content

     

       70
        
             with _ -> () (* Ignore restore errors *)

     

       71
        
           );

     

       72
       +
           raise err

+1 -1

lib/gpx_unix/dune

···

       2
        
        (public_name mlgpx.unix)

     

       3
        
        (name gpx_unix)

     

       4
        
        (libraries unix xmlm ptime gpx)

     

       5
       -
        (modules gpx_io gpx_unix))

···

       2
        
        (public_name mlgpx.unix)

     

       3
        
        (name gpx_unix)

     

       4
        
        (libraries unix xmlm ptime gpx)

     

       5
       +
        (modules gpx_io gpx_unix))

+2 -26

lib/gpx_unix/gpx_unix.ml

···

       1
       -
       (** High-level Unix API for GPX operations *)

     

       2
        
       

     

       3
       -
       (* Re-export IO module *)

     

       4
        
       module IO = Gpx_io

     

       5
       -
       

     

       6
       -
       (* Re-export common types *)

     

       7
        
       open Gpx

     

       8
        
       

     

       9
        
       (** Convenience functions for common operations *)

     
···

       17
        
       (** Write GPX to file with backup *)

     

       18
        
       let write_with_backup = IO.write_file_with_backup

     

       19
        
       

     

       20
       -
       (** Convert GPX to string *)

     

       21
       -
       let to_string = write_string

     

       22
       -
       

     

       23
       -
       (** Parse GPX from string *)

     

       24
       -
       let from_string = parse_string

     

       25
       -
       

     

       26
       -
       (** Quick validation check *)

     

       27
       -
       let is_valid = is_valid

     

       28
       -
       

     

       29
       -
       (** Get validation issues *)

     

       30
       -
       let validate = validate_gpx

     

       31
       -
       

     

       32
       -
       (** Create simple waypoint *)

     

       33
       -
       let make_waypoint ~lat ~lon ?name ?desc () =

     

       34
       -
         match (Coordinate.latitude lat, Coordinate.longitude lon) with

     

       35
       -
         | (Ok lat, Ok lon) ->

     

       36
       -
           let wpt = Waypoint.make lat lon in

     

       37
       -
           let wpt = { wpt with name; desc } in

     

       38
       -
           Ok wpt

     

       39
       -
         | (Error e, _) | (_, Error e) -> Error (Gpx.Error.invalid_coordinate e)

     

       40
       -
       

     

       41
        
       (** Pretty print GPX statistics *)

     

       42
        
       let print_stats gpx =

     

       43
       -
         Format.printf "%a@." Doc.pp_stats gpx

···

       1
       +
       (** Unix API for GPX operations *)

     

       2
        
       

     

       0
        
       
     

       3
        
       module IO = Gpx_io

     

       0
        
       
     

       0
        
       
     

       4
        
       open Gpx

     

       5
        
       

     

       6
        
       (** Convenience functions for common operations *)

     
···

       14
        
       (** Write GPX to file with backup *)

     

       15
        
       let write_with_backup = IO.write_file_with_backup

     

       16
        
       

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       17
        
       (** Pretty print GPX statistics *)

     

       18
        
       let print_stats gpx =

     

       19
       +
         Format.printf "%a@." Doc.pp_stats gpx

+2 -23

lib/gpx_unix/gpx_unix.mli

···

       1
       -
       (** High-level Unix API for GPX operations *)

     

       2
        
       

     

       3
       -
       (* Re-export IO module *)

     

       4
       -
       module IO = Gpx_io

     

       5
       -
       

     

       6
       -
       (* Re-export common types *)

     

       7
        
       open Gpx

     

       8
        
       

     

       9
       -
       (** Convenience functions for common operations *)

     

       10
       -
       

     

       11
        
       (** Read and parse GPX file *)

     

       12
        
       val read : ?validate:bool -> string -> (t, error) result

     

       13
        
       

     
···

       17
        
       (** Write GPX to file with backup *)

     

       18
        
       val write_with_backup : ?validate:bool -> string -> t -> (string, error) result

     

       19
        
       

     

       20
       -
       (** Convert GPX to string *)

     

       21
       -
       val to_string : ?validate:bool -> t -> (string, error) result

     

       22
       -
       

     

       23
       -
       (** Parse GPX from string *)

     

       24
       -
       val from_string : ?validate:bool -> string -> (t, error) result

     

       25
       -
       

     

       26
       -
       (** Quick validation check *)

     

       27
       -
       val is_valid : t -> bool

     

       28
       -
       

     

       29
       -
       (** Get validation issues *)

     

       30
       -
       val validate : t -> validation_result

     

       31
       -
       

     

       32
       -
       (** Create simple waypoint *)

     

       33
       -
       val make_waypoint : lat:float -> lon:float -> ?name:string -> ?desc:string -> unit -> (Waypoint.t, error) result

     

       34
       -
       

     

       35
        
       (** Pretty print GPX statistics *)

     

       36
       -
       val print_stats : t -> unit

···

       1
       +
       (** Unix API for GPX operations *)

     

       2
        
       

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       3
        
       open Gpx

     

       4
        
       

     

       0
        
       
     

       0
        
       
     

       5
        
       (** Read and parse GPX file *)

     

       6
        
       val read : ?validate:bool -> string -> (t, error) result

     

       7
        
       

     
···

       11
        
       (** Write GPX to file with backup *)

     

       12
        
       val write_with_backup : ?validate:bool -> string -> t -> (string, error) result

     

       13
        
       

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       14
        
       (** Pretty print GPX statistics *)

     

       15
       +
       val print_stats : t -> unit

+4 -1

mlgpx.opam

···

       4
        
         "Library and CLI for parsing and generating GPS Exchange (GPX) formats"

     

       5
        
       description:

     

       6
        
         "mlgpx is a streaming GPX (GPS Exchange Format) library for OCaml. It provides a portable core library using the xmlm streaming XML parser, with a separate Unix layer for file I/O operations. The library supports the complete GPX 1.1 specification including waypoints, routes, tracks, and metadata with strong type safety and validation."

     

       0
        
       
     

       7
        
       authors: ["Anil Madhavapeddy"]

     

       8
        
       license: "ISC"

     

       9
        
       homepage: "https://tangled.sh/@anil.recoil.org/ocaml-gpx"

     

       0
        
       
     

       10
        
       depends: [

     

       11
        
         "ocaml"

     

       12
        
         "dune" {>= "3.18"}

     

       13
        
         "xmlm"

     

       14
        
         "ptime"

     

       15
       -
         "eio"

     

       16
        
         "ppx_expect"

     

       17
        
         "alcotest"

     

       18
        
         "eio_main"

     
···

       36
        
         ]

     

       37
        
       ]

     

       38
        
       x-maintenance-intent: ["(latest)"]

     

       0

···

       4
        
         "Library and CLI for parsing and generating GPS Exchange (GPX) formats"

     

       5
        
       description:

     

       6
        
         "mlgpx is a streaming GPX (GPS Exchange Format) library for OCaml. It provides a portable core library using the xmlm streaming XML parser, with a separate Unix layer for file I/O operations. The library supports the complete GPX 1.1 specification including waypoints, routes, tracks, and metadata with strong type safety and validation."

     

       7
       +
       maintainer: ["Anil Madhavapeddy <anil@recoil.org>"]

     

       8
        
       authors: ["Anil Madhavapeddy"]

     

       9
        
       license: "ISC"

     

       10
        
       homepage: "https://tangled.sh/@anil.recoil.org/ocaml-gpx"

     

       11
       +
       bug-reports: "https://tangled.sh/@anil.recoil.org/ocaml-gpx/issues"

     

       12
        
       depends: [

     

       13
        
         "ocaml"

     

       14
        
         "dune" {>= "3.18"}

     

       15
        
         "xmlm"

     

       16
        
         "ptime"

     

       17
       +
         "eio" {>= "1.2"}

     

       18
        
         "ppx_expect"

     

       19
        
         "alcotest"

     

       20
        
         "eio_main"

     
···

       38
        
         ]

     

       39
        
       ]

     

       40
        
       x-maintenance-intent: ["(latest)"]

     

       41
       +
       dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-gpx"

+1

mlgpx.opam.template

···

       0

···

       1
       +
       dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-gpx"

+5 -2

test/dune

···

       5
        
        (modules test_gpx))

     

       6
        
       

     

       7
        
       ;; ppx_expect inline tests

     

       0
        
       
     

       8
        
       (library

     

       9
        
        (name test_corpus)

     

       10
        
        (libraries gpx)

     

       11
        
        (inline_tests)

     

       12
       -
        (preprocess (pps ppx_expect))

     

       0
        
       
     

       13
        
        (modules test_corpus))

     

       14
        
       

     

       15
        
       ;; Alcotest suite for Unix and Eio comparison

     

       0
        
       
     

       16
        
       (executable

     

       17
        
        (public_name corpus_test)

     

       18
        
        (name test_corpus_unix_eio)

     

       19
        
        (libraries gpx gpx_unix gpx_eio alcotest eio_main)

     

       20
        
        (optional)

     

       21
       -
        (modules test_corpus_unix_eio))

···

       5
        
        (modules test_gpx))

     

       6
        
       

     

       7
        
       ;; ppx_expect inline tests

     

       8
       +
       

     

       9
        
       (library

     

       10
        
        (name test_corpus)

     

       11
        
        (libraries gpx)

     

       12
        
        (inline_tests)

     

       13
       +
        (preprocess

     

       14
       +
         (pps ppx_expect))

     

       15
        
        (modules test_corpus))

     

       16
        
       

     

       17
        
       ;; Alcotest suite for Unix and Eio comparison

     

       18
       +
       

     

       19
        
       (executable

     

       20
        
        (public_name corpus_test)

     

       21
        
        (name test_corpus_unix_eio)

     

       22
        
        (libraries gpx gpx_unix gpx_eio alcotest eio_main)

     

       23
        
        (optional)

     

       24
       +
        (modules test_corpus_unix_eio))

Compare changes