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:
typegistThis 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.