ppx_core v0.9.0 · OCaml Package

deprecated [since 2017-01] Use Ppx_core or Ppx_core.Light instead

module Ast_builder = Ast_builder

module Ast_pattern = Ast_pattern

module Ast_traverse = Ast_traverse

module Attribute = Attribute

module Caller_id = Caller_id

module Context_free = Context_free

module Extension = Extension

module File_path = File_path

module Loc = Loc

module Reserved_namespaces : sig ... end

module Spellcheck = Spellcheck

val lident : Base.String.t -> Longident.t

val core_type_of_type_declaration : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.type_declaration ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type

val name_type_params_in_td : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.type_declaration ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.type_declaration

val combinator_type_of_type_declaration : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.type_declaration ->
  f:
    (loc:Location.t ->
      Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type ->
      Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type

val gen_symbol : ?prefix:Base.String.t -> Base.Unit.t -> Base.String.t

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

parameter prefix
default = "_x"

val string_of_core_type : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type ->
  Base.String.t

val assert_no_attributes : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload)
    list ->
  Base.Unit.t

val assert_no_attributes_in : Ast_traverse.iter

val get_type_param_name : 
  (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type
   * Migrate_parsetree.OCaml_403.Ast.Asttypes.variance) ->
  Base.String.t Loc.t

get_tparam_id tp

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

val types_are_recursive : 
  ?stop_on_functions:Base.Bool.t ->
  ?short_circuit:
    (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type ->
      Base.Bool.t Base.Option.t) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.type_declaration Base.List.t ->
  Base.Bool.t

Returns whether the given type declarations refer to themselves.

short_circuit allows you to override the search for certain type expressions.

stop_on_functions allows to disregard the recursive occurences appearing in arrow types. The default is to disregard them.

val really_recursive : 
  Migrate_parsetree.OCaml_403.Ast.Asttypes.rec_flag ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.type_declaration Base.List.t ->
  Migrate_parsetree.OCaml_403.Ast.Asttypes.rec_flag

val loc_of_payload : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) ->
  Location.t

val loc_of_attribute : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) ->
  Location.t

val curry_applications : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

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

val attribute_of_warning : 
  Location.t ->
  Base.String.t ->
  string Ocaml_common.Location.loc
  * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload

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.

package ppx_core