package metaquot

  1. Overview
  2. Docs

Parameters

Signature

module Quoter (Mapper : MapperS) : sig ... end
val lift : mapper -> Target.t -> Target.t
include sig ... end
type subst = Quoter(DefaultMap).subst = {
  1. ty : string;
  2. target : Target.t;
}
exception Subst of subst
val list_counter : int Stdcompat.ref
val subst_of_value_binding : Ppxlib.value_binding -> string * subst
val parse_subst : Ppxlib.attribute -> subst StringMap.t
val unit : ?subst:'a -> ?in_list:'b -> ?attrs:Ppxlib.attributes -> unit -> Target.t
val char : ?subst:'a -> ?in_list:'b -> ?attrs:Ppxlib.attributes -> char -> Target.t
val location : ?subst:'a -> ?in_list:'b -> Location.t -> Target.t
val location_stack : ?subst:'a -> ?in_list:'b -> 'c -> Target.t
val bool : ?subst:'a -> ?in_list:'b -> ?attrs:Ppxlib.attributes -> bool -> Target.t
val longident : ?subst:subst StringMap.t -> ?in_list:'a -> Longident.t -> Target.t
val list : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> (subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> 'a -> Target.t) -> 'a0 list -> Target.t
val option : ?subst:'b -> ?in_list:'c -> ('a -> Target.t) -> 'a0 option -> Target.t
val rec_flag : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.Asttypes.rec_flag -> Target.t
val direction_flag : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.Asttypes.direction_flag -> Target.t
val private_flag : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.Asttypes.private_flag -> Target.t
val mutable_flag : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.Asttypes.mutable_flag -> Target.t
val virtual_flag : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.Asttypes.virtual_flag -> Target.t
val override_flag : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.Asttypes.override_flag -> Target.t
val closed_flag : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.Asttypes.closed_flag -> Target.t
val label : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.Asttypes.label -> Target.t
val arg_label : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.Asttypes.arg_label -> Target.t
val loc : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> ('a -> Target.t) -> 'a Ppxlib.Asttypes.loc -> Target.t
val variance : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.Asttypes.variance -> Target.t
val injectivity : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.Asttypes.injectivity -> Target.t
val string : ?subst:subst StringMap.t -> ?in_list:'a -> string -> Target.t
val constant : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.constant -> Target.t
val attribute : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.attribute -> Target.t
val extension : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.extension -> Target.t
val attributes : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.attributes -> Target.t
val payload : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.payload -> Target.t
val core_type : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.core_type -> Target.t
val core_type_desc : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.core_type_desc -> Target.t
val package_type : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.package_type -> Target.t
val row_field : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.row_field -> Target.t
val row_field_desc : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.row_field_desc -> Target.t
val object_field : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.object_field -> Target.t
val object_field_desc : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.object_field_desc -> Target.t
val pattern : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.pattern -> Target.t
val pattern_desc : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.pattern_desc -> Target.t
val expression : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.expression -> Target.t
val expression_desc : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.expression_desc -> Target.t
val case : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.case -> Target.t
val letop : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.letop -> Target.t
val binding_op : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.binding_op -> Target.t
val value_description : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.value_description -> Target.t
val type_declaration : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.type_declaration -> Target.t
val type_kind : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.type_kind -> Target.t
val label_declaration : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.label_declaration -> Target.t
val constructor_declaration : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.constructor_declaration -> Target.t
val constructor_arguments : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.constructor_arguments -> Target.t
val type_extension : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.type_extension -> Target.t
val extension_constructor : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.extension_constructor -> Target.t
val type_exception : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.type_exception -> Target.t
val extension_constructor_kind : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.extension_constructor_kind -> Target.t
val class_type : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.class_type -> Target.t
val class_type_desc : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.class_type_desc -> Target.t
val class_signature : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.class_signature -> Target.t
val class_type_field : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.class_type_field -> Target.t
val class_type_field_desc : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.class_type_field_desc -> Target.t
val class_infos : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> ('a -> Target.t) -> 'a Ppxlib.class_infos -> Target.t
val class_description : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.class_description -> Target.t
val class_type_declaration : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.class_type_declaration -> Target.t
val class_expr : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.class_expr -> Target.t
val class_expr_desc : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.class_expr_desc -> Target.t
val class_structure : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.class_structure -> Target.t
val class_field : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.class_field -> Target.t
val class_field_desc : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.class_field_desc -> Target.t
val class_field_kind : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.class_field_kind -> Target.t
val class_declaration : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.class_declaration -> Target.t
val module_type : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.module_type -> Target.t
val module_type_desc : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.module_type_desc -> Target.t
val functor_parameter : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.functor_parameter -> Target.t
val signature : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.signature -> Target.t
val signature_item : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.signature_item -> Target.t
val signature_item_desc : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.signature_item_desc -> Target.t
val module_declaration : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.module_declaration -> Target.t
val module_substitution : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.module_substitution -> Target.t
val module_type_declaration : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.module_type_declaration -> Target.t
val open_infos : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> ('a -> Target.t) -> 'a Ppxlib.open_infos -> Target.t
val open_description : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.open_description -> Target.t
val open_declaration : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.open_declaration -> Target.t
val include_infos : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> ('a -> Target.t) -> 'a Ppxlib.include_infos -> Target.t
val include_description : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.include_description -> Target.t
val include_declaration : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.include_declaration -> Target.t
val with_constraint : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.with_constraint -> Target.t
val module_expr : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.module_expr -> Target.t
val module_expr_desc : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.module_expr_desc -> Target.t
val structure : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.structure -> Target.t
val structure_item : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.structure_item -> Target.t
val structure_item_desc : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.structure_item_desc -> Target.t
val value_binding : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.value_binding -> Target.t
val module_binding : ?subst:subst StringMap.t -> ?in_list:string list Stdcompat.ref -> Ppxlib.module_binding -> Target.t
val quote_extension : Metapp.destruct_extension -> Target.t option
OCaml

Innovation. Community. Security.