metaquot 0.4.0 · OCaml Package

module Quoter (Mapper : MapperS) : sig ... end

val lift : mapper -> QuoteExp.t -> QuoteExp.t

type subst = Quoter(DefaultMap).subst = {

ty : string;
target : QuoteExp.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 ->
  QuoteExp.t

val char : 
  ?subst:'a ->
  ?in_list:'b ->
  ?attrs:Ppxlib.attributes ->
  char ->
  QuoteExp.t

val location : ?subst:'a -> ?in_list:'b -> Location.t -> QuoteExp.t

val location_stack : ?subst:'a -> ?in_list:'b -> 'c -> QuoteExp.t

val bool : 
  ?subst:'a ->
  ?in_list:'b ->
  ?attrs:Ppxlib.attributes ->
  bool ->
  QuoteExp.t

val longident : 
  ?subst:subst StringMap.t ->
  ?in_list:'a ->
  Longident.t ->
  QuoteExp.t

val list : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  (subst:subst StringMap.t ->
    ?in_list:string list Stdcompat.ref ->
    'a ->
    QuoteExp.t) ->
  'a list ->
  QuoteExp.t

val option : 
  ?subst:'b ->
  ?in_list:'c ->
  ('a -> QuoteExp.t) ->
  'a option ->
  QuoteExp.t

val rec_flag : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.Asttypes.rec_flag ->
  QuoteExp.t

val direction_flag : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.Asttypes.direction_flag ->
  QuoteExp.t

val private_flag : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.Asttypes.private_flag ->
  QuoteExp.t

val mutable_flag : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.Asttypes.mutable_flag ->
  QuoteExp.t

val virtual_flag : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.Asttypes.virtual_flag ->
  QuoteExp.t

val override_flag : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.Asttypes.override_flag ->
  QuoteExp.t

val closed_flag : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.Asttypes.closed_flag ->
  QuoteExp.t

val label : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.Asttypes.label ->
  QuoteExp.t

val arg_label : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.Asttypes.arg_label ->
  QuoteExp.t

val loc : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  ('a -> QuoteExp.t) ->
  'a Ppxlib.Asttypes.loc ->
  QuoteExp.t

val variance : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.Asttypes.variance ->
  QuoteExp.t

val injectivity : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.Asttypes.injectivity ->
  QuoteExp.t

val string : ?subst:subst StringMap.t -> ?in_list:'a -> string -> QuoteExp.t

val constant : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.constant ->
  QuoteExp.t

val attribute : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.attribute ->
  QuoteExp.t

val extension : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.extension ->
  QuoteExp.t

val attributes : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.attributes ->
  QuoteExp.t

val payload : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.payload ->
  QuoteExp.t

val core_type : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.core_type ->
  QuoteExp.t

val core_type_desc : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.core_type_desc ->
  QuoteExp.t

val package_type : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.package_type ->
  QuoteExp.t

val row_field : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.row_field ->
  QuoteExp.t

val row_field_desc : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.row_field_desc ->
  QuoteExp.t

val object_field : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.object_field ->
  QuoteExp.t

val object_field_desc : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.object_field_desc ->
  QuoteExp.t

val pattern : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.pattern ->
  QuoteExp.t

val pattern_desc : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.pattern_desc ->
  QuoteExp.t

val expression : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.expression ->
  QuoteExp.t

val expression_desc : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.expression_desc ->
  QuoteExp.t

val case : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.case ->
  QuoteExp.t

val letop : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.letop ->
  QuoteExp.t

val binding_op : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.binding_op ->
  QuoteExp.t

val value_description : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.value_description ->
  QuoteExp.t

val type_declaration : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.type_declaration ->
  QuoteExp.t

val type_kind : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.type_kind ->
  QuoteExp.t

val label_declaration : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.label_declaration ->
  QuoteExp.t

val constructor_declaration : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.constructor_declaration ->
  QuoteExp.t

val constructor_arguments : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.constructor_arguments ->
  QuoteExp.t

val type_extension : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.type_extension ->
  QuoteExp.t

val extension_constructor : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.extension_constructor ->
  QuoteExp.t

val type_exception : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.type_exception ->
  QuoteExp.t

val extension_constructor_kind : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.extension_constructor_kind ->
  QuoteExp.t

val class_type : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.class_type ->
  QuoteExp.t

val class_type_desc : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.class_type_desc ->
  QuoteExp.t

val class_signature : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.class_signature ->
  QuoteExp.t

val class_type_field : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.class_type_field ->
  QuoteExp.t

val class_type_field_desc : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.class_type_field_desc ->
  QuoteExp.t

val class_infos : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  ('a -> QuoteExp.t) ->
  'a Ppxlib.class_infos ->
  QuoteExp.t

val class_description : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.class_description ->
  QuoteExp.t

val class_type_declaration : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.class_type_declaration ->
  QuoteExp.t

val class_expr : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.class_expr ->
  QuoteExp.t

val class_expr_desc : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.class_expr_desc ->
  QuoteExp.t

val class_structure : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.class_structure ->
  QuoteExp.t

val class_field : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.class_field ->
  QuoteExp.t

val class_field_desc : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.class_field_desc ->
  QuoteExp.t

val class_field_kind : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.class_field_kind ->
  QuoteExp.t

val class_declaration : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.class_declaration ->
  QuoteExp.t

val module_type : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.module_type ->
  QuoteExp.t

val module_type_desc : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.module_type_desc ->
  QuoteExp.t

val functor_parameter : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.functor_parameter ->
  QuoteExp.t

val signature : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.signature ->
  QuoteExp.t

val signature_item : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.signature_item ->
  QuoteExp.t

val signature_item_desc : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.signature_item_desc ->
  QuoteExp.t

val module_declaration : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.module_declaration ->
  QuoteExp.t

val module_substitution : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.module_substitution ->
  QuoteExp.t

val module_type_declaration : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.module_type_declaration ->
  QuoteExp.t

val open_infos : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  ('a -> QuoteExp.t) ->
  'a Ppxlib.open_infos ->
  QuoteExp.t

val open_description : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.open_description ->
  QuoteExp.t

val open_declaration : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.open_declaration ->
  QuoteExp.t

val include_infos : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  ('a -> QuoteExp.t) ->
  'a Ppxlib.include_infos ->
  QuoteExp.t

val include_description : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.include_description ->
  QuoteExp.t

val include_declaration : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.include_declaration ->
  QuoteExp.t

val with_constraint : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.with_constraint ->
  QuoteExp.t

val module_expr : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.module_expr ->
  QuoteExp.t

val module_expr_desc : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.module_expr_desc ->
  QuoteExp.t

val structure : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.structure ->
  QuoteExp.t

val structure_item : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.structure_item ->
  QuoteExp.t

val structure_item_desc : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.structure_item_desc ->
  QuoteExp.t

val value_binding : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.value_binding ->
  QuoteExp.t

val module_binding : 
  ?subst:subst StringMap.t ->
  ?in_list:string list Stdcompat.ref ->
  Ppxlib.module_binding ->
  QuoteExp.t

val quote_extension : Metapp.destruct_extension -> QuoteExp.t option

package metaquot