Module `Ocaml_parsing.Ast_helper`Source

Helpers to produce Parsetree fragments

Warning This module is unstable and part of compiler-libs.

Sourcetype 'a with_loc = 'a Location.loc

Sourcetype loc = Location.t

Sourcetype lid = Longident.t with_loc

Sourcetype str = string with_loc

Sourcetype str_opt = string option with_loc

Sourcetype attrs = Parsetree.attribute list

Sourceval const_string : string -> Parsetree.constant

Default locations

Sourceval default_loc : loc ref

Default value for all optional location arguments.

Sourceval with_default_loc : loc -> (unit -> 'a) -> 'a

Set the default_loc within the scope of the execution of the provided function.

Constants

Sourcemodule Const : sig ... end

Sourcemodule Attr : sig ... end

Core language

Sourcemodule Typ : sig ... end

Type expressions

Sourcemodule Pat : sig ... end

Patterns

Sourcemodule Exp : sig ... end

Expressions

Sourcemodule Val : sig ... end

Value declarations

Sourcemodule Type : sig ... end

Type declarations

Sourcemodule Te : sig ... end

Type extensions

Module language

Sourcemodule Mty : sig ... end

Module type expressions

Sourcemodule Mod : sig ... end

Module expressions

Sourcemodule Sig : sig ... end

Signature items

Sourcemodule Str : sig ... end

Structure items

Sourcemodule Md : sig ... end

Module declarations

Sourcemodule Ms : sig ... end

Module substitutions

Sourcemodule Mtd : sig ... end

Module type declarations

Sourcemodule Mb : sig ... end

Module bindings

Sourcemodule Opn : sig ... end

Opens

Sourcemodule Incl : sig ... end

Includes

Sourcemodule Vb : sig ... end

Value bindings

Class language

Sourcemodule Cty : sig ... end

Class type expressions

Sourcemodule Ctf : sig ... end

Class type fields

Sourcemodule Cl : sig ... end

Class expressions

Sourcemodule Cf : sig ... end

Class fields

Sourcemodule Ci : sig ... end

Classes

Sourcemodule Csig : sig ... end

Class signatures

Sourcemodule Cstr : sig ... end

Class structures

Sourcemodule Rf : sig ... end

Row fields

Sourcemodule Of : sig ... end

Object fields

merlin: refactored out of Parser

Sourcetype let_binding = {

lb_pattern : Parsetree.pattern;
lb_expression : Parsetree.expression;
lb_constraint : Parsetree.value_constraint option;
lb_is_pun : bool;
lb_attributes : Parsetree.attributes;
lb_docs : Docstrings.docs Lazy.t;
lb_text : Docstrings.text Lazy.t;
lb_loc : Location.t;

}

Sourcetype let_bindings = {

lbs_bindings : let_binding list;
lbs_rec : Asttypes.rec_flag;
lbs_extension : string Asttypes.loc option;

}

Sourceval no_label : Asttypes.arg_label

Sourceval extract_str_payload : Parsetree.payload -> (string * Location.t) option