package metaquot

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

Innovation. Community. Security.