package ppxlib

You can search for identifiers within the package.

in-package search v0.2.0

package ppxlib

ppxlib's user manual
- HISTORY
- AST Traversals
- How It Works
- Examples
- Generating AST Nodes
- Good Practices
- Destructing AST Nodes
- Introduction
- Writing a Transformation
- Library ppxlib
  - Ppxlib
    
    Ast_builder
    
    Default
    
    Located
    
    Latest
    
    Loc
    
    S
    
    Located
    
    Latest
    
    Make
    
    Located
    
    Latest
    
    Ast_pattern
    
    Packed
    
    Ast_traverse
    
    map
    
    iter
    
    fold
    
    fold_map
    
    map_with_context
    
    map_with_path
    
    lift
    
    lift_map_with_context
    
    map_with_expansion_context_and_errors
    
    sexp_of
    
    Context_free
    
    Rule
    
    Constant_kind
    
    map_top_down
    
    Deriving
    
    Args
    
    Packed
    
    Generator
    
    V2
    
    Extension
    
    Context
    
    For_context
    
    Expert
    
    V2
    
    V3
    
    Expansion_context
    
    Base
    
    Extension
    
    Deriver
    
    Code_path
    
    Expansion_helpers
    
    Quoter
    
    Merlin_helpers
    
    Spellcheck
    
    Keyword
    
    Driver
    
    Lint_error
    
    Cookies
    
    Instrument
    
    V2
    
    V2
    
    Create_file_property
    
    Caller_id
    
    Printexc
    
    Ast_io
    
    Attribute
    
    Context
    
    Floating
    
    Context
    
    Reserved_namespaces
    
    type_is_recursive
    
    With_errors
    
    Ast
    
    Ast_helper
    
    Asttypes
    
    Parse
    
    Parsetree
    
    Pprintast
    
    Selected_ast
    
    Location
    
    Error
    
    Longident
    
    Map
    
    Set
    
    Loc
    
    map
    
    iter
    
    fold
    
    fold_map
    
    map_with_context
    
    lift
    
    lift_map_with_context
    
    Do_not_use_directly
    
    Afl_instrument
    
    Alias_analysis
    
    Allocated_const
    
    Annot
    
    Arch
    
    Arg_helper
    
    Asmgen
    
    Asmlibrarian
    
    Asmlink
    
    Asmpackager
    
    Ast_invariants
    
    Ast_iterator
    
    Ast_mapper
    
    Attr_helper
    
    Augment_specialised_args
    
    Backend_intf
    
    Backend_var
    
    Binutils
    
    Branch_relaxation
    
    Branch_relaxation_intf
    
    Btype
    
    Build_export_info
    
    Build_path_prefix_map
    
    Builtin_attributes
    
    Bytegen
    
    Bytelibrarian
    
    Bytelink
    
    Bytepackager
    
    Bytesections
    
    CSE
    
    CSEgen
    
    CamlinternalMenhirLib
    
    Ccomp
    
    Clambda
    
    Clambda_primitives
    
    Clflags
    
    Closure
    
    Closure_conversion
    
    Closure_conversion_aux
    
    Closure_element
    
    Closure_id
    
    Closure_middle_end
    
    Closure_offsets
    
    Closure_origin
    
    Cmi_format
    
    Cmm
    
    Cmm_helpers
    
    Cmm_invariants
    
    Cmmgen
    
    Cmmgen_state
    
    Cmo_format
    
    Cmt2annot
    
    Cmt_format
    
    Cmx_format
    
    Cmxs_format
    
    Coloring
    
    Comballoc
    
    Compenv
    
    Compilation_unit
    
    Compile
    
    Compile_common
    
    Compilenv
    
    Compmisc
    
    Compression
    
    Config
    
    Config_boot
    
    Config_main
    
    Consistbl
    
    Convert_primitives
    
    Ctype
    
    Dataflow
    
    Datarepr
    
    Deadcode
    
    Debuginfo
    
    Depend
    
    Diffing
    
    Diffing_with_keys
    
    Dll
    
    Domainstate
    
    Effect_analysis
    
    Emit
    
    Emitaux
    
    Emitcode
    
    Emitenv
    
    Env
    
    Envaux
    
    Errors
    
    Errortrace
    
    Export_id
    
    Export_info
    
    Export_info_for_pack
    
    Expunge
    
    Extract_projections
    
    Find_recursive_functions
    
    Flambda
    
    Flambda_invariants
    
    Flambda_iterators
    
    Flambda_middle_end
    
    Flambda_to_clambda
    
    Flambda_utils
    
    Freshening
    
    Genprintval
    
    Id_types
    
    Ident
    
    Import_approx
    
    Includeclass
    
    Includecore
    
    Includemod
    
    Includemod_errorprinter
    
    Inconstant_idents
    
    Initialize_symbol_to_let_symbol
    
    Inline_and_simplify
    
    Inline_and_simplify_aux
    
    Inlining_cost
    
    Inlining_decision
    
    Inlining_decision_intf
    
    Inlining_stats
    
    Inlining_stats_types
    
    Inlining_transforms
    
    Instruct
    
    Int_replace_polymorphic_compare
    
    Interf
    
    Internal_variable_names
    
    Interval
    
    Invariant_params
    
    Lambda
    
    Lazy_backtrack
    
    Lift_code
    
    Lift_constants
    
    Lift_let_to_initialize_symbol
    
    Linear
    
    Linear_format
    
    Linearize
    
    Linkage_name
    
    Linscan
    
    Liveness
    
    Load_path
    
    Local_store
    
    Mach
    
    Main
    
    Main_args
    
    Maindriver
    
    Makedepend
    
    Matching
    
    Meta
    
    Misc
    
    Mtype
    
    Mutable_variable
    
    Numbers
    
    Opcodes
    
    Oprint
    
    Optcompile
    
    Opterrors
    
    Optmain
    
    Optmaindriver
    
    Outcometree
    
    Parameter
    
    Parmatch
    
    Parser
    
    Pass_wrapper
    
    Path
    
    Patterns
    
    Persistent_env
    
    Polling
    
    Pparse
    
    Predef
    
    Primitive
    
    Printast
    
    Printclambda
    
    Printclambda_primitives
    
    Printcmm
    
    Printinstr
    
    Printlambda
    
    Printlinear
    
    Printmach
    
    Printpat
    
    Printtyp
    
    Printtyped
    
    Proc
    
    Profile
    
    Projection
    
    Ref_to_variables
    
    Reg
    
    Reload
    
    Reloadgen
    
    Remove_free_vars_equal_to_args
    
    Remove_unused_arguments
    
    Remove_unused_closure_vars
    
    Remove_unused_program_constructs
    
    Runtimedef
    
    Schedgen
    
    Scheduling
    
    Selectgen
    
    Selection
    
    Semantics_of_primitives
    
    Set_of_closures_id
    
    Set_of_closures_origin
    
    Shape
    
    Shape_reduce
    
    Share_constants
    
    Signature_group
    
    Simple_value_approx
    
    Simplif
    
    Simplify_boxed_integer_ops
    
    Simplify_boxed_integer_ops_intf
    
    Simplify_common
    
    Simplify_primitives
    
    Spill
    
    Split
    
    Stackframe
    
    Stackframegen
    
    Static_exception
    
    Strmatch
    
    Strongly_connected_components
    
    Stypes
    
    Subst
    
    Switch
    
    Symbol
    
    Symtable
    
    Tag
    
    Targetint
    
    Tast_iterator
    
    Tast_mapper
    
    Terminfo
    
    Thread_sanitizer
    
    Tmc
    
    Topcommon
    
    Topdirs
    
    Topeval
    
    Tophooks
    
    Toploop
    
    Topmain
    
    Topprinters
    
    Topstart
    
    Trace
    
    Translattribute
    
    Translclass
    
    Translcore
    
    Translmod
    
    Translobj
    
    Translprim
    
    Traverse_for_exported_symbols
    
    Type_immediacy
    
    Typeclass
    
    Typecore
    
    Typedecl
    
    Typedecl_immediacy
    
    Typedecl_properties
    
    Typedecl_separability
    
    Typedecl_unboxed
    
    Typedecl_variance
    
    Typedtree
    
    Typemod
    
    Typeopt
    
    Types
    
    Typetexp
    
    Un_anf
    
    Unbox_closures
    
    Unbox_free_vars_of_closures
    
    Unbox_specialised_args
    
    Unit_info
    
    Untypeast
    
    Value_rec_check
    
    Value_rec_compiler
    
    Value_rec_types
    
    Var_within_closure
    
    Variable
    
    Warnings
    
    X86_ast
    
    X86_dsl
    
    X86_gas
    
    X86_masm
    
    X86_proc
