package refl

  1. Overview
  2. Docs
PPX deriver for reflection

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (6)

Authors

  1. T
    Thierry Martinez <thierry.martinez@inria.fr>

Maintainers

  1. T
    Thierry Martinez <thierry.martinez@inria.fr>

Sources

v0.4.0.tar.gz
sha512=c158970749c1b7bacb8af1f88f0304d8d6cb0f532d3f876734489c3c4220d00f4d5aac6066e6d385ee70e1810ec65ffd47f0197bd5a6080f4d688cb3a386dc0a

doc/refl/Refl/Eq/index.html

Module Refl.EqSource

Sourcemodule Equaler : sig ... end
Sourcemodule Equalers : sig ... end
Sourcetype ('a, 'b) hook_fun = 'a Refl__.Desc.refl -> 'b Refl__.Desc.refl -> (?hook:hook -> ('a, 'b) Equaler.t) -> ('a, 'b) Equaler.t
Sourceand hook = {
  1. hook : 'a 'b. ('a, 'b) hook_fun;
}
Sourceval equal_poly : 'a 'b 'structure 'arity_a 'arity_b 'rec_group 'positive 'negative 'direct 'gadt_a 'gadt_b. ?hook: hook -> ('a, 'structure, 'arity_a, 'rec_group, [< Refl__.Desc.Kinds.comparable Array Attributes Bool Bytes Char Constr Exists Float Int Int32 Int64 Lazy MapOpaque Nativeint Object Opaque Record String Tuple Variable Variant ] as 'c, 'positive, 'negative, 'direct, 'gadt_a) Refl__.Desc.desc -> ('b, 'structure, 'arity_b, 'rec_group, 'c, 'positive, 'negative, 'direct, 'gadt_b) Refl__.Desc.desc -> ('arity_a, 'arity_b, 'direct) Equalers.t -> ('a, 'b) Equaler.t
Sourceval equal : ?hook:hook -> ('a, 'b, 'c, 'd, [< Refl__.Desc.Kinds.comparable Array Attributes Bool Bytes Char Constr Exists Float Int Int32 Int64 Lazy MapOpaque Nativeint Object Opaque Record String Tuple Variable Variant ], 'e, 'f, 'g, 'h) Refl__.Desc.desc -> ('c, 'c, 'g) Equalers.t -> ('a, 'a) Equaler.t