depyt

Author Thomas Gazagnaire <thomas@gazagnaire.org>
License ISC
Homepage https://github.com/samoht/depyt
Issue Tracker https://github.com/samoht/depyt/issues
Tag org:mirage
Maintainer Thomas Gazagnaire <thomas@gazagnaire.org>
Dependencies
& alcotest
cstruct
fmt
jsonm
ocamlbuild
ocamlfind
ocplib-endian >= 0.7
result
topkg
Available ocaml-version >= "4.02.0"
Published Nov 28, 2016
Source [http] http://github.com/samoht/depyt/releases/download/0.1.0/depyt-0.1.0.tbz
723487f8e7ac3e3ff08d601e837875f7
Statistics Installed 14 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/depyt/depyt.0.1.0/opam

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 type representation.

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 but using GADTs-based combinators instead of syntax-extensions. When we originally wrote Dyntype (in 2012) GADTs were not available in OCaml and 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.

No package is dependent