Typegist represents the essence of OCaml types as values. This dynamic type representation can be used to devise generic type-indexed functions – value printers, parsers, differs, generators, editors, ffi etc.
The following manuals are available:
typegist
This library has the type gist definition as an extension of the Stdlib.Type
module and provides generic functions in an extended Stdlib.Fun
module.
Typegist
Extended Stdlib.Type
and Stdlib.Fun
modules. Open to use it.Typegist.Type.Gist
Type gists.Typegist.Fun.Generic
Generic functions.