package refl
Legend:
Library
Module
Module type
Parameter
Class
Class type

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 = {
  1. 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