package ppxlib

You can search for identifiers within the package.

in-package search v0.2.0

ppxlib
- Ppxlib
  - Afl_instrument
  - Alias_analysis
  - Allocated_const
  - Annot
  - Arch
  - Arg_helper
  - Asmgen
  - Asmlibrarian
  - Asmlink
  - Asmpackager
  - Ast_builder
    
    Default
    
    Located
    
    Loc
    
    Make
    
    Loc
    
    Located
    
    S
    
    Located
  - Ast_invariants
  - Ast_iterator
  - Ast_mapper
  - Ast_pattern
    
    Packed
  - Ast_traverse
    
    fold
    
    fold_map
    
    iter
    
    lift
    
    map
    
    map_with_context
    
    map_with_expansion_context
    
    map_with_path
    
    sexp_of
  - Attr_helper
  - Attribute
    
    Context
    
    Floating
    
    Context
  - Augment_specialised_args
  - Backend_intf
  - Branch_relaxation
  - Branch_relaxation_intf
  - Btype
  - Build_export_info
  - Builtin_attributes
  - Bytegen
  - Bytelibrarian
  - Bytelink
  - Bytepackager
  - Bytesections
  - CSE
  - CSEgen
  - Caller_id
  - Ccomp
  - Clambda
  - Clflags
  - Closure
  - Closure_conversion
  - Closure_conversion_aux
  - Closure_element
  - Closure_id
  - Closure_offsets
  - Cmi_format
  - Cmm
  - Cmmgen
  - Cmo_format
  - Cmt_format
  - Cmx_format
  - Code_path
  - Coloring
  - Comballoc
  - Compdynlink
  - Compenv
  - Compilation_unit
  - Compile
  - Compilenv
  - Compmisc
  - Compplugin
  - Config
  - Consistbl
  - Context_free
    
    Rule
    
    Constant_kind
    
    map_top_down
  - Ctype
  - Datarepr
  - Deadcode
  - Debuginfo
  - Depend
  - Deriving
    
    Args
    
    Generator
    
    V2
  - Dll
  - Do_not_use_directly
  - Driver
    
    Cookies
    
    Create_file_property
    
    Name
    
    T
    
    Lint_error
  - Effect_analysis
  - Emit
  - Emitaux
  - Emitcode
  - Env
  - Envaux
  - Errors
  - Expansion_context
    
    Base
    
    Deriver
    
    Extension
  - Export_id
  - Export_info
  - Export_info_for_pack
  - Expunge
  - Extension
    
    Context
    
    Expert
    
    For_context
    
    V2
    
    V3
  - Extract_projections
  - File_path
  - Find_recursive_functions
  - Flambda
  - Flambda_invariants
  - Flambda_iterators
  - Flambda_to_clambda
  - Flambda_utils
  - Freshening
  - Genprintval
  - Id_types
  - Ident
  - Import_approx
  - Includeclass
  - Includecore
  - Includemod
  - 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
  - Interf
  - Invariant_params
  - Lambda
  - Lift_code
  - Lift_constants
  - Lift_let_to_initialize_symbol
  - Linearize
  - Linkage_name
  - Liveness
  - Loc
  - Location
    
    Error
  - Longident
  - Mach
  - Main
  - Main_args
  - Matching
  - Merlin_helpers
  - Meta
  - Middle_end
  - Misc
  - Mtype
  - Mutable_variable
  - Numbers
  - Opcodes
  - Oprint
  - Optcompile
  - Opterrors
  - Optmain
  - Outcometree
  - Parmatch
  - Pass_wrapper
  - Path
  - Pparse
  - Predef
  - Primitive
  - Printast
  - Printclambda
  - Printcmm
  - Printinstr
  - Printlambda
  - Printlinear
  - Printmach
  - Printtyp
  - Printtyped
  - Proc
  - Projection
  - Ref_to_variables
  - Reg
  - Reload
  - Reloadgen
  - Remove_free_vars_equal_to_args
  - Remove_unused_arguments
  - Remove_unused_closure_vars
  - Remove_unused_program_constructs
  - Reserved_namespaces
  - Runtimedef
  - Schedgen
  - Scheduling
  - Selectgen
  - Selection
  - Semantics_of_primitives
  - Set_of_closures_id
  - Set_of_closures_origin
  - Share_constants
  - Simple_value_approx
  - Simplif
  - Simplify_boxed_integer_ops
  - Simplify_boxed_integer_ops_intf
  - Simplify_common
  - Simplify_primitives
  - Spacetime_profiling
  - Spellcheck
  - Spill
  - Split
  - Static_exception
  - Strmatch
  - Strongly_connected_components
  - Stypes
  - Subst
  - Switch
  - Symbol
  - Symtable
  - Tag
  - Targetint
  - Tast_mapper
  - Tbl
  - Terminfo
  - Timings
  - Topdirs
  - Toploop
  - Topmain
  - Topstart
  - Trace
  - Translattribute
  - Translclass
  - Translcore
  - Translmod
  - Translobj
  - Typeclass
  - Typecore
  - Typedecl
  - Typedtree
  - TypedtreeIter
  - TypedtreeMap
  - Typemod
  - Typeopt
  - Types
  - Typetexp
  - Un_anf
  - Unbox_closures
  - Unbox_free_vars_of_closures
  - Unbox_specialised_args
  - Untypeast
  - Var_within_closure
  - Variable
  - Warnings
  - X86_ast
  - X86_dsl
  - X86_gas
  - X86_masm
  - X86_proc
  - 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
    
    Of_ocaml
    
    To_ocaml
    
    Type
    
    Selected_ast
    
    Of_ocaml
    
    To_ocaml
    
    Type
    
    Syntaxerr
  - Lexer
  - Parse
    
    Of_ocaml
  - Parser
    
    Of_ocaml
  - Pprintast
  - Select_ast
    
    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

This module allows to declare extensions that do not produce a value of the context type. This is typically useful for extensions point that depends on more things from the context than the path and location.

type ('context, 'payload) t

Type of declared expert extensions.

The 'context type parameter describes where the extension is expected and the 'payload one what its payload should contain.

val declare : 
  Base.String.t ->
  'context Context.t ->
  (Ppxlib_ast__.Import.Parsetree.payload, 'a, 'b) Ast_pattern.t ->
  'a ->
  ('context, 'b) t

val declare_with_path_arg : 
  Base.String.t ->
  'context Context.t ->
  (Ppxlib_ast__.Import.Parsetree.payload, 'a, 'b) Ast_pattern.t ->
  (arg:Longident.t Loc.t Base.Option.t -> 'a) ->
  ('context, 'b) t

val convert : 
  (_, 'a) t Base.List.t ->
  loc:Location.t ->
  (string Location.loc * Ppxlib_ast__.Import.Parsetree.payload) ->
  'a Base.Option.t