Module `Ocaml_parsing.Ast_helper`

Helpers to produce Parsetree fragments

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

type 'a with_loc = 'a Ocaml_parsing.Location.loc

type loc = Ocaml_parsing.Location.t

type lid = Ocaml_parsing.Longident.t Ocaml_parsing.Ast_helper.with_loc

type str = string Ocaml_parsing.Ast_helper.with_loc

type str_opt = string option Ocaml_parsing.Ast_helper.with_loc

type attrs = Ocaml_parsing.Parsetree.attribute list

val const_string : string -> Ocaml_parsing.Parsetree.constant

Default locations

val default_loc : Ocaml_parsing.Ast_helper.loc Stdlib.ref

Default value for all optional location arguments.

val with_default_loc : Ocaml_parsing.Ast_helper.loc -> (unit -> 'a) -> 'a

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

Constants

module Const : sig ... end

module Attr : sig ... end

Core language

module Typ : sig ... end

Type expressions

module Pat : sig ... end

Patterns

module Exp : sig ... end

Expressions

module Val : sig ... end

Value declarations

module Type : sig ... end

Type declarations

module Te : sig ... end

Type extensions

Module language

module Mty : sig ... end

Module type expressions

module Mod : sig ... end

Module expressions

module Sig : sig ... end

Signature items

module Sg : sig ... end

module Str : sig ... end

Structure items

module Md : sig ... end

Module declarations

module Ms : sig ... end

Module substitutions

module Mtd : sig ... end

Module type declarations

module Mb : sig ... end

Module bindings

module Opn : sig ... end

Opens

module Incl : sig ... end

Includes

module Vb : sig ... end

Value bindings

Class language

module Cty : sig ... end

Class type expressions

module Ctf : sig ... end

Class type fields

module Cl : sig ... end

Class expressions

module Cf : sig ... end

Class fields

module Ci : sig ... end

Classes

module Csig : sig ... end

Class signatures

module Cstr : sig ... end

Class structures

module Rf : sig ... end

Row fields

module Of : sig ... end

Object fields

merlin: refactored out of Parser

type let_binding = {

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

}

type let_bindings = {

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

}

val no_label : Ocaml_parsing.Parsetree.arg_label

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