package depyt

  1. Overview
  2. No Docs
Yet-an-other type combinator library

Install

Dune Dependency

Authors

Maintainers

Sources

depyt-0.1.0.tbz
sha256=c075ddf0c33f9c68d5e117774d3e09fda1b48902a5523e3c1715668457a7ee4a
md5=723487f8e7ac3e3ff08d601e837875f7

Description

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.

Tags

org:mirage

Published: 28 Nov 2016

Dependencies (9)

  1. ocplib-endian >= "0.7"
  2. jsonm
  3. result
  4. fmt
  5. cstruct < "5.0.0"
  6. topkg build
  7. ocamlbuild build
  8. ocamlfind build
  9. ocaml >= "4.02.0" & < "4.08.0"

Dev Dependencies (1)

  1. alcotest with-test

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.