Module `Reason_omp.Driver`Source

State a rewriter can access

Sourcetype extra = ..

Sourcetype config = {

tool_name : string;
include_dirs : string list;
load_path : string list;
debug : bool;
for_package : string option;
(*
Additional parameters that can be passed by a caller of rewrite_{signature,structure} to a specific register rewriter.
*)
extras : extra list;

}

val make_config : 
  tool_name:string ->
  ?include_dirs:string list ->
  ?load_path:string list ->
  ?debug:bool ->
  ?for_package:string ->
  ?extras:extra list ->
  unit ->
  config

Sourcetype cookies

Source

val get_cookie : 
  cookies ->
  string ->
  (module Reason_omp__.Migrate_parsetree_versions.OCaml_version
    with type Ast.Ast_mapper.mapper =
      'types Reason_omp__.Migrate_parsetree_versions.get_mapper
     and type Ast.Outcometree.out_class_type =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_class_type
     and type Ast.Outcometree.out_module_type =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_module_type
     and type Ast.Outcometree.out_phrase =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_phrase
     and type Ast.Outcometree.out_sig_item =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_sig_item
     and type Ast.Outcometree.out_type =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_type
     and type Ast.Outcometree.out_type_extension =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_type_extension
     and type Ast.Outcometree.out_value =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_value
     and type Ast.Parsetree.case =
      'types Reason_omp__.Migrate_parsetree_versions.get_case
     and type Ast.Parsetree.core_type =
      'types Reason_omp__.Migrate_parsetree_versions.get_core_type
     and type Ast.Parsetree.expression =
      'types Reason_omp__.Migrate_parsetree_versions.get_expression
     and type Ast.Parsetree.extension_constructor =
      'types Reason_omp__.Migrate_parsetree_versions.get_extension_constructor
     and type Ast.Parsetree.pattern =
      'types Reason_omp__.Migrate_parsetree_versions.get_pattern
     and type Ast.Parsetree.signature =
      'types Reason_omp__.Migrate_parsetree_versions.get_signature
     and type Ast.Parsetree.structure =
      'types Reason_omp__.Migrate_parsetree_versions.get_structure
     and type Ast.Parsetree.toplevel_phrase =
      'types Reason_omp__.Migrate_parsetree_versions.get_toplevel_phrase
     and type Ast.Parsetree.type_declaration =
      'types Reason_omp__.Migrate_parsetree_versions.get_type_declaration
     and type Ast.Parsetree.type_extension =
      'types Reason_omp__.Migrate_parsetree_versions.get_type_extension) ->
  'types Reason_omp__.Migrate_parsetree_versions.get_expression option

Source

val set_cookie : 
  cookies ->
  string ->
  (module Reason_omp__.Migrate_parsetree_versions.OCaml_version
    with type Ast.Ast_mapper.mapper =
      'types Reason_omp__.Migrate_parsetree_versions.get_mapper
     and type Ast.Outcometree.out_class_type =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_class_type
     and type Ast.Outcometree.out_module_type =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_module_type
     and type Ast.Outcometree.out_phrase =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_phrase
     and type Ast.Outcometree.out_sig_item =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_sig_item
     and type Ast.Outcometree.out_type =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_type
     and type Ast.Outcometree.out_type_extension =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_type_extension
     and type Ast.Outcometree.out_value =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_value
     and type Ast.Parsetree.case =
      'types Reason_omp__.Migrate_parsetree_versions.get_case
     and type Ast.Parsetree.core_type =
      'types Reason_omp__.Migrate_parsetree_versions.get_core_type
     and type Ast.Parsetree.expression =
      'types Reason_omp__.Migrate_parsetree_versions.get_expression
     and type Ast.Parsetree.extension_constructor =
      'types Reason_omp__.Migrate_parsetree_versions.get_extension_constructor
     and type Ast.Parsetree.pattern =
      'types Reason_omp__.Migrate_parsetree_versions.get_pattern
     and type Ast.Parsetree.signature =
      'types Reason_omp__.Migrate_parsetree_versions.get_signature
     and type Ast.Parsetree.structure =
      'types Reason_omp__.Migrate_parsetree_versions.get_structure
     and type Ast.Parsetree.toplevel_phrase =
      'types Reason_omp__.Migrate_parsetree_versions.get_toplevel_phrase
     and type Ast.Parsetree.type_declaration =
      'types Reason_omp__.Migrate_parsetree_versions.get_type_declaration
     and type Ast.Parsetree.type_extension =
      'types Reason_omp__.Migrate_parsetree_versions.get_type_extension) ->
  'types Reason_omp__.Migrate_parsetree_versions.get_expression ->
  unit

Source

val set_global_cookie : 
  string ->
  (module Reason_omp__.Migrate_parsetree_versions.OCaml_version
    with type Ast.Ast_mapper.mapper =
      'types Reason_omp__.Migrate_parsetree_versions.get_mapper
     and type Ast.Outcometree.out_class_type =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_class_type
     and type Ast.Outcometree.out_module_type =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_module_type
     and type Ast.Outcometree.out_phrase =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_phrase
     and type Ast.Outcometree.out_sig_item =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_sig_item
     and type Ast.Outcometree.out_type =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_type
     and type Ast.Outcometree.out_type_extension =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_type_extension
     and type Ast.Outcometree.out_value =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_value
     and type Ast.Parsetree.case =
      'types Reason_omp__.Migrate_parsetree_versions.get_case
     and type Ast.Parsetree.core_type =
      'types Reason_omp__.Migrate_parsetree_versions.get_core_type
     and type Ast.Parsetree.expression =
      'types Reason_omp__.Migrate_parsetree_versions.get_expression
     and type Ast.Parsetree.extension_constructor =
      'types Reason_omp__.Migrate_parsetree_versions.get_extension_constructor
     and type Ast.Parsetree.pattern =
      'types Reason_omp__.Migrate_parsetree_versions.get_pattern
     and type Ast.Parsetree.signature =
      'types Reason_omp__.Migrate_parsetree_versions.get_signature
     and type Ast.Parsetree.structure =
      'types Reason_omp__.Migrate_parsetree_versions.get_structure
     and type Ast.Parsetree.toplevel_phrase =
      'types Reason_omp__.Migrate_parsetree_versions.get_toplevel_phrase
     and type Ast.Parsetree.type_declaration =
      'types Reason_omp__.Migrate_parsetree_versions.get_type_declaration
     and type Ast.Parsetree.type_extension =
      'types Reason_omp__.Migrate_parsetree_versions.get_type_extension) ->
  'types Reason_omp__.Migrate_parsetree_versions.get_expression ->
  unit

Registering rewriters

Source

type 'types rewriter =
  config ->
  cookies ->
  'types Reason_omp__.Migrate_parsetree_versions.get_mapper

Source

val register : 
  name:string ->
  ?reset_args:(unit -> unit) ->
  ?args:(Arg.key * Arg.spec * Arg.doc) list ->
  ?position:int ->
  (module Reason_omp__.Migrate_parsetree_versions.OCaml_version
    with type Ast.Ast_mapper.mapper =
      'types Reason_omp__.Migrate_parsetree_versions.get_mapper
     and type Ast.Outcometree.out_class_type =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_class_type
     and type Ast.Outcometree.out_module_type =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_module_type
     and type Ast.Outcometree.out_phrase =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_phrase
     and type Ast.Outcometree.out_sig_item =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_sig_item
     and type Ast.Outcometree.out_type =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_type
     and type Ast.Outcometree.out_type_extension =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_type_extension
     and type Ast.Outcometree.out_value =
      'types Reason_omp__.Migrate_parsetree_versions.get_out_value
     and type Ast.Parsetree.case =
      'types Reason_omp__.Migrate_parsetree_versions.get_case
     and type Ast.Parsetree.core_type =
      'types Reason_omp__.Migrate_parsetree_versions.get_core_type
     and type Ast.Parsetree.expression =
      'types Reason_omp__.Migrate_parsetree_versions.get_expression
     and type Ast.Parsetree.extension_constructor =
      'types Reason_omp__.Migrate_parsetree_versions.get_extension_constructor
     and type Ast.Parsetree.pattern =
      'types Reason_omp__.Migrate_parsetree_versions.get_pattern
     and type Ast.Parsetree.signature =
      'types Reason_omp__.Migrate_parsetree_versions.get_signature
     and type Ast.Parsetree.structure =
      'types Reason_omp__.Migrate_parsetree_versions.get_structure
     and type Ast.Parsetree.toplevel_phrase =
      'types Reason_omp__.Migrate_parsetree_versions.get_toplevel_phrase
     and type Ast.Parsetree.type_declaration =
      'types Reason_omp__.Migrate_parsetree_versions.get_type_declaration
     and type Ast.Parsetree.type_extension =
      'types Reason_omp__.Migrate_parsetree_versions.get_type_extension) ->
  'types rewriter ->
  unit

Register a ppx rewriter. position is a integer that indicates when the ppx rewriter should be applied. It is guaranteed that if two ppx rewriters a and b have different position numbers, then the one with the lowest number will be applied first. The rewriting order of ppx rewriters with the same position number is not specified. The default position is 0.

Note that more different position numbers means more AST conversions and slower rewriting, so think twice before setting position to a non-zero number.

Sourceval registered_args : unit -> (Arg.key * Arg.spec * Arg.doc) list

Return the list of command line arguments registered by rewriters

Sourceval reset_args : unit -> unit

Call all the registered reset_args callbacks

Running registered rewriters

Sourceval run_as_ast_mapper : ?exit_on_error:bool -> string list -> Ast_mapper.mapper

Source

val run_as_ppx_rewriter : 
  ?exit_on_error:bool ->
  ?argv:string array ->
  unit ->
  unit

Sourceval run_main : ?exit_on_error:bool -> ?argv:string array -> unit -> unit

Manual mapping

Sourcetype some_signature =

| Sig : (module Reason_omp__.Migrate_parsetree_versions.OCaml_version with type Ast.Parsetree.signature = 'concrete) * 'concrete -> some_signature

Sourcetype some_structure =

| Str : (module Reason_omp__.Migrate_parsetree_versions.OCaml_version with type Ast.Parsetree.structure = 'concrete) * 'concrete -> some_structure

Source

val migrate_some_signature : 
  (module Reason_omp__.Migrate_parsetree_versions.OCaml_version
    with type Ast.Ast_mapper.mapper =
      'version Reason_omp__.Migrate_parsetree_versions.get_mapper
     and type Ast.Outcometree.out_class_type =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_class_type
     and type Ast.Outcometree.out_module_type =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_module_type
     and type Ast.Outcometree.out_phrase =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_phrase
     and type Ast.Outcometree.out_sig_item =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_sig_item
     and type Ast.Outcometree.out_type =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_type
     and type Ast.Outcometree.out_type_extension =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_type_extension
     and type Ast.Outcometree.out_value =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_value
     and type Ast.Parsetree.case =
      'version Reason_omp__.Migrate_parsetree_versions.get_case
     and type Ast.Parsetree.core_type =
      'version Reason_omp__.Migrate_parsetree_versions.get_core_type
     and type Ast.Parsetree.expression =
      'version Reason_omp__.Migrate_parsetree_versions.get_expression
     and type Ast.Parsetree.extension_constructor =
      'version
        Reason_omp__.Migrate_parsetree_versions.get_extension_constructor
     and type Ast.Parsetree.pattern =
      'version Reason_omp__.Migrate_parsetree_versions.get_pattern
     and type Ast.Parsetree.signature =
      'version Reason_omp__.Migrate_parsetree_versions.get_signature
     and type Ast.Parsetree.structure =
      'version Reason_omp__.Migrate_parsetree_versions.get_structure
     and type Ast.Parsetree.toplevel_phrase =
      'version Reason_omp__.Migrate_parsetree_versions.get_toplevel_phrase
     and type Ast.Parsetree.type_declaration =
      'version Reason_omp__.Migrate_parsetree_versions.get_type_declaration
     and type Ast.Parsetree.type_extension =
      'version Reason_omp__.Migrate_parsetree_versions.get_type_extension) ->
  some_signature ->
  'version Reason_omp__.Migrate_parsetree_versions.get_signature

Source

val migrate_some_structure : 
  (module Reason_omp__.Migrate_parsetree_versions.OCaml_version
    with type Ast.Ast_mapper.mapper =
      'version Reason_omp__.Migrate_parsetree_versions.get_mapper
     and type Ast.Outcometree.out_class_type =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_class_type
     and type Ast.Outcometree.out_module_type =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_module_type
     and type Ast.Outcometree.out_phrase =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_phrase
     and type Ast.Outcometree.out_sig_item =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_sig_item
     and type Ast.Outcometree.out_type =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_type
     and type Ast.Outcometree.out_type_extension =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_type_extension
     and type Ast.Outcometree.out_value =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_value
     and type Ast.Parsetree.case =
      'version Reason_omp__.Migrate_parsetree_versions.get_case
     and type Ast.Parsetree.core_type =
      'version Reason_omp__.Migrate_parsetree_versions.get_core_type
     and type Ast.Parsetree.expression =
      'version Reason_omp__.Migrate_parsetree_versions.get_expression
     and type Ast.Parsetree.extension_constructor =
      'version
        Reason_omp__.Migrate_parsetree_versions.get_extension_constructor
     and type Ast.Parsetree.pattern =
      'version Reason_omp__.Migrate_parsetree_versions.get_pattern
     and type Ast.Parsetree.signature =
      'version Reason_omp__.Migrate_parsetree_versions.get_signature
     and type Ast.Parsetree.structure =
      'version Reason_omp__.Migrate_parsetree_versions.get_structure
     and type Ast.Parsetree.toplevel_phrase =
      'version Reason_omp__.Migrate_parsetree_versions.get_toplevel_phrase
     and type Ast.Parsetree.type_declaration =
      'version Reason_omp__.Migrate_parsetree_versions.get_type_declaration
     and type Ast.Parsetree.type_extension =
      'version Reason_omp__.Migrate_parsetree_versions.get_type_extension) ->
  some_structure ->
  'version Reason_omp__.Migrate_parsetree_versions.get_structure

Source

val rewrite_signature : 
  config ->
  (module Reason_omp__.Migrate_parsetree_versions.OCaml_version
    with type Ast.Ast_mapper.mapper =
      'version Reason_omp__.Migrate_parsetree_versions.get_mapper
     and type Ast.Outcometree.out_class_type =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_class_type
     and type Ast.Outcometree.out_module_type =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_module_type
     and type Ast.Outcometree.out_phrase =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_phrase
     and type Ast.Outcometree.out_sig_item =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_sig_item
     and type Ast.Outcometree.out_type =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_type
     and type Ast.Outcometree.out_type_extension =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_type_extension
     and type Ast.Outcometree.out_value =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_value
     and type Ast.Parsetree.case =
      'version Reason_omp__.Migrate_parsetree_versions.get_case
     and type Ast.Parsetree.core_type =
      'version Reason_omp__.Migrate_parsetree_versions.get_core_type
     and type Ast.Parsetree.expression =
      'version Reason_omp__.Migrate_parsetree_versions.get_expression
     and type Ast.Parsetree.extension_constructor =
      'version
        Reason_omp__.Migrate_parsetree_versions.get_extension_constructor
     and type Ast.Parsetree.pattern =
      'version Reason_omp__.Migrate_parsetree_versions.get_pattern
     and type Ast.Parsetree.signature =
      'version Reason_omp__.Migrate_parsetree_versions.get_signature
     and type Ast.Parsetree.structure =
      'version Reason_omp__.Migrate_parsetree_versions.get_structure
     and type Ast.Parsetree.toplevel_phrase =
      'version Reason_omp__.Migrate_parsetree_versions.get_toplevel_phrase
     and type Ast.Parsetree.type_declaration =
      'version Reason_omp__.Migrate_parsetree_versions.get_type_declaration
     and type Ast.Parsetree.type_extension =
      'version Reason_omp__.Migrate_parsetree_versions.get_type_extension) ->
  'version Reason_omp__.Migrate_parsetree_versions.get_signature ->
  some_signature

Source

val rewrite_structure : 
  config ->
  (module Reason_omp__.Migrate_parsetree_versions.OCaml_version
    with type Ast.Ast_mapper.mapper =
      'version Reason_omp__.Migrate_parsetree_versions.get_mapper
     and type Ast.Outcometree.out_class_type =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_class_type
     and type Ast.Outcometree.out_module_type =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_module_type
     and type Ast.Outcometree.out_phrase =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_phrase
     and type Ast.Outcometree.out_sig_item =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_sig_item
     and type Ast.Outcometree.out_type =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_type
     and type Ast.Outcometree.out_type_extension =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_type_extension
     and type Ast.Outcometree.out_value =
      'version Reason_omp__.Migrate_parsetree_versions.get_out_value
     and type Ast.Parsetree.case =
      'version Reason_omp__.Migrate_parsetree_versions.get_case
     and type Ast.Parsetree.core_type =
      'version Reason_omp__.Migrate_parsetree_versions.get_core_type
     and type Ast.Parsetree.expression =
      'version Reason_omp__.Migrate_parsetree_versions.get_expression
     and type Ast.Parsetree.extension_constructor =
      'version
        Reason_omp__.Migrate_parsetree_versions.get_extension_constructor
     and type Ast.Parsetree.pattern =
      'version Reason_omp__.Migrate_parsetree_versions.get_pattern
     and type Ast.Parsetree.signature =
      'version Reason_omp__.Migrate_parsetree_versions.get_signature
     and type Ast.Parsetree.structure =
      'version Reason_omp__.Migrate_parsetree_versions.get_structure
     and type Ast.Parsetree.toplevel_phrase =
      'version Reason_omp__.Migrate_parsetree_versions.get_toplevel_phrase
     and type Ast.Parsetree.type_declaration =
      'version Reason_omp__.Migrate_parsetree_versions.get_type_declaration
     and type Ast.Parsetree.type_extension =
      'version Reason_omp__.Migrate_parsetree_versions.get_type_extension) ->
  'version Reason_omp__.Migrate_parsetree_versions.get_structure ->
  some_structure

Install

Dune Dependency

Authors

Maintainers

Sources

doc/reason.ocaml-migrate-parsetree/Reason_omp/Driver/index.html

Module `Reason_omp.Driver`Source

State a rewriter can access

Registering rewriters

Running registered rewriters

Manual mapping

package reason

Install

Dune Dependency

Authors

Maintainers

Sources

doc/reason.ocaml-migrate-parsetree/Reason_omp/Driver/index.html

Module Reason_omp.DriverSource

State a rewriter can access

Registering rewriters

Running registered rewriters

Manual mapping

Module `Reason_omp.Driver`Source