package refl

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Package contains no libraries

Parameters

module Target : Metapp.ValueS

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