package merlin-lib

  1. Overview
  2. Docs
Merlin's libraries

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (17)

Authors

  1. T
    The Merlin team

Maintainers

  1. D
    defree@gmail.com

Sources

merlin-5.8.1-505.tbz
sha256=b8fb32bc0fc092af2fd6bdc831cb966057f2e3fd7b99a172b705e96ba8082583
sha512=01ca96f8167d062ba24036e43f650ff958fb157d44867bd52eb7999b7d19bf9fc97cdcd46c04b6979f0e1149d5041047723eed5913b03c4404d7acb116183bee

doc/merlin-lib.ocaml_parsing/Ocaml_parsing/Ast_helper/Typ/index.html

Module Ast_helper.TypSource

Type expressions

Sourceval any : ?loc:loc -> ?attrs:attrs -> unit -> Parsetree.core_type
Sourceval var : ?loc:loc -> ?attrs:attrs -> string -> Parsetree.core_type
Sourceval tuple : ?loc:loc -> ?attrs:attrs -> (string option * Parsetree.core_type) list -> Parsetree.core_type
Sourceval constr : ?loc:loc -> ?attrs:attrs -> lid -> Parsetree.core_type list -> Parsetree.core_type
Sourceval object_ : ?loc:loc -> ?attrs:attrs -> Parsetree.object_field list -> Asttypes.closed_flag -> Parsetree.core_type
Sourceval class_ : ?loc:loc -> ?attrs:attrs -> lid -> Parsetree.core_type list -> Parsetree.core_type
Sourceval alias : ?loc:loc -> ?attrs:attrs -> Parsetree.core_type -> string with_loc -> Parsetree.core_type
Sourceval variant : ?loc:loc -> ?attrs:attrs -> Parsetree.row_field list -> Asttypes.closed_flag -> Asttypes.label list option -> Parsetree.core_type
Sourceval poly : ?loc:loc -> ?attrs:attrs -> str list -> Parsetree.core_type -> Parsetree.core_type
Sourceval package : ?loc:loc -> ?attrs:attrs -> Parsetree.package_type -> Parsetree.core_type
Sourceval open_ : ?loc:loc -> ?attrs:attrs -> lid -> Parsetree.core_type -> Parsetree.core_type
Sourceval extension : ?loc:loc -> ?attrs:attrs -> Parsetree.extension -> Parsetree.core_type
Sourceval functor_ : ?loc:loc -> ?attrs:attrs -> Asttypes.arg_label -> str -> Parsetree.package_type -> Parsetree.core_type -> Parsetree.core_type
Sourceval varify_constructors : str list -> Parsetree.core_type -> Parsetree.core_type

varify_constructors newtypes te is type expression te, of which any of nullary type constructor tc is replaced by type variable of the same name, if tc's name appears in newtypes. Raise Syntaxerr.Variable_in_scope if any type variable inside te appears in newtypes.

  • since 4.05
Sourceval package_type : ?loc:loc -> ?attrs:attrs -> lid -> (lid * Parsetree.core_type) list -> Parsetree.package_type
  • since 5.4