Ppxlib.Driver.V2 · ppxlib 0.27.0 · OCaml Packages

ppxlib

Standard library for ppx rewriters

ppxlib
- Ppxlib
  - Ast_builder
    
    Default
    
    Latest
    
    Located
    
    Loc
    
    Make
    
    1-Loc
    
    Latest
    
    Located
    
    S
    
    Latest
    
    Located
  - Ast_io
  - Ast_pattern
    
    Packed
  - Ast_traverse
    
    fold
    
    fold_map
    
    iter
    
    lift
    
    map
    
    map_with_context
    
    map_with_expansion_context
    
    map_with_path
    
    sexp_of
  - Attribute
    
    Context
    
    Floating
    
    Context
  - Caller_id
  - Code_path
  - Context_free
    
    Rule
    
    Constant_kind
    
    map_top_down
  - Deriving
    
    Args
    
    Packed
    
    Generator
    
    V2
  - Driver
    
    Cookies
    
    Create_file_property
    
    1-Name
    
    2-T
    
    Instrument
    
    V2
    
    Lint_error
    
    V2
  - Expansion_context
    
    Base
    
    Deriver
    
    Extension
  - Extension
    
    Context
    
    Expert
    
    For_context
    
    V2
    
    V3
  - File_path
  - Keyword
  - Loc
  - Location
    
    Error
  - Longident
    
    Map
    
    Set
  - Merlin_helpers
  - Quoter
  - Reserved_namespaces
  - Spellcheck
  - fold
  - fold_map
  - iter
  - lift
  - map
  - map_with_context
  - type_is_recursive
ppxlib.ast
- Ppxlib_ast
  - Ast
    
    fold
    
    fold_map
    
    iter
    
    lift
    
    map
    
    map_with_context
  - Ast_helper
    
    Attr
    
    Cf
    
    Ci
    
    Cl
    
    Const
    
    Csig
    
    Cstr
    
    Ctf
    
    Cty
    
    Exp
    
    Incl
    
    Mb
    
    Md
    
    Mod
    
    Ms
    
    Mtd
    
    Mty
    
    Of
    
    Opn
    
    Pat
    
    Rf
    
    Sig
    
    Str
    
    Te
    
    Typ
    
    Type
    
    Val
    
    Vb
  - Compiler_version
  - Convert
    
    1-A
    
    Ast
    
    Config
    
    Parsetree
    
    2-B
    
    Ast
    
    Config
    
    Parsetree
  - Extra_warnings
  - Find_version
  - Js
  - Location_error
  - OCaml_version
    
    Ast
    
    Config
    
    Parsetree
  - Parse
    
    Of_ocaml
  - Select_ast
    
    1-Ocaml
    
    Ast
    
    Config
    
    Parsetree
    
    Of_ocaml
    
    To_ocaml
    
    Type
  - Selected_ast
    
    Of_ocaml
    
    To_ocaml
    
    Type
ppxlib.astlib
- Astlib
  - Ast_402
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_403
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_404
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_405
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_406
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_407
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_408
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_409
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_410
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_411
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_412
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_413
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_414
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_500
    
    Asttypes
    
    Config
    
    Parsetree
  - Ast_metadata
  - Config
  - Keyword
  - Location
    
    Error
  - Longident
  - Migrate_402_403
  - Migrate_403_402
  - Migrate_403_404
  - Migrate_404_403
  - Migrate_404_405
  - Migrate_405_404
  - Migrate_405_406
  - Migrate_406_405
  - Migrate_406_407
  - Migrate_407_406
  - Migrate_407_408
  - Migrate_408_407
  - Migrate_408_409
  - Migrate_409_408
  - Migrate_409_410
  - Migrate_410_409
  - Migrate_410_411
  - Migrate_411_410
  - Migrate_411_412
  - Migrate_412_411
  - Migrate_412_413
  - Migrate_413_412
  - Migrate_413_414
  - Migrate_414_413
  - Migrate_414_500
  - Migrate_500_414
  - Parse
  - Pprintast
ppxlib.metaquot
- Ppxlib_metaquot
  - Expr
  - Make
    
    1-M
    
    std_lifters
  - Patt
