package metaquot

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package metaquot

metaquot
- CHANGES
- README
- Library metaquot
  - Metaquot
    
    Eq
    
    QuoteValueS
    
    QuoteExp
    
    QuotePat
    
    MapperS
    
    DefaultMap
    
    StringMap
    
    Make
    
    Quoter
    
    Exp
    
    Quoter
    
    Pat
    
    Quoter
- Library metaquot_ppx
  - Metaquot_ppx
- Sources
  - metaquot
    
    metaquot.ml
  - metaquot_ppx
    
    metaquot_ppx.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Metaquot.Make`Source

Parameters

module Target : QuoteValueS

Signature

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

Sourceval lift : mapper -> Target.t -> Target.t

include sig ... end

Sourcetype subst = Quoter(DefaultMap).subst = {

ty : string;
target : Target.t;

}

Sourceexception Subst of subst

Sourceval list_counter : int Stdcompat.ref

Sourceval subst_of_value_binding : Ppxlib.value_binding -> string * subst

Sourceval parse_subst : Ppxlib.attribute -> subst StringMap.t

Source

val unit : 
  ?subst:'a ->
  ?in_list:'b ->
  ?attrs:Ppxlib.attributes ->
  unit ->
  Target.t

Source

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

Sourceval location : ?subst:'a -> ?in_list:'b -> Location.t -> Target.t

Sourceval location_stack : ?subst:'a -> ?in_list:'b -> 'c -> Target.t

Source

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

Source

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

Source

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) ->
  'a list ->
  Target.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Sourceval string : ?subst:subst StringMap.t -> ?in_list:'a -> string -> Target.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Sourceval quote_extension : Metapp.destruct_extension -> Target.t option

package metaquot

Module Metaquot.MakeSource

Parameters

Signature

Module `Metaquot.Make`Source