package ppxlib

You can search for identifiers within the package.

in-package search v0.2.0

ppxlib
- Ppxlib
  - Ast_builder
    
    Default
    
    Located
    
    Loc
    
    Make
    
    Loc
    
    Located
    
    S
    
    Located
  - Ast_io
  - Ast_pattern
    
    Packed
  - Ast_traverse
    
    fold
    
    fold_map
    
    iter
    
    lift
    
    map
    
    map_with_context
    
    map_with_expansion_context
    
    map_with_path
    
    sexp_of
  - Attribute
    
    Context
    
    Floating
    
    Context
  - Caller_id
  - Code_path
  - Context_free
    
    Rule
    
    Constant_kind
    
    map_top_down
  - Deriving
    
    Args
    
    Generator
    
    V2
  - Driver
    
    Cookies
    
    Create_file_property
    
    Name
    
    Instrument
    
    V2
    
    Lint_error
    
    V2
  - Expansion_context
    
    Base
    
    Deriver
    
    Extension
  - Extension
    
    Context
    
    Expert
    
    For_context
    
    V2
    
    V3
  - File_path
  - Keyword
  - Loc
  - Location
    
    Error
  - Longident
  - Merlin_helpers
  - Quoter
  - Reserved_namespaces
  - Spellcheck
  - fold
  - fold_map
  - iter
  - lift
  - map
  - map_with_context
  - type_is_recursive
ppxlib.ast
- Ppxlib_ast
  - Ast
    
    fold
    
    fold_map
    
    iter
    
    lift
    
    map
    
    map_with_context
  - Ast_helper
    
    Attr
    
    Cf
    
    Ci
    
    Cl
    
    Const
    
    Csig
    
    Cstr
    
    Ctf
    
    Cty
    
    Exp
    
    Incl
    
    Mb
    
    Md
    
    Mod
    
    Ms
    
    Mtd
    
    Mty
    
    Of
    
    Opn
    
    Pat
    
    Rf
    
    Sig
    
    Str
    
    Te
    
    Typ
    
    Type
    
    Val
    
    Vb
  - Compiler_version
  - Convert
    
    A
    
    Ast
    
    Config
    
    Parsetree
    
    B
    
    Ast
    
    Config
    
    Parsetree
  - Extra_warnings
  - Find_version
  - Import_for_core
    
    Ast_helper
    
    Attr
    
    Cf
    
    Ci
    
    Cl
    
    Const
    
    Csig
    
    Cstr
    
    Ctf
    
    Cty
    
    Exp
    
    Incl
    
    Mb
    
    Md
    
    Mod
    
    Ms
    
    Mtd
    
    Mty
    
    Of
    
    Opn
    
    Pat
    
    Rf
    
    Sig
    
    Str
    
    Te
    
    Typ
    
    Type
    
    Val
    
    Vb
    
    Js
    
    Ocaml
    
    Parse
    
    Of_ocaml
    
    Select_ast
    
    Ocaml
    
    Ast
    
    Config
    
    Parsetree
    
    Of_ocaml
    
    To_ocaml
    
    Type
    
    Selected_ast
    
    Of_ocaml
    
    To_ocaml
    
    Type
  - Js
  - Location_error
  - OCaml_version
    
    Ast
    
    Config
    
    Parsetree
  - Parse
    
    Of_ocaml
  - Pprintast
  - Select_ast
    
    Ocaml
    
    Ast
    
    Config
    
    Parsetree
    
    Of_ocaml
    
    To_ocaml
    
    Type
  - Selected_ast
    
    Of_ocaml
    
    To_ocaml
    
    Type
ppxlib.astlib
- Astlib
  - Ast_402
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_403
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_404
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_405
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_406
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_407
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_408
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_409
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_410
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_411
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_412
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_413
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_mapper
  - Config
  - Location
    
    Error
  - Longident
  - Migrate_402_403
  - Migrate_403_402
  - Migrate_403_404
  - Migrate_404_403
  - Migrate_404_405
  - Migrate_405_404
  - Migrate_405_406
  - Migrate_406_405
  - Migrate_406_407
  - Migrate_407_406
  - Migrate_407_408
  - Migrate_408_407
  - Migrate_408_409
  - Migrate_409_408
  - Migrate_409_410
  - Migrate_410_409
  - Migrate_410_411
  - Migrate_411_410
  - Migrate_411_412
  - Migrate_412_411
  - Migrate_412_413
  - Migrate_413_412
  - Parse
ppxlib.metaquot_lifters
- Ppxlib_metaquot_lifters
  - expression_lifters
  - pattern_lifters
ppxlib.print_diff
- Ppxlib_print_diff
ppxlib.runner
- Ppxlib_runner
  - Ppx_driver_runner
ppxlib.runner_as_ppx
- Ppxlib_runner_as_ppx
  - Ppx_driver_runner_as_ppx
ppxlib.stdppx
- Stdppx
  - Bool
  - Bytes
  - Char
  - Comparisons
  - Exn
  - Float
  - Fn
  - Hashtbl
    
    HashedType
    
    S
    
    SeededHashedType
    
    SeededS
  - In_channel
  - Int
  - List
  - Option
  - Out_channel
  - Poly
  - String
    
    Map
    
    Set
