package ppxlib

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package ppxlib

ppxlib
- Ppxlib
  - Ast_builder
    
    Default
    
    Located
    
    Loc
    
    Make
    
    Loc
    
    Located
    
    S
    
    Located
  - 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
    
    Generator
    
    V2
  - Driver
    
    Cookies
    
    Create_file_property
    
    Name
    
    T
    
    Lint_error
  - Expansion_context
    
    Base
    
    Deriver
    
    Extension
  - Extension
    
    Context
    
    Expert
    
    For_context
    
    V2
    
    V3
  - File_path
  - Loc
  - Location
    
    Error
  - Longident
  - Merlin_helpers
  - 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
  - Extra_warnings
  - Import_for_core
    
    Lexer
    
    Location
    
    Parse
    
    Of_ocaml
    
    Parser
    
    Of_ocaml
    
    Select_ast
    
    Ocaml
    
    Ast
    
    Ast_mapper
    
    Config
    
    Outcometree
    
    Parsetree
    
    Of_ocaml
    
    To_ocaml
    
    Type
    
    Selected_ast
    
    Of_ocaml
    
    To_ocaml
    
    Type
    
    Syntaxerr
  - Lexer
  - Parse
    
    Of_ocaml
  - Parser
    
    Of_ocaml
  - Pprintast
  - Select_ast
    
    Ocaml
    
    Ast
    
    Ast_mapper
    
    Config
    
    Outcometree
    
    Parsetree
    
    Of_ocaml
    
    To_ocaml
    
    Type
  - Selected_ast
    
    Of_ocaml
    
    To_ocaml
    
    Type
  - Syntaxerr
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.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

Parameters

module Ocaml : Migrate_parsetree.Versions.OCaml_version

Signature

include module type of struct include Migrate_parsetree.OCaml_407 end

module Ast = Migrate_parsetree.OCaml_407.Ast

Ast definition for this version

val version : int

val string_version : string

type types =
  < structure : Ast.Parsetree.structure
  ; signature : Ast.Parsetree.signature
  ; toplevel_phrase : Ast.Parsetree.toplevel_phrase
  ; core_type : Ast.Parsetree.core_type
  ; expression : Ast.Parsetree.expression
  ; pattern : Ast.Parsetree.pattern
  ; case : Ast.Parsetree.case
  ; type_declaration : Ast.Parsetree.type_declaration
  ; type_extension : Ast.Parsetree.type_extension
  ; extension_constructor : Ast.Parsetree.extension_constructor
  ; out_value : Ast.Outcometree.out_value
  ; out_type : Ast.Outcometree.out_type
  ; out_class_type : Ast.Outcometree.out_class_type
  ; out_module_type : Ast.Outcometree.out_module_type
  ; out_sig_item : Ast.Outcometree.out_sig_item
  ; out_type_extension : Ast.Outcometree.out_type_extension
  ; out_phrase : Ast.Outcometree.out_phrase
  ; mapper : Ast.Ast_mapper.mapper >

Shortcut for talking about Ast types

type Migrate_parsetree__.Migrate_parsetree_versions.witnesses +=

| Version : types Migrate_parsetree__.Migrate_parsetree_versions.witnesses

A construtor for recovering type equalities between two arbitrary versions.

val migration_info : 
  types Migrate_parsetree__.Migrate_parsetree_versions.migration_info

Information used to derive migration functions, see below

module Type : sig ... end

module Of_ocaml : sig ... end

module To_ocaml : sig ... end

val of_ocaml : 'ocaml 'js. ('js, 'ocaml) Type.t -> 'ocaml -> 'js

val to_ocaml : 'ocaml 'js. ('js, 'ocaml) Type.t -> 'js -> 'ocaml

val of_ocaml_mapper : ('a, 'b) Type.t -> ('b -> 'b) -> 'a -> 'a

val to_ocaml_mapper : ('a, 'b) Type.t -> ('a -> 'a) -> 'b -> 'b