https://github.com/eilvelia/ocaml-kdl
OCaml implementation of the KDL Document Language
https://github.com/eilvelia/ocaml-kdl
kdl
Last synced: about 1 month ago
JSON representation
OCaml implementation of the KDL Document Language
- Host: GitHub
- URL: https://github.com/eilvelia/ocaml-kdl
- Owner: eilvelia
- License: mpl-2.0
- Created: 2022-10-01T17:16:58.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2025-01-25T00:02:34.000Z (4 months ago)
- Last Synced: 2025-04-05T18:52:00.615Z (about 2 months ago)
- Topics: kdl
- Language: OCaml
- Homepage:
- Size: 347 KB
- Stars: 13
- Watchers: 1
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGES.md
- License: LICENSE
Awesome Lists containing this project
README
# ocaml-kdl [![CI][ci-badge]][ci-page] ![KDL][kdl-version-badge]
[ci-badge]: https://github.com/eilvelia/ocaml-kdl/actions/workflows/ci.yml/badge.svg
[ci-page]: https://github.com/eilvelia/ocaml-kdl/actions/workflows/ci.yml
[kdl-version-badge]: https://img.shields.io/badge/kdl-2.0.0-pink
OCaml implementation of the [KDL Document Language][kdl] v2.
[kdl]: https://kdl.dev/
```console
$ opam install kdl
```
## Features
- [x] Parsing
- [x] Pretty-printing
- [x] Lenses
- [ ] KDL Query Language (KQL)
- [ ] KDL Schema Language
- [ ] Formatting-preserving editing
## Usage
Example:
```ocaml
# let kdl = Kdl.of_string {|
contents {
section "First section" {
paragraph "This is the first paragraph"
paragraph "This is the second paragraph"
}
}
|}
val kdl : (Kdl.t, Kdl.error) result = Ok
[{Kdl.name = "contents"; annot = None; args = []; props = [];
children =
[{Kdl.name = "section"; annot = None;
args = [(None, `String "First section")]; props = [];
children =
[{Kdl.name = "paragraph"; annot = None;
args = [(None, `String "This is the first paragraph")]; props = [];
children = []};
{Kdl.name = "paragraph"; annot = None;
args = [(None, `String "This is the second paragraph")]; props = [];
children = []}]}]}]
```
Convert to a sexp-expression (uses the `sexplib0` library):
```ocaml
# Kdl.sexp_of_t kdl |> Sexplib0.Sexp.to_string_hum |> print_endline
(contents
(children
(section (string "First section")
(children (paragraph (string "This is the first paragraph"))
(paragraph (string "This is the second paragraph"))))))
```
Pretty-print the KDL document back:
```ocaml
# Kdl.to_string kdl |> print_endline
contents {
section "First section" {
paragraph "This is the first paragraph"
paragraph "This is the second paragraph"
}
}
```
Similar to [to.ml][], ocaml-kdl provides lenses. The lenses can be composed
using `//` or `|--`:
[to.ml]: https://github.com/ocaml-toml/To.ml
```ocaml
# let open Kdl.L in
kdl.@(top // child "section" // child_nth 1 // first_arg // string_value)
- : string option = Some "This is the second paragraph"
```
Additionaly, type-annotated values can be "interpreted":
```ocaml
# let parsed = Kdl.of_string_exn "- (u8)220"
# Kdl.interpret Kdl.L.(parsed.@!(node "-" // first_arg))
- : [> Kdl.typed_value ] = `U8 220
```
For the full list of available functions, see the [mli][] file.
[mli]: src/kdl.mli