ppxlib.traverse_builtins
- Ppxlib_traverse_builtins
  - T
  - fold
  - fold_map
  - iter
  - lift
  - map
  - map_with_context
  - std_lifters

Legend:
Library
Module
Module type
Parameter
Class
Class type

Standard library for ppx rewriters

Make sure code using Ppxlib doesn't refer to compiler-libs without being explicit about it

include module type of struct include Ocaml_shadow end
  with module Ast_helper := Ocaml_shadow.Ast_helper
  with module Asttypes := Ocaml_shadow.Asttypes
  with module Docstrings := Ocaml_shadow.Docstrings
  with module Identifiable := Ocaml_shadow.Identifiable
  with module Lexer := Ocaml_shadow.Lexer
  with module Location := Ocaml_shadow.Location
  with module Longident := Ocaml_shadow.Longident
  with module Parse := Ocaml_shadow.Parse
  with module Parsetree := Ocaml_shadow.Parsetree
  with module Pprintast := Ocaml_shadow.Pprintast
  with module Syntaxerr := Ocaml_shadow.Syntaxerr

module Do_not_use_directly = Ocaml_shadow.Do_not_use_directly

module Afl_instrument = Do_not_use_directly

module Alias_analysis = Do_not_use_directly

module Allocated_const = Do_not_use_directly

module Annot = Do_not_use_directly

module Arch = Do_not_use_directly

module Arg_helper = Do_not_use_directly

module Asmgen = Do_not_use_directly

module Asmlibrarian = Do_not_use_directly

module Asmlink = Do_not_use_directly

module Asmpackager = Do_not_use_directly

module Ast_invariants = Do_not_use_directly

module Ast_iterator = Do_not_use_directly

module Ast_mapper = Do_not_use_directly

module Attr_helper = Do_not_use_directly

module Augment_specialised_args = Do_not_use_directly

module Backend_intf = Do_not_use_directly

module Backend_var = Do_not_use_directly

module Binutils = Do_not_use_directly

module Branch_relaxation = Do_not_use_directly

module Branch_relaxation_intf = Do_not_use_directly

module Btype = Do_not_use_directly

module Build_export_info = Do_not_use_directly

module Build_path_prefix_map = Do_not_use_directly

module Builtin_attributes = Do_not_use_directly

module Bytegen = Do_not_use_directly

module Bytelibrarian = Do_not_use_directly

module Bytelink = Do_not_use_directly

module Bytepackager = Do_not_use_directly

module Bytesections = Do_not_use_directly

module CSE = Do_not_use_directly

module CSEgen = Do_not_use_directly

module CamlinternalMenhirLib = Do_not_use_directly

module Ccomp = Do_not_use_directly

module Clambda = Do_not_use_directly

module Clambda_primitives = Do_not_use_directly

module Clflags = Do_not_use_directly

module Closure = Do_not_use_directly

module Closure_conversion = Do_not_use_directly

module Closure_conversion_aux = Do_not_use_directly

module Closure_element = Do_not_use_directly

module Closure_id = Do_not_use_directly

module Closure_middle_end = Do_not_use_directly

module Closure_offsets = Do_not_use_directly

module Closure_origin = Do_not_use_directly

module Cmi_format = Do_not_use_directly

module Cmm = Do_not_use_directly

module Cmm_helpers = Do_not_use_directly

module Cmm_invariants = Do_not_use_directly

module Cmmgen = Do_not_use_directly

module Cmmgen_state = Do_not_use_directly

module Cmo_format = Do_not_use_directly

module Cmt2annot = Do_not_use_directly

module Cmt_format = Do_not_use_directly

module Cmx_format = Do_not_use_directly

module Cmxs_format = Do_not_use_directly

module Coloring = Do_not_use_directly

module Comballoc = Do_not_use_directly

module Compenv = Do_not_use_directly

module Compilation_unit = Do_not_use_directly

module Compile = Do_not_use_directly

module Compile_common = Do_not_use_directly

module Compilenv = Do_not_use_directly

module Compmisc = Do_not_use_directly

module Config = Do_not_use_directly

module Consistbl = Do_not_use_directly

module Convert_primitives = Do_not_use_directly

module Ctype = Do_not_use_directly

module Dataflow = Do_not_use_directly

module Datarepr = Do_not_use_directly

module Deadcode = Do_not_use_directly

module Debuginfo = Do_not_use_directly

module Depend = Do_not_use_directly

module Diffing = Do_not_use_directly

module Dll = Do_not_use_directly

module Domainstate = Do_not_use_directly

module Effect_analysis = Do_not_use_directly

module Emit = Do_not_use_directly

module Emitaux = Do_not_use_directly

module Emitcode = Do_not_use_directly

module Emitenv = Do_not_use_directly

module Env = Do_not_use_directly

module Envaux = Do_not_use_directly

module Errors = Do_not_use_directly

module Errortrace = Do_not_use_directly

module Export_id = Do_not_use_directly

module Export_info = Do_not_use_directly

module Export_info_for_pack = Do_not_use_directly

module Expunge = Do_not_use_directly

module Extract_projections = Do_not_use_directly

module Find_recursive_functions = Do_not_use_directly

module Flambda = Do_not_use_directly