ppxlib.metaquot_lifters
- Ppxlib_metaquot_lifters
  - expression_lifters
  - pattern_lifters
ppxlib.print_diff
- Ppxlib_print_diff
ppxlib.runner
- Ppxlib_runner
  - Ppx_driver_runner
ppxlib.runner_as_ppx
- Ppxlib_runner_as_ppx
  - Ppx_driver_runner_as_ppx
ppxlib.stdppx
- Stdppx
  - Bool
  - Bytes
  - Char
  - Comparisons
  - Either
  - Exn
  - Exn_converter
    
    For_unit_tests_only
  - Float
  - Fn
  - Hashtbl
    
    HashedType
    
    Make
    
    1-H
    
    MakeSeeded
    
    1-H
    
    S
    
    SeededHashedType
    
    SeededS
  - In_channel
  - Int
  - List
  - NonEmptyList
  - Option
  - Out_channel
  - Poly
  - Result
  - String
    
    Map
    
    Set
ppxlib.traverse
- Ppxlib_traverse
  - Backends
    
    reconstructors
    
    what
ppxlib.traverse_builtins
- Ppxlib_traverse_builtins
  - T
  - fold
  - fold_map
  - iter
  - lift
  - map
  - map_with_context
  - std_lifters

Legend:
Library
Module
Module type
Parameter
Class
Class type

Library ppxlib

Module Ppxlib . Driver . V2

val register_transformation : 
  ?extensions:Extension.t list ->
  ?rules:Context_free.Rule.t list ->
  ?enclose_impl:
    ( Expansion_context.Base.t ->
      Location.t option ->
      Astlib.Ast_500.Parsetree.structure_item list
      * Astlib.Ast_500.Parsetree.structure_item list ) ->
  ?enclose_intf:
    ( Expansion_context.Base.t ->
      Location.t option ->
      Astlib.Ast_500.Parsetree.signature_item list
      * Astlib.Ast_500.Parsetree.signature_item list ) ->
  ?impl:
    ( Expansion_context.Base.t ->
      Astlib.Ast_500.Parsetree.structure_item list ->
      Astlib.Ast_500.Parsetree.structure_item list ) ->
  ?intf:
    ( Expansion_context.Base.t ->
      Astlib.Ast_500.Parsetree.signature_item list ->
      Astlib.Ast_500.Parsetree.signature_item list ) ->
  ?lint_impl:
    ( Expansion_context.Base.t ->
      Astlib.Ast_500.Parsetree.structure_item list ->
      Lint_error.t list ) ->
  ?lint_intf:
    ( Expansion_context.Base.t ->
      Astlib.Ast_500.Parsetree.signature_item list ->
      Lint_error.t list ) ->
  ?preprocess_impl:
    ( Expansion_context.Base.t ->
      Astlib.Ast_500.Parsetree.structure_item list ->
      Astlib.Ast_500.Parsetree.structure_item list ) ->
  ?preprocess_intf:
    ( Expansion_context.Base.t ->
      Astlib.Ast_500.Parsetree.signature_item list ->
      Astlib.Ast_500.Parsetree.signature_item list ) ->
  ?instrument:Instrument.t ->
  ?aliases:string list ->
  string ->
  unit

Same as Driver.register_transformation, but the callbacks have access to an expansion context. Their signatures coincide with the signatures of the respective methods in Ast_traverse.map_with_expansion_context.

val register_transformation_using_ocaml_current_ast : 
  ?impl:
    ( Expansion_context.Base.t ->
      Ppxlib_ast.Compiler_version.Ast.Parsetree.structure ->
      Ppxlib_ast.Compiler_version.Ast.Parsetree.structure ) ->
  ?intf:
    ( Expansion_context.Base.t ->
      Ppxlib_ast.Compiler_version.Ast.Parsetree.signature ->
      Ppxlib_ast.Compiler_version.Ast.Parsetree.signature ) ->
  ?aliases:string list ->
  string ->
  unit

Same as Driver.register_transformation_using_ocaml_current_ast, but the callbacks ?impl and ?intf have access to an expansion context.