refl

PPX deriver for reflection
IN THIS PACKAGE
Module Refl . Lift . Make

Parameters

Signature

module Lifter : sig ... end
module Lifters : sig ... end
type 'a hook_fun = 'a Refl__Desc.refl -> ( ?hook:hook -> 'a Lifter.t ) -> 'a Lifter.t
and hook = {
hook : 'a. 'a hook_fun;
}
val lift : 'a 'structure 'arity 'rec_group 'positive 'negative 'direct 'gadt. ?hook:hook -> ( 'a, 'structure, 'arity, 'rec_group, [< Refl__Desc.Kinds.liftable Array Arrow Attributes Bool Bytes Char Constr Exists Float Int Int32 Int64 Lazy MapOpaque Nativeint Object Opaque Record String Tuple Variable Variant ], 'positive, 'negative, 'direct, 'gadt ) Refl__Desc.desc -> ( 'arity, 'direct ) Lifters.t -> 'a Lifter.t