module Flambda_invariants = Do_not_use_directly

module Flambda_iterators = Do_not_use_directly

module Flambda_middle_end = Do_not_use_directly

module Flambda_to_clambda = Do_not_use_directly

module Flambda_utils = Do_not_use_directly

module Freshening = Do_not_use_directly

module Genprintval = Do_not_use_directly

module Id_types = Do_not_use_directly

module Ident = Do_not_use_directly

module Import_approx = Do_not_use_directly

module Includeclass = Do_not_use_directly

module Includecore = Do_not_use_directly

module Includemod = Do_not_use_directly

module Includemod_errorprinter = Do_not_use_directly

module Inconstant_idents = Do_not_use_directly

module Initialize_symbol_to_let_symbol = Do_not_use_directly

module Inline_and_simplify = Do_not_use_directly

module Inline_and_simplify_aux = Do_not_use_directly

module Inlining_cost = Do_not_use_directly

module Inlining_decision = Do_not_use_directly

module Inlining_decision_intf = Do_not_use_directly

module Inlining_stats = Do_not_use_directly

module Inlining_stats_types = Do_not_use_directly

module Inlining_transforms = Do_not_use_directly

module Instruct = Do_not_use_directly

module Int_replace_polymorphic_compare = Do_not_use_directly

module Interf = Do_not_use_directly

module Internal_variable_names = Do_not_use_directly

module Interval = Do_not_use_directly

module Invariant_params = Do_not_use_directly

module Lambda = Do_not_use_directly

module Lazy_backtrack = Do_not_use_directly

module Lift_code = Do_not_use_directly

module Lift_constants = Do_not_use_directly

module Lift_let_to_initialize_symbol = Do_not_use_directly

module Linear = Do_not_use_directly

module Linear_format = Do_not_use_directly

module Linearize = Do_not_use_directly

module Linkage_name = Do_not_use_directly

module Linscan = Do_not_use_directly

module Liveness = Do_not_use_directly

module Load_path = Do_not_use_directly

module Local_store = Do_not_use_directly

module Mach = Do_not_use_directly

module Main = Do_not_use_directly

module Main_args = Do_not_use_directly

module Maindriver = Do_not_use_directly

module Makedepend = Do_not_use_directly

module Matching = Do_not_use_directly

module Meta = Do_not_use_directly

module Misc = Do_not_use_directly

module Mtype = Do_not_use_directly

module Mutable_variable = Do_not_use_directly

module Numbers = Do_not_use_directly

module Opcodes = Do_not_use_directly

module Oprint = Do_not_use_directly

module Optcompile = Do_not_use_directly

module Opterrors = Do_not_use_directly

module Optmain = Do_not_use_directly

module Optmaindriver = Do_not_use_directly

module Outcometree = Do_not_use_directly

module Parameter = Do_not_use_directly

module Parmatch = Do_not_use_directly

module Parser = Do_not_use_directly

module Pass_wrapper = Do_not_use_directly

module Path = Do_not_use_directly

module Patterns = Do_not_use_directly

module Persistent_env = Do_not_use_directly

module Polling = Do_not_use_directly

module Pparse = Do_not_use_directly

module Predef = Do_not_use_directly

module Primitive = Do_not_use_directly

module Printast = Do_not_use_directly

module Printclambda = Do_not_use_directly

module Printclambda_primitives = Do_not_use_directly

module Printcmm = Do_not_use_directly

module Printinstr = Do_not_use_directly

module Printlambda = Do_not_use_directly

module Printlinear = Do_not_use_directly

module Printmach = Do_not_use_directly

module Printpat = Do_not_use_directly

module Printtyp = Do_not_use_directly

module Printtyped = Do_not_use_directly

module Proc = Do_not_use_directly

module Profile = Do_not_use_directly

module Projection = Do_not_use_directly

module Rec_check = Do_not_use_directly

module Ref_to_variables = Do_not_use_directly

module Reg = Do_not_use_directly

module Reload = Do_not_use_directly

module Reloadgen = Do_not_use_directly

module Remove_free_vars_equal_to_args = Do_not_use_directly

module Remove_unused_arguments = Do_not_use_directly

module Remove_unused_closure_vars = Do_not_use_directly

module Remove_unused_program_constructs = Do_not_use_directly

module Runtimedef = Do_not_use_directly

module Schedgen = Do_not_use_directly

module Scheduling = Do_not_use_directly

module Selectgen = Do_not_use_directly

module Selection = Do_not_use_directly

module Semantics_of_primitives = Do_not_use_directly

module Set_of_closures_id = Do_not_use_directly

module Set_of_closures_origin = Do_not_use_directly

module Share_constants = Do_not_use_directly

module Signature_group = Do_not_use_directly

module Simple_value_approx = Do_not_use_directly

module Simplif = Do_not_use_directly

module Simplify_boxed_integer_ops = Do_not_use_directly

module Simplify_boxed_integer_ops_intf = Do_not_use_directly

module Simplify_common = Do_not_use_directly

module Simplify_primitives = Do_not_use_directly

module Spill = Do_not_use_directly

module Split = Do_not_use_directly

module Static_exception = Do_not_use_directly

module Strmatch = Do_not_use_directly