- Library ppxlib.ast
  - Ppxlib_ast
    
    OCaml_version
    
    Ast
    
    Parsetree
    
    Config
    
    Ast
    
    map
    
    iter
    
    fold
    
    fold_map
    
    map_with_context
    
    lift
    
    lift_map_with_context
    
    Ast_helper
    
    Const
    
    Attr
    
    Typ
    
    Pat
    
    Exp
    
    Val
    
    Type
    
    Te
    
    Mty
    
    Mod
    
    Sig
    
    Str
    
    Md
    
    Ms
    
    Mtd
    
    Mb
    
    Opn
    
    Incl
    
    Vb
    
    Cty
    
    Ctf
    
    Cl
    
    Cf
    
    Ci
    
    Csig
    
    Cstr
    
    Rf
    
    Of
    
    Ast_magic
    
    Asttypes
    
    Compiler_version
    
    Ast
    
    Js
    
    Ast
    
    Find_version
    
    Convert
    
    Extra_warnings
    
    Location_error
    
    Parse
    
    Of_ocaml
    
    Parsetree
    
    Pprintast
    
    Select_ast
    
    Ast
    
    Type
    
    Of_ocaml
    
    To_ocaml
    
    Selected_ast
    
    Ast
    
    Type
    
    Of_ocaml
    
    To_ocaml
