···
+
synopsis: "Yet-an-other type combinator library"
+
Depyt provides type combinators to define runtime representation for
+
OCaml types and generic operations to manipulate values with a runtime
+
The type combinators supports all the usual type primitives but also
+
compact definitions of records and variants. It also allows to define
+
the runtime representation of recursive types.
+
Depyt is a modern reboot of
+
[Dyntype](https://github.com/mirage/dyntype) but using
+
[GADT](https://en.wikipedia.org/wiki/Generalized_algebraic_data_type)s-based
+
combinators instead of syntax-extensions. When we originally wrote
+
Dyntype (in 2012) GADTs were not available in OCaml and
+
[camlp4](https://github.com/ocaml/camlp4) was everywhere -- this is
+
not the case anymore. Finally, Depyt avoids some of the performance
+
caveats present in Dyntype by avoiding allocating and converting
+
between intermediate formats.
+
maintainer: "Thomas Gazagnaire <thomas@gazagnaire.org>"
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
+
homepage: "https://github.com/samoht/depyt"
+
dev-repo: "git+https://github.com/samoht/depyt.git"
+
bug-reports: "https://github.com/samoht/depyt/issues"
+
doc: "https://samoht.github.io/depyt/doc"
+
["dune" "build" "-p" name "-j" jobs]
+
run-test: ["dune" "runtest" "-p" name "-j" jobs]
+
"ocplib-endian" {>= "0.7"}
+
"https://github.com/samoht/depyt/releases/download/0.3.0/depyt-0.3.0.tbz"
+
"sha256=61dab6ed22949133f3f7763e66d357cf8bdc97fa4b4efc2642fd3bd8d7c0d478"
+
"sha512=4c420471d658f9fbe7157e65784e7528a496561facdab618a8d8c89e98e1e91999348fc65592e6b3fe8bd11ecb93f5c719fa1a747b6ab71dbda13176585eb629"
+
x-commit-hash: "58dc17c37159a266dc677dfff3176c9ab7218504"