module Strongly_connected_components = Do_not_use_directly

module Stypes = Do_not_use_directly

module Subst = Do_not_use_directly

module Switch = Do_not_use_directly

module Symbol = Do_not_use_directly

module Symtable = Do_not_use_directly

module Tag = Do_not_use_directly

module Targetint = Do_not_use_directly

module Tast_iterator = Do_not_use_directly

module Tast_mapper = Do_not_use_directly

module Terminfo = Do_not_use_directly

module Topcommon = Do_not_use_directly

module Topdirs = Do_not_use_directly

module Topeval = Do_not_use_directly

module Toploop = Do_not_use_directly

module Topmain = Do_not_use_directly

module Topstart = Do_not_use_directly

module Trace = Do_not_use_directly

module Translattribute = Do_not_use_directly

module Translclass = Do_not_use_directly

module Translcore = Do_not_use_directly

module Translmod = Do_not_use_directly

module Translobj = Do_not_use_directly

module Translprim = Do_not_use_directly

module Traverse_for_exported_symbols = Do_not_use_directly

module Type_immediacy = Do_not_use_directly

module Typeclass = Do_not_use_directly

module Typecore = Do_not_use_directly

module Typedecl = Do_not_use_directly

module Typedecl_immediacy = Do_not_use_directly

module Typedecl_properties = Do_not_use_directly

module Typedecl_separability = Do_not_use_directly

module Typedecl_unboxed = Do_not_use_directly

module Typedecl_variance = Do_not_use_directly

module Typedtree = Do_not_use_directly

module Typemod = Do_not_use_directly

module Typeopt = Do_not_use_directly

module Types = Do_not_use_directly

module Typetexp = Do_not_use_directly

module Un_anf = Do_not_use_directly

module Unbox_closures = Do_not_use_directly

module Unbox_free_vars_of_closures = Do_not_use_directly

module Unbox_specialised_args = Do_not_use_directly

module Untypeast = Do_not_use_directly

module Var_within_closure = Do_not_use_directly

module Variable = Do_not_use_directly

module Warnings = Do_not_use_directly

module X86_ast = Do_not_use_directly

module X86_dsl = Do_not_use_directly

module X86_gas = Do_not_use_directly

module X86_masm = Do_not_use_directly

module X86_proc = Do_not_use_directly

module Ast = Ppxlib_ast.Ast

Expose some modules from Ppxlib_ast; in particular, overwrite some of the modules above

module Ast_helper = Ppxlib_ast.Ast_helper

module Asttypes = Ppxlib_ast.Asttypes

module Parse = Ppxlib_ast.Parse

module Parsetree = Ppxlib_ast.Parsetree

module Pprintast = Ppxlib_ast.Pprintast

module Selected_ast = Ppxlib_ast.Selected_ast

Include all the Ast definitions since we need them in every single ppx

include module type of struct include Ast end

Expose some modules from Ppxlib_ast; in particular, overwrite some of the modules above

type position = Stdlib.Lexing.position = {

pos_fname : string;
pos_lnum : int;
pos_bol : int;
pos_cnum : int;

}

and location = Astlib.Location.t = {

loc_start : position;
loc_end : position;
loc_ghost : bool;

}

and location_stack = location list

and 'a loc = 'a Astlib.Location.loc = {

txt : 'a;
loc : location;

}

and longident = Astlib.Longident.t =

| Lident of string
| Ldot of longident * string
| Lapply of longident * longident

and longident_loc = longident loc

Auxiliary AST types used by parsetree and typedtree.

and rec_flag = Astlib.Ast_412.Asttypes.rec_flag =

| Nonrecursive
| Recursive

and direction_flag = Astlib.Ast_412.Asttypes.direction_flag =

| Upto
| Downto

and private_flag = Astlib.Ast_412.Asttypes.private_flag =

| Private
| Public

and mutable_flag = Astlib.Ast_412.Asttypes.mutable_flag =

| Immutable
| Mutable

and virtual_flag = Astlib.Ast_412.Asttypes.virtual_flag =

| Virtual
| Concrete

and override_flag = Astlib.Ast_412.Asttypes.override_flag =

| Override
| Fresh

and closed_flag = Astlib.Ast_412.Asttypes.closed_flag =

| Closed
| Open

and label = string

and arg_label = Astlib.Ast_412.Asttypes.arg_label =

| Nolabel
| Labelled of string
| Optional of string

and variance = Astlib.Ast_412.Asttypes.variance =

| Covariant
| Contravariant
| NoVariance

and injectivity = Astlib.Ast_412.Asttypes.injectivity =

| Injective
| NoInjectivity

Abstract syntax tree produced by parsing

and constant = Astlib.Ast_412.Parsetree.constant =

| Pconst_integer of string * char option
| Pconst_char of char
| Pconst_string of string * location * string option
| Pconst_float of string * char option

Extension points

and attribute = Astlib.Ast_412.Parsetree.attribute = {

attr_name : string loc;
attr_payload : payload;
attr_loc : location;

}

and extension = string loc * payload

and attributes = attribute list

and payload = Astlib.Ast_412.Parsetree.payload =

| PStr of structure
| PSig of signature
| PTyp of core_type
| PPat of pattern * expression option

Core language

