refl:OCaml PPX派生反射器

时间:2024-05-30 03:23:46
【文件属性】:

文件名称:refl:OCaml PPX派生反射器

文件大小:80KB

文件格式:ZIP

更新时间:2024-05-30 03:23:46

OCaml

refl :OCaml的高效且类型安全的类型反射 refl提供了大多数OCaml类型的运行时表示形式,以及一个“适合所有人”的派生插件。 该插件自动从类型声明中派生运行时类型表示形式,从而允许将大多数其他派生插件重写为由这些运行时表示形式表征的常规OCaml函数。 该库还提供了这样的函数,这些函数为ppx_deriving标准插件提供了灵活的替代方案: show , compare , eq , map , iter , fold , enum , make 。 一旦为给定类型派生了refl ,就可以在所有(兼容)函数上使用此类型的值。 这是背后的主要动机refl :不是不得不决定在类型声明点要使用的derivers,就足够了仅获得refl ,然后该类型可与所有功能,这样运行时表示,即使是功能操作使用的是在类型声明之后定义。 通过使用字段, refl可以与使用。 (executabl


【文件预览】:
refl-master
----ppx()
--------common.ml(627B)
--------constraints.ml(7KB)
--------indexer.ml(1KB)
--------dune(362B)
--------ppx_refl.mli(0B)
--------ListExt.ml(105B)
--------ppx_refl.ml(85KB)
--------indexer.mli(488B)
----dune-project(766B)
----tests()
--------irregular()
--------array()
--------mapopaque()
--------many_constructors()
--------absent_variable()
--------object()
--------poly()
--------opaque()
--------gadt()
--------enum()
--------deep_variables()
--------list_manual()
--------tree()
--------many_recursive_types()
--------variant()
--------make()
--------lazy()
--------arrow()
--------compare()
----LICENSE(1KB)
----CHANGES.md(656B)
----.gitignore(34B)
----Makefile(293B)
----README.md(4KB)
----runtime()
--------eq.ml(7KB)
--------map.ml(4KB)
--------enum.ml(5KB)
--------dune(222B)
--------fold.ml(4KB)
--------lift.ml(5KB)
--------builtins.ml(1KB)
--------tools.ml(75KB)
--------make.ml(2KB)
--------visit.ml(5KB)
--------desc.ml(27KB)
--------refl.ml(738B)
--------convert.ml(19KB)
--------compare.ml(10KB)
--------hash.ml(4KB)
--------show.ml(11KB)
--------iter.ml(3KB)
----COPYING(1KB)
----refl.opam(928B)

网友评论