package ppxlib

You can search for identifiers within the package.

in-package search v0.2.0

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
    
    Instrument
    
    V2
    
    Lint_error
    
    V2
  - Expansion_context
    
    Base
    
    Deriver
    
    Extension
  - Extension
    
    Context
    
    Expert
    
    For_context
    
    V2
    
    V3
  - File_path
  - Loc
  - Location
    
    Error
  - Longident
  - 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
    
    A
    
    Ast
    
    Config
    
    Parsetree
    
    B
    
    Ast
    
    Config
    
    Parsetree
  - Extra_warnings
  - Find_version
  - Import_for_core
    
    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
    
    Js
    
    Lexer
    
    Location
    
    Ocaml
    
    Parse
    
    Of_ocaml
    
    Parser
    
    Of_ocaml
    
    Select_ast
    
    Ocaml
    
    Ast
    
    Config
    
    Parsetree
    
    Of_ocaml
    
    To_ocaml
    
    Type
    
    Selected_ast
    
    Of_ocaml
    
    To_ocaml
    
    Type
    
    Syntaxerr
  - Js
  - Lexer
  - Location_error
  - OCaml_version
    
    Ast
    
    Config
    
    Parsetree
  - Parse
    
    Of_ocaml
  - Parser
    
    Of_ocaml
  - Pprintast
  - Select_ast
    
    Ocaml
    
    Ast
    
    Config
    
    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.stdppx
- Stdppx
  - Bool
  - Bytes
  - Char
  - Comparisons
  - Exn
  - Float
  - Fn
  - Hashtbl
    
    HashedType
    
    S
    
    SeededHashedType
    
    SeededS
  - In_channel
  - Int
  - List
  - Option
  - Out_channel
  - Poly
  - String
    
    Map
    
    Set
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

Type expressions

val mk : 
  ?loc:Ocaml_common.Location.t ->
  ?attrs:Migrate_parsetree.Ast_412.Parsetree.attribute list ->
  Migrate_parsetree.Ast_412.Parsetree.core_type_desc ->
  Migrate_parsetree.Ast_412.Parsetree.core_type

val attr : 
  Migrate_parsetree.Ast_412.Parsetree.core_type ->
  Migrate_parsetree.Ast_412.Parsetree.attribute ->
  Migrate_parsetree.Ast_412.Parsetree.core_type

val any : 
  ?loc:Ocaml_common.Location.t ->
  ?attrs:Migrate_parsetree.Ast_412.Parsetree.attribute list ->
  unit ->
  Migrate_parsetree.Ast_412.Parsetree.core_type

val var : 
  ?loc:Ocaml_common.Location.t ->
  ?attrs:Migrate_parsetree.Ast_412.Parsetree.attribute list ->
  string ->
  Migrate_parsetree.Ast_412.Parsetree.core_type

val arrow : 
  ?loc:Ocaml_common.Location.t ->
  ?attrs:Migrate_parsetree.Ast_412.Parsetree.attribute list ->
  Migrate_parsetree.Ast_412.Asttypes.arg_label ->
  Migrate_parsetree.Ast_412.Parsetree.core_type ->
  Migrate_parsetree.Ast_412.Parsetree.core_type ->
  Migrate_parsetree.Ast_412.Parsetree.core_type

val tuple : 
  ?loc:Ocaml_common.Location.t ->
  ?attrs:Migrate_parsetree.Ast_412.Parsetree.attribute list ->
  Migrate_parsetree.Ast_412.Parsetree.core_type list ->
  Migrate_parsetree.Ast_412.Parsetree.core_type

val constr : 
  ?loc:Ocaml_common.Location.t ->
  ?attrs:Migrate_parsetree.Ast_412.Parsetree.attribute list ->
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  Migrate_parsetree.Ast_412.Parsetree.core_type list ->
  Migrate_parsetree.Ast_412.Parsetree.core_type

val object_ : 
  ?loc:Ocaml_common.Location.t ->
  ?attrs:Migrate_parsetree.Ast_412.Parsetree.attribute list ->
  Migrate_parsetree.Ast_412.Parsetree.object_field list ->
  Migrate_parsetree.Ast_412.Asttypes.closed_flag ->
  Migrate_parsetree.Ast_412.Parsetree.core_type

val class_ : 
  ?loc:Ocaml_common.Location.t ->
  ?attrs:Migrate_parsetree.Ast_412.Parsetree.attribute list ->
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  Migrate_parsetree.Ast_412.Parsetree.core_type list ->
  Migrate_parsetree.Ast_412.Parsetree.core_type

val alias : 
  ?loc:Ocaml_common.Location.t ->
  ?attrs:Migrate_parsetree.Ast_412.Parsetree.attribute list ->
  Migrate_parsetree.Ast_412.Parsetree.core_type ->
  string ->
  Migrate_parsetree.Ast_412.Parsetree.core_type

val variant : 
  ?loc:Ocaml_common.Location.t ->
  ?attrs:Migrate_parsetree.Ast_412.Parsetree.attribute list ->
  Migrate_parsetree.Ast_412.Parsetree.row_field list ->
  Migrate_parsetree.Ast_412.Asttypes.closed_flag ->
  Migrate_parsetree.Ast_412.Asttypes.label list option ->
  Migrate_parsetree.Ast_412.Parsetree.core_type

val poly : 
  ?loc:Ocaml_common.Location.t ->
  ?attrs:Migrate_parsetree.Ast_412.Parsetree.attribute list ->
  string Ocaml_common.Location.loc list ->
  Migrate_parsetree.Ast_412.Parsetree.core_type ->
  Migrate_parsetree.Ast_412.Parsetree.core_type

val package : 
  ?loc:Ocaml_common.Location.t ->
  ?attrs:Migrate_parsetree.Ast_412.Parsetree.attribute list ->
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  (Ocaml_common.Longident.t Ocaml_common.Location.loc
   * Migrate_parsetree.Ast_412.Parsetree.core_type)
    list ->
  Migrate_parsetree.Ast_412.Parsetree.core_type

val extension : 
  ?loc:Ocaml_common.Location.t ->
  ?attrs:Migrate_parsetree.Ast_412.Parsetree.attribute list ->
  Migrate_parsetree.Ast_412.Parsetree.extension ->
  Migrate_parsetree.Ast_412.Parsetree.core_type

val force_poly : 
  Migrate_parsetree.Ast_412.Parsetree.core_type ->
  Migrate_parsetree.Ast_412.Parsetree.core_type

val varify_constructors : 
  string Ocaml_common.Location.loc list ->
  Migrate_parsetree.Ast_412.Parsetree.core_type ->
  Migrate_parsetree.Ast_412.Parsetree.core_type

varify_constructors newtypes te is type expression te, of which any of nullary type constructor tc is replaced by type variable of the same name, if tc's name appears in newtypes. Raise Syntaxerr.Variable_in_scope if any type variable inside te appears in newtypes.

since 4.05