and core_type = Astlib.Ast_412.Parsetree.core_type = {

ptyp_desc : core_type_desc;
ptyp_loc : location;
ptyp_loc_stack : location_stack;
ptyp_attributes : attributes;

}

and core_type_desc = Astlib.Ast_412.Parsetree.core_type_desc =

| Ptyp_any
| Ptyp_var of string
| Ptyp_arrow of arg_label * core_type * core_type
| Ptyp_tuple of core_type list
| Ptyp_constr of longident_loc * core_type list
| Ptyp_object of object_field list * closed_flag
| Ptyp_class of longident_loc * core_type list
| Ptyp_alias of core_type * string
| Ptyp_variant of row_field list * closed_flag * label list option
| Ptyp_poly of string loc list * core_type
| Ptyp_package of package_type
| Ptyp_extension of extension

and package_type = longident_loc * (longident_loc * core_type) list

and row_field = Astlib.Ast_412.Parsetree.row_field = {

prf_desc : row_field_desc;
prf_loc : location;
prf_attributes : attributes;

}

and row_field_desc = Astlib.Ast_412.Parsetree.row_field_desc =

| Rtag of label loc * bool * core_type list
| Rinherit of core_type

and object_field = Astlib.Ast_412.Parsetree.object_field = {

pof_desc : object_field_desc;
pof_loc : location;
pof_attributes : attributes;

}

and object_field_desc = Astlib.Ast_412.Parsetree.object_field_desc =

| Otag of label loc * core_type
| Oinherit of core_type

and pattern = Astlib.Ast_412.Parsetree.pattern = {

ppat_desc : pattern_desc;
ppat_loc : location;
ppat_loc_stack : location_stack;
ppat_attributes : attributes;

}

and pattern_desc = Astlib.Ast_412.Parsetree.pattern_desc =

| Ppat_any
| Ppat_var of string loc
| Ppat_alias of pattern * string loc
| Ppat_constant of constant
| Ppat_interval of constant * constant
| Ppat_tuple of pattern list
| Ppat_construct of longident_loc * pattern option
| Ppat_variant of label * pattern option
| Ppat_record of (longident_loc * pattern) list * closed_flag
| Ppat_array of pattern list
| Ppat_or of pattern * pattern
| Ppat_constraint of pattern * core_type
| Ppat_type of longident_loc
| Ppat_lazy of pattern
| Ppat_unpack of string option loc
| Ppat_exception of pattern
| Ppat_extension of extension
| Ppat_open of longident_loc * pattern

and expression = Astlib.Ast_412.Parsetree.expression = {

pexp_desc : expression_desc;
pexp_loc : location;
pexp_loc_stack : location_stack;
pexp_attributes : attributes;

}

and expression_desc = Astlib.Ast_412.Parsetree.expression_desc =

| Pexp_ident of longident_loc
| Pexp_constant of constant
| Pexp_let of rec_flag * value_binding list * expression
| Pexp_function of cases
| Pexp_fun of arg_label * expression option * pattern * expression
| Pexp_apply of expression * (arg_label * expression) list
| Pexp_match of expression * cases
| Pexp_try of expression * cases
| Pexp_tuple of expression list
| Pexp_construct of longident_loc * expression option
| Pexp_variant of label * expression option
| Pexp_record of (longident_loc * expression) list * expression option
| Pexp_field of expression * longident_loc
| Pexp_setfield of expression * longident_loc * expression
| Pexp_array of expression list
| Pexp_ifthenelse of expression * expression * expression option
| Pexp_sequence of expression * expression
| Pexp_while of expression * expression
| Pexp_for of pattern * expression * expression * direction_flag * expression
| Pexp_constraint of expression * core_type
| Pexp_coerce of expression * core_type option * core_type
| Pexp_send of expression * label loc
| Pexp_new of longident_loc
| Pexp_setinstvar of label loc * expression
| Pexp_override of (label loc * expression) list
| Pexp_letmodule of string option loc * module_expr * expression
| Pexp_letexception of extension_constructor * expression
| Pexp_assert of expression
| Pexp_lazy of expression
| Pexp_poly of expression * core_type option
| Pexp_object of class_structure
| Pexp_newtype of string loc * expression
| Pexp_pack of module_expr
| Pexp_open of open_declaration * expression
| Pexp_letop of letop
| Pexp_extension of extension
| Pexp_unreachable

and case = Astlib.Ast_412.Parsetree.case = {

pc_lhs : pattern;
pc_guard : expression option;
pc_rhs : expression;

}

and letop = Astlib.Ast_412.Parsetree.letop = {

let_ : binding_op;
ands : binding_op list;
body : expression;

}

and binding_op = Astlib.Ast_412.Parsetree.binding_op = {

pbop_op : string loc;
pbop_pat : pattern;
pbop_exp : expression;
pbop_loc : location;

}

and value_description = Astlib.Ast_412.Parsetree.value_description = {

pval_name : string loc;
pval_type : core_type;
pval_prim : string list;
pval_attributes : attributes;
pval_loc : location;

}