- Library ppxlib.astlib
  - Astlib
    
    Ast_402
    
    Asttypes
    
    Parsetree
    
    Config
    
    Ast_403
    
    Asttypes
    
    Parsetree
    
    Config
    
    Ast_404
    
    Asttypes
    
    Parsetree
    
    Config
    
    Ast_405
    
    Asttypes
    
    Parsetree
    
    Config
    
    Ast_406
    
    Asttypes
    
    Parsetree
    
    Config
    
    Ast_407
    
    Asttypes
    
    Parsetree
    
    Config
    
    Ast_408
    
    Asttypes
    
    Parsetree
    
    Config
    
    Ast_409
    
    Asttypes
    
    Parsetree
    
    Config
    
    Ast_410
    
    Asttypes
    
    Parsetree
    
    Config
    
    Ast_411
    
    Asttypes
    
    Parsetree
    
    Config
    
    Ast_412
    
    Asttypes
    
    Parsetree
    
    Config
    
    Ast_413
    
    Asttypes
    
    Parsetree
    
    Config
    
    Ast_414
    
    Asttypes
    
    Parsetree
    
    Config
    
    Ast_500
    
    Asttypes
    
    Parsetree
    
    Config
    
    Ast_501
    
    Asttypes
    
    Parsetree
    
    Config
    
    Ast_502
    
    Asttypes
    
    Parsetree
    
    Config
    
    Migrate_402_403
    
    From
    
    To
    
    Migrate_403_402
    
    From
    
    To
    
    Migrate_403_404
    
    From
    
    To
    
    Migrate_404_403
    
    From
    
    To
    
    Migrate_404_405
    
    From
    
    To
    
    Migrate_405_404
    
    From
    
    To
    
    Migrate_405_406
    
    From
    
    To
    
    Migrate_406_405
    
    From
    
    To
    
    Migrate_406_407
    
    From
    
    To
    
    Migrate_407_406
    
    From
    
    To
    
    Migrate_407_408
    
    From
    
    To
    
    Migrate_408_407
    
    From
    
    To
    
    Migrate_408_409
    
    From
    
    To
    
    Migrate_409_408
    
    From
    
    To
    
    Migrate_409_410
    
    From
    
    To
    
    Migrate_410_409
    
    From
    
    To
    
    Migrate_410_411
    
    From
    
    To
    
    Migrate_411_410
    
    From
    
    To
    
    Migrate_411_412
    
    From
    
    To
    
    Migrate_412_411
    
    From
    
    To
    
    Migrate_412_413
    
    From
    
    To
    
    Migrate_413_412
    
    From
    
    To
    
    Migrate_413_414
    
    From
    
    To
    
    Migrate_414_413
    
    From
    
    To
    
    Migrate_414_500
    
    From
    
    To
    
    Migrate_500_414
    
    From
    
    To
    
    Migrate_500_501
    
    From
    
    To
    
    Migrate_501_500
    
    From
    
    To
    
    Migrate_501_502
    
    From
    
    To
    
    Migrate_502_501
    
    From
    
    To
    
    Ast_metadata
    
    Config
    
    Keyword
    
    Location
    
    Error
    
    Longident
    
    Parse
    
    Pprintast
- Library ppxlib.metaquot_lifters
  - Ppxlib_metaquot_lifters
    
    expression_lifters
    
    pattern_lifters
- Library ppxlib.print_diff
  - Ppxlib_print_diff
- Library ppxlib.runner
  - Ppxlib_runner
    
    Ppx_driver_runner
- Library ppxlib.runner_as_ppx
  - Ppxlib_runner_as_ppx
    
    Ppx_driver_runner_as_ppx
- Library ppxlib.stdppx
  - Stdppx
    
    Caml
    
    Sexp
    
    Sexpable
    
    Exn_converter
    
    Comparisons
    
    Poly
    
    Array
    
    Bool
    
    Bytes
    
    Char
    
    Exn
    
    Float
    
    Fn
    
    Hashtbl
    
    HashedType
    
    S
    
    Make
    
    SeededHashedType
    
    SeededS
    
    MakeSeeded
    
    In_channel
    
    Int
    
    Either
    
    List
    
    Option
    
    Result
    
    NonEmptyList
    
    Out_channel
    
    String
    
    Map
    
    Set
- Library ppxlib.traverse_builtins
  - Ppxlib_traverse_builtins
    
    T
    
    map
    
    iter
    
    fold
    
    fold_map
    
    map_with_context
    
    lift
    
    lift_map_with_context
    
    std_lifters
    
    std_lift_mappers_with_context
- Library ppxlib_metaquot
  - Ppxlib_metaquot
    
    E
    
    A
    
    Make
    
    Expr
    
    Patt
- Library ppxlib_traverse
  - Ppxlib_traverse
    
    Backends
    
    reconstructors
    
    what
- Sources
  - ppxlib
    
    ast_builder.ml
    
    ast_builder_generated.ml
    
    ast_builder_intf.ml
    
    ast_pattern.ml
    
    ast_pattern0.ml
    
    ast_pattern_generated.ml
    
    ast_traverse.ml
    
    ast_traverse0.ml
    
    attribute.ml
    
    caller_id.ml
    
    code_matcher.ml
    
    code_path.ml
    
    common.ml
    
    context_free.ml
    
    deriving.ml
    
    driver.ml
    
    expansion_context.ml
    
    expansion_helpers.ml
    
    extension.ml
    
    ignore_unused_warning.ml
    
    import.ml
    
    keyword.ml
    
    loc.ml
    
    location.ml
    
    location_check.ml
    
    longident.ml
    
    merlin_helpers.ml
    
    name.ml
    
    options.ml
    
    ppxlib.ml
    
    ppxlib__.ml
    
    quoter.ml
    
    reconcile.ml
    
    skip_hash_bang.ml
    
    spellcheck.ml
    
    utils.ml
  - ppxlib.ast
    
    ast.ml
    
    ast_helper_lite.ml
    
    import.ml
    
    location_error.ml
    
    ppxlib_ast.ml
    
    ppxlib_ast__.ml
    
    stdlib0.ml
    
    versions.ml
    
    warn.ml
  - ppxlib.astlib
    
    ast_402.ml
    
    ast_403.ml
    
    ast_404.ml
    
    ast_405.ml
    
    ast_406.ml
    
    ast_407.ml
    
    ast_408.ml
    
    ast_409.ml
    
    ast_410.ml
    
    ast_411.ml
    
    ast_412.ml
    
    ast_413.ml
    
    ast_414.ml
    
    ast_500.ml
    
    ast_501.ml
    
    ast_502.ml
    
    ast_metadata.ml
    
    astlib.ml
    
    astlib__.ml
    
    config.ml
    
    keyword.ml
    
    location.ml
    
    longident.ml
    
    migrate_402_403.ml
    
    migrate_403_402.ml
    
    migrate_403_404.ml
    
    migrate_404_403.ml
    
    migrate_404_405.ml
    
    migrate_405_404.ml
    
    migrate_405_406.ml
    
    migrate_406_405.ml
    
    migrate_406_407.ml
    
    migrate_407_406.ml
    
    migrate_407_408.ml
    
    migrate_408_407.ml
    
    migrate_408_409.ml
    
    migrate_409_408.ml
    
    migrate_409_410.ml
    
    migrate_410_409.ml
    
    migrate_410_411.ml
    
    migrate_411_410.ml
    
    migrate_411_412.ml
    
    migrate_412_411.ml
    
    migrate_412_413.ml
    
    migrate_413_412.ml
    
    migrate_413_414.ml
    
    migrate_414_413.ml
    
    migrate_414_500.ml
    
    migrate_500_414.ml
    
    migrate_500_501.ml
    
    migrate_501_500.ml
    
    migrate_501_502.ml
    
    migrate_502_501.ml
    
    parse.ml
    
    pprintast.ml
    
    stdlib0.ml
  - ppxlib.metaquot_lifters
    
    ppxlib_metaquot_lifters.ml
  - ppxlib.print_diff
    
    ppxlib_print_diff.ml
  - ppxlib.runner
    
    ppx_driver_runner.ml
    
    ppxlib_runner.ml
  - ppxlib.runner_as_ppx
    
    ppx_driver_runner_as_ppx.ml
    
    ppxlib_runner_as_ppx.ml
  - ppxlib.stdppx
    
    stdppx.ml
  - ppxlib.traverse_builtins
    
    ppxlib_traverse_builtins.ml
  - ppxlib_metaquot
    
    ppxlib_metaquot.ml
  - ppxlib_traverse
    
    ppxlib_traverse.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Ppxlib.Ast_io`Source

A small module to help read bin-annots generated files.

Sourcetype ast =

| Intf of Astlib.Ast_500.Parsetree.signature_item list
| Impl of Astlib.Ast_500.Parsetree.structure_item list

Sourcetype t

Sourceval read_binary : string -> (t, string) result

Sourceval get_ast : t -> ast

Sourceval get_input_name : t -> string

package ppxlib

Module Ppxlib.Ast_ioSource

Module `Ppxlib.Ast_io`Source