package pa_ppx

You can search for identifiers within the package.

in-package search v0.2.0

package pa_ppx

pa_ppx.base
- Pa_ppx_base
  - Base
  - Pa_normalize
  - Pa_passthru
    
    Ctxt
    
    EF
  - Pp_MLast
    
    Ploc
  - Pp_parsetree
    
    Asttypes
    
    Lexing
    
    Location
    
    Longident
  - Ppxutil
    
    AList
    
    Ctyp
    
    Env
    
    Expr
    
    Longid
    
    Patt
pa_ppx.deriving.link
- Pa_ppx_deriving
  - Deriving_harness
  - Pa_deriving
    
    PI
    
    Registry
  - Pa_deriving_base
    
    ParamMap
    
    ARG
  - Pa_rebindto
  - Surveil
    
    DerivingConfig
pa_ppx.dock.link
- Pa_ppx_dock
  - Comment_lexer
  - Pa_dock
pa_ppx.import.link
- Pa_ppx_import
  - CMI
  - Lookup
  - MLI
  - RM
pa_ppx.params_runtime
- Pa_ppx_params_runtime
  - Runtime
pa_ppx.runtime
- Pa_ppx_runtime
  - Exceptions
    
    M_pp
    
    Ploc
  - Runtime
    
    Yojson
pa_ppx.runtime_fat
- Pa_ppx_runtime_fat
  - Exceptions
    
    M_equal
    
    M_of_yojson
    
    M_pp
    
    M_sexp_of_t
    
    M_t_of_sexp
    
    M_to_yojson
    
    Ploc
  - Runtime
    
    Yojson
pa_ppx.testutils
- Pa_ppx_testutils
  - Papr_util
    
    Official
    
    Implem
    
    Interf
    
    PAPR
    
    Implem
    
    Interf
  - Testutil
  - Testutil2
pa_ppx.utils
- Pa_ppx_utils
  - Coll
    
    ArrayMap
    
    BoundedArrayMap
    
    FOFUNMAP
    
    FOMHM
    
    T
    
    FOMUTMAP
    
    FREEZABLE_MUTMAP
    
    FREEZABLE_MUTSET
    
    FUNDEQ
    
    FUNMAP
    
    FUNSET
    
    FastFUNMAP
    
    F
    
    M
    
    FreezableMUTMAP
    
    F
    
    M
    
    FreezableMUTSET
    
    F
    
    M
    
    FullFOMHM
    
    T
    
    FullFOMUTMAP
    
    HashSet
    
    LazyCache
    
    M
    
    ListDeq
    
    ListMap
    
    ListSet
    
    MHBIJ
    
    MHM
    
    MLM
    
    MLS
    
    MOLM
    
    MUTDEQ
    
    MUTMAP
    
    MUTSET
    
    Map2ORDERED_FOFUNMAP
    
    MkMutDeq
    
    FD
    
    MutBIJ
    
    M
    
    MutFOFUNMAP
    
    F
    
    MutFUNMAP
    
    F
    
    MutFUNSET
    
    F
    
    MutListDeq
    
    MutORDERED_FOFUNMAP
    
    F
    
    MutORDERED_FUNMAP
    
    F
    
    ORDERED_FOFUNMAP
    
    ORDERED_FOMUTMAP
    
    ORDERED_FUNMAP
    
    ORDERED_MUTMAP
    
    OrderedListMap
    
    RawListMap
    
    RawMutFOFUNMAP
    
    F
    
    RawMutFUNMAP
    
    F
  - Hash
  - Pack
  - Std
    
    ColumnFormat
  - Std2
  - Tsort
  - Tsort0
  - Uf

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 reset_switches : unit -> unit

val add_predicates : string -> unit

val add_package : string -> unit

val add_include : string -> unit

val pp_report : Stdlib.Format.formatter -> unit -> unit

val report : unit -> unit

val lookup1 : string -> string -> Fpath.t

val lookup_file : string -> string -> string

module CMI : sig ... end

module MLI : sig ... end

module Lookup : sig ... end

val logged_parse : (string -> 'a) -> string -> 'a

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_synonym_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 = {

full_t : MLast.ctyp;
attrs : MLast.attribute list;
bare_t : MLast.ctyp;
unapp_t : MLast.ctyp;
args : MLast.ctyp list;
li : MLast.longid;
lid : string;
sl : string list;
loc : Ploc.t;
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 rewrite_import : MLast.str_item -> MLast.str_item

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 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