and type_declaration = Astlib.Ast_412.Parsetree.type_declaration = {

ptype_name : string loc;
ptype_params : (core_type * (variance * injectivity)) list;
ptype_cstrs : (core_type * core_type * location) list;
ptype_kind : type_kind;
ptype_private : private_flag;
ptype_manifest : core_type option;
ptype_attributes : attributes;
ptype_loc : location;

}

and type_kind = Astlib.Ast_412.Parsetree.type_kind =

| Ptype_abstract
| Ptype_variant of constructor_declaration list
| Ptype_record of label_declaration list
| Ptype_open

and label_declaration = Astlib.Ast_412.Parsetree.label_declaration = {

pld_name : string loc;
pld_mutable : mutable_flag;
pld_type : core_type;
pld_loc : location;
pld_attributes : attributes;

}

and constructor_declaration = Astlib.Ast_412.Parsetree.constructor_declaration =
  {

pcd_name : string loc;
pcd_args : constructor_arguments;
pcd_res : core_type option;
pcd_loc : location;
pcd_attributes : attributes;

}

and constructor_arguments = Astlib.Ast_412.Parsetree.constructor_arguments =

| Pcstr_tuple of core_type list
| Pcstr_record of label_declaration list

and type_extension = Astlib.Ast_412.Parsetree.type_extension = {

ptyext_path : longident_loc;
ptyext_params : (core_type * (variance * injectivity)) list;
ptyext_constructors : extension_constructor list;
ptyext_private : private_flag;
ptyext_loc : location;
ptyext_attributes : attributes;

}

and extension_constructor = Astlib.Ast_412.Parsetree.extension_constructor = {

pext_name : string loc;
pext_kind : extension_constructor_kind;
pext_loc : location;
pext_attributes : attributes;

}

and type_exception = Astlib.Ast_412.Parsetree.type_exception = {

ptyexn_constructor : extension_constructor;
ptyexn_loc : location;
ptyexn_attributes : attributes;

}

and extension_constructor_kind =
  Astlib.Ast_412.Parsetree.extension_constructor_kind =

| Pext_decl of constructor_arguments * core_type option
| Pext_rebind of longident_loc

Class language

and class_type = Astlib.Ast_412.Parsetree.class_type = {

pcty_desc : class_type_desc;
pcty_loc : location;
pcty_attributes : attributes;

}

and class_type_desc = Astlib.Ast_412.Parsetree.class_type_desc =

| Pcty_constr of longident_loc * core_type list
| Pcty_signature of class_signature
| Pcty_arrow of arg_label * core_type * class_type
| Pcty_extension of extension
| Pcty_open of open_description * class_type

and class_signature = Astlib.Ast_412.Parsetree.class_signature = {

pcsig_self : core_type;
pcsig_fields : class_type_field list;

}

and class_type_field = Astlib.Ast_412.Parsetree.class_type_field = {

pctf_desc : class_type_field_desc;
pctf_loc : location;
pctf_attributes : attributes;

}

and class_type_field_desc = Astlib.Ast_412.Parsetree.class_type_field_desc =

| Pctf_inherit of class_type
| Pctf_val of label loc * mutable_flag * virtual_flag * core_type
| Pctf_method of label loc * private_flag * virtual_flag * core_type
| Pctf_constraint of core_type * core_type
| Pctf_attribute of attribute
| Pctf_extension of extension

and 'a class_infos = 'a Astlib.Ast_412.Parsetree.class_infos = {

pci_virt : virtual_flag;
pci_params : (core_type * (variance * injectivity)) list;
pci_name : string loc;
pci_expr : 'a;
pci_loc : location;
pci_attributes : attributes;

}

and class_description = class_type class_infos

and class_type_declaration = class_type class_infos

and class_expr = Astlib.Ast_412.Parsetree.class_expr = {

pcl_desc : class_expr_desc;
pcl_loc : location;
pcl_attributes : attributes;

}

and class_expr_desc = Astlib.Ast_412.Parsetree.class_expr_desc =

| Pcl_constr of longident_loc * core_type list
| Pcl_structure of class_structure
| Pcl_fun of arg_label * expression option * pattern * class_expr
| Pcl_apply of class_expr * (arg_label * expression) list
| Pcl_let of rec_flag * value_binding list * class_expr
| Pcl_constraint of class_expr * class_type
| Pcl_extension of extension
| Pcl_open of open_description * class_expr

and class_structure = Astlib.Ast_412.Parsetree.class_structure = {

pcstr_self : pattern;
pcstr_fields : class_field list;

}

and class_field = Astlib.Ast_412.Parsetree.class_field = {

pcf_desc : class_field_desc;
pcf_loc : location;
pcf_attributes : attributes;

}

and class_field_desc = Astlib.Ast_412.Parsetree.class_field_desc =

| Pcf_inherit of override_flag * class_expr * string loc option
| Pcf_val of label loc * mutable_flag * class_field_kind
| Pcf_method of label loc * private_flag * class_field_kind
| Pcf_constraint of core_type * core_type
| Pcf_initializer of expression
| Pcf_attribute of attribute
| Pcf_extension of extension

and class_field_kind = Astlib.Ast_412.Parsetree.class_field_kind =

| Cfk_virtual of core_type
| Cfk_concrete of override_flag * expression

and class_declaration = class_expr class_infos

Module language

and module_type = Astlib.Ast_412.Parsetree.module_type = {

pmty_desc : module_type_desc;
pmty_loc : location;
pmty_attributes : attributes;

}

and module_type_desc = Astlib.Ast_412.Parsetree.module_type_desc =

| Pmty_ident of longident_loc
| Pmty_signature of signature
| Pmty_functor of functor_parameter * module_type
| Pmty_with of module_type * with_constraint list
| Pmty_typeof of module_expr
| Pmty_extension of extension
| Pmty_alias of longident_loc

and functor_parameter = Astlib.Ast_412.Parsetree.functor_parameter =

| Unit
| Named of string option loc * module_type

and signature = signature_item list

and signature_item = Astlib.Ast_412.Parsetree.signature_item = {

psig_desc : signature_item_desc;
psig_loc : location;

}

and signature_item_desc = Astlib.Ast_412.Parsetree.signature_item_desc =

| Psig_value of value_description
| Psig_type of rec_flag * type_declaration list
| Psig_typesubst of type_declaration list
| Psig_typext of type_extension
| Psig_exception of type_exception
| Psig_module of module_declaration
| Psig_modsubst of module_substitution
| Psig_recmodule of module_declaration list
| Psig_modtype of module_type_declaration
| Psig_open of open_description
| Psig_include of include_description
| Psig_class of class_description list
| Psig_class_type of class_type_declaration list
| Psig_attribute of attribute
| Psig_extension of extension * attributes

and module_declaration = Astlib.Ast_412.Parsetree.module_declaration = {

pmd_name : string option loc;
pmd_type : module_type;
pmd_attributes : attributes;
pmd_loc : location;

}

and module_substitution = Astlib.Ast_412.Parsetree.module_substitution = {

pms_name : string loc;
pms_manifest : longident_loc;
pms_attributes : attributes;
pms_loc : location;

}

and module_type_declaration = Astlib.Ast_412.Parsetree.module_type_declaration =
  {

pmtd_name : string loc;
pmtd_type : module_type option;
pmtd_attributes : attributes;
pmtd_loc : location;

}

and 'a open_infos = 'a Astlib.Ast_412.Parsetree.open_infos = {

popen_expr : 'a;
popen_override : override_flag;
popen_loc : location;
popen_attributes : attributes;

}

and open_description = longident_loc open_infos

and open_declaration = module_expr open_infos

and 'a include_infos = 'a Astlib.Ast_412.Parsetree.include_infos = {

pincl_mod : 'a;
pincl_loc : location;
pincl_attributes : attributes;

}

and include_description = module_type include_infos

and include_declaration = module_expr include_infos

and with_constraint = Astlib.Ast_412.Parsetree.with_constraint =

| Pwith_type of longident_loc * type_declaration
| Pwith_module of longident_loc * longident_loc
| Pwith_typesubst of longident_loc * type_declaration
| Pwith_modsubst of longident_loc * longident_loc

and module_expr = Astlib.Ast_412.Parsetree.module_expr = {

pmod_desc : module_expr_desc;
pmod_loc : location;
pmod_attributes : attributes;

}

and module_expr_desc = Astlib.Ast_412.Parsetree.module_expr_desc =

| Pmod_ident of longident_loc
| Pmod_structure of structure
| Pmod_functor of functor_parameter * module_expr
| Pmod_apply of module_expr * module_expr
| Pmod_constraint of module_expr * module_type
| Pmod_unpack of expression
| Pmod_extension of extension

and structure = structure_item list

and structure_item = Astlib.Ast_412.Parsetree.structure_item = {

pstr_desc : structure_item_desc;
pstr_loc : location;

}

and structure_item_desc = Astlib.Ast_412.Parsetree.structure_item_desc =

| Pstr_eval of expression * attributes
| Pstr_value of rec_flag * value_binding list
| Pstr_primitive of value_description
| Pstr_type of rec_flag * type_declaration list
| Pstr_typext of type_extension
| Pstr_exception of type_exception
| Pstr_module of module_binding
| Pstr_recmodule of module_binding list
| Pstr_modtype of module_type_declaration
| Pstr_open of open_declaration
| Pstr_class of class_declaration list
| Pstr_class_type of class_type_declaration list
| Pstr_include of include_declaration
| Pstr_attribute of attribute
| Pstr_extension of extension * attributes

and value_binding = Astlib.Ast_412.Parsetree.value_binding = {

pvb_pat : pattern;
pvb_expr : expression;
pvb_attributes : attributes;
pvb_loc : location;

}

and module_binding = Astlib.Ast_412.Parsetree.module_binding = {

pmb_name : string option loc;
pmb_expr : module_expr;
pmb_attributes : attributes;
pmb_loc : location;

}

Toplevel

and toplevel_phrase = Astlib.Ast_412.Parsetree.toplevel_phrase =

| Ptop_def of structure
| Ptop_dir of toplevel_directive

and toplevel_directive = Astlib.Ast_412.Parsetree.toplevel_directive = {

pdir_name : string loc;
pdir_arg : directive_argument option;
pdir_loc : location;

}

and directive_argument = Astlib.Ast_412.Parsetree.directive_argument = {

pdira_desc : directive_argument_desc;
pdira_loc : location;

}

and directive_argument_desc = Astlib.Ast_412.Parsetree.directive_argument_desc =

| Pdir_string of string
| Pdir_int of string * char option
| Pdir_ident of longident
| Pdir_bool of bool

and cases = case list

class virtual map : object ... end

class virtual iter : object ... end

class virtual 'acc fold : object ... end

class virtual 'acc fold_map : object ... end

class virtual 'ctx map_with_context : object ... end

class virtual 'res lift : object ... end

module Ast_builder : sig ... end

Helpers for build OCaml AST fragments

module Ast_pattern : sig ... end

First class AST patterns

module Ast_traverse : sig ... end

AST traversal classes

module Attribute : sig ... end

Attribute hygiene

module Code_path : sig ... end

module Caller_id : sig ... end

module Context_free : sig ... end

Context free rewriting

module Deriving : sig ... end

Deriving code from type declarations

module Driver : sig ... end

module Expansion_context : sig ... end

module Extension : sig ... end

module File_path : sig ... end

Return the path used as root in a file

module Keyword : sig ... end

module Loc : sig ... end

Located items

module Location : sig ... end

Overrides the Location module of OCaml

module Longident : sig ... end

Overrides the Longident module of OCaml

module Merlin_helpers : sig ... end

Some helpers to annotate the AST so merlin can decide which branches to look at and which branches to ignore.

module Reserved_namespaces : sig ... end

module Spellcheck : sig ... end

module Quoter : sig ... end

Generate expressions in a hygienic way.

module Ast_io : sig ... end

val lident : string -> Longident.t

val core_type_of_type_declaration : 
  Astlib.Ast_412.Parsetree.type_declaration ->
  Astlib.Ast_412.Parsetree.core_type

val name_type_params_in_td : 
  Astlib.Ast_412.Parsetree.type_declaration ->
  Astlib.Ast_412.Parsetree.type_declaration

val combinator_type_of_type_declaration : 
  Astlib.Ast_412.Parsetree.type_declaration ->
  f:
    (loc:Location.t ->
      Astlib.Ast_412.Parsetree.core_type ->
      Astlib.Ast_412.Parsetree.core_type) ->
  Astlib.Ast_412.Parsetree.core_type

val gen_symbol : ?prefix:string -> unit -> string

gen_symbol ?prefix () generates a fresh variable name with prefix.

parameter prefix
default = "_x"

val string_of_core_type : Astlib.Ast_412.Parsetree.core_type -> string

val assert_no_attributes : Astlib.Ast_412.Parsetree.attribute list -> unit

val assert_no_attributes_in : Ast_traverse.iter

val get_type_param_name : 
  (Astlib.Ast_412.Parsetree.core_type
   * (Astlib.Ast_412.Asttypes.variance * Astlib.Ast_412.Asttypes.injectivity)) ->
  string Loc.t

get_tparam_id tp returns the string identifier associated with tp if it is a type parameter.

class type_is_recursive : Astlib.Ast_412.Asttypes.rec_flag -> Astlib.Ast_412.Parsetree.type_declaration
                                         list -> object ... end

(new type_is_recursive rec_flag tds)#go () returns whether rec_flag, tds is really a recursive type. We disregard recursive occurrences appearing in arrow types. You can override the search for certain type expressions by inheriting from this class.

val really_recursive : 
  Astlib.Ast_412.Asttypes.rec_flag ->
  Astlib.Ast_412.Parsetree.type_declaration list ->
  Astlib.Ast_412.Asttypes.rec_flag

really_recursive rec_flag tds = (new type_is_recursive rec_flag tds)#go ()

val loc_of_payload : Astlib.Ast_412.Parsetree.attribute -> Location.t

val loc_of_attribute : Astlib.Ast_412.Parsetree.attribute -> Location.t

val loc_of_extension : 
  (string Astlib.Location.loc * Astlib.Ast_412.Parsetree.payload) ->
  Location.t

val curry_applications : 
  Astlib.Ast_412.Parsetree.expression ->
  Astlib.Ast_412.Parsetree.expression

convert multi-arg function applications into a cascade of 1-arg applications

val attribute_of_warning : 
  Location.t ->
  string ->
  Astlib.Ast_412.Parsetree.attribute

Encode a warning message into an 'ocaml.ppwarning' attribute which can be inserted in a generated Parsetree. The compiler will be responsible for reporting the warning.

val is_polymorphic_variant : 
  Astlib.Ast_412.Parsetree.type_declaration ->
  sig_:bool ->
  [> `Definitely | `Maybe | `Surely_not ]

val mk_named_sig : 
  loc:Location.t ->
  sg_name:string ->
  handle_polymorphic_variant:bool ->
  Astlib.Ast_412.Parsetree.type_declaration list ->
  Astlib.Ast_412.Parsetree.module_type Astlib.Ast_412.Parsetree.include_infos
    option

mk_named_sig ~loc ~sg_name:"Foo" ~handle_polymorphic_variant tds will generate

include Foo (* or Foo1, Foo2, Foo3 *)
  with type (* ('a, 'b, 'c) *) t := (* ('a, 'b, 'c) *) t

when:

there is only one type declaration
the type is named t
there are less than 4 type parameters
there are no constraints on the type parameters

It will take care of giving fresh names to unnamed type parameters.