package pa_ppx

  1. Overview
  2. Docs
package pa_ppx
Legend:
Library
Module
Module type
Parameter
Class
Class type
val debug : bool Stdlib.ref
val mli_only : bool Stdlib.ref
val redeclare : bool Stdlib.ref
val predicates : string list Stdlib.ref
val lookup_path : string list Stdlib.ref
val add_predicates : string -> unit
val add_package : string -> unit
val add_include : string -> unit
val report : unit -> unit
val lookup1 : string -> string -> Fpath.t
val reparse_cmi : string -> MLast.sig_item list
val parse_mli : string -> MLast.sig_item list
val lookup_file : string -> string -> string
val find1lid : string -> MLast.sig_item -> MLast.type_decl * (bool * MLast.type_decl list)
val find_lid : string -> MLast.sig_item list -> MLast.type_decl * (bool * MLast.type_decl list)
val find1mod : string -> MLast.sig_item -> MLast.sig_item list
val find1modty : string -> MLast.sig_item -> MLast.module_type
val find_mod : string -> MLast.sig_item list -> MLast.sig_item list
val find_modty : string -> MLast.sig_item list -> MLast.module_type
val find_type : string list -> string -> MLast.sig_item list -> MLast.type_decl * (bool * MLast.type_decl list)
val find_module_type : string list -> MLast.sig_item list -> MLast.module_type
val logged_parse : (string -> 'a) -> string -> 'a
val do_lookup_interf : string -> MLast.sig_item list
val interface_cache : (string * MLast.sig_item list) list Stdlib.ref
val lookup_interf : string -> MLast.sig_item list
val lookup_typedecl : (string * string list * string) -> MLast.type_decl * (bool * MLast.type_decl list)
val lookup_module_type : string list -> MLast.module_type
val import_typedecl : 'a -> MLast.ctyp -> MLast.type_decl * (bool * MLast.type_decl list)
module RM : sig ... end
val substitute_ctyp : (MLast.ctyp * MLast.ctyp) list -> MLast.ctyp -> MLast.ctyp
val expr_to_ctyp0 : MLast.expr -> MLast.ctyp
val expr_to_ctyp : 'a -> MLast.expr -> MLast.ctyp
val assignment_to_subst : MLast.expr -> (MLast.ctyp * MLast.ctyp) list
val extend_renmap : (('a * string) Ploc.vala * MLast.payload) Ploc.vala -> (MLast.ctyp * MLast.ctyp) list -> (MLast.ctyp * MLast.ctyp) list
val extract_with_attributes : MLast.attribute list -> MLast.attribute list * MLast.attribute list
val extract_add_attributes : MLast.attribute list -> MLast.attribute list * MLast.attribute list
type unpacked_t = {
  1. full_t : MLast.ctyp;
  2. attrs : MLast.attribute list;
  3. bare_t : MLast.ctyp;
  4. unapp_t : MLast.ctyp;
  5. args : MLast.ctyp list;
  6. li : MLast.longid;
  7. lid : string;
  8. sl : string list;
  9. loc : Ploc.t;
  10. self_import : bool;
}
val unpack_imported_type : Pa_ppx_base.Pa_passthru.Ctxt.t -> MLast.ctyp -> unpacked_t
val import_type : Pa_ppx_base.Pa_passthru.Ctxt.t -> ('a * 'b) -> MLast.ctyp -> MLast.ctyp
val expand_add_attribute : Pa_ppx_base.Pa_passthru.Ctxt.t -> Pa_ppx_base.Pp_MLast.attribute -> MLast.type_decl list
val import_typedecl_group : Pa_ppx_base.Pa_passthru.Ctxt.t -> MLast.ctyp -> MLast.attributes_no_anti -> bool * MLast.type_decl list
val import_module_type : 'a -> MLast.ctyp -> MLast.module_type
val registered_str_item_extension : Pa_ppx_base.Pa_passthru.Ctxt.t -> MLast.str_item -> MLast.str_item
val registered_sig_item_extension : Pa_ppx_base.Pa_passthru.Ctxt.t -> MLast.sig_item -> MLast.sig_item
val registered_module_type_extension : 'a -> MLast.module_type -> MLast.module_type option
val install : unit -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct