package pa_ppx

You can search for identifiers within the package.

in-package search v0.2.0

pa_ppx.assert.link
- Pa_ppx_assert
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.expect_test.link
- Pa_ppx_expect_test
  - ExpectContext
pa_ppx.hashrecons.link
- Pa_ppx_hashrecons
  - Fresh
pa_ppx.here.link
- Pa_ppx_here
pa_ppx.here_original.link
- Pa_ppx_here_original
pa_ppx.import.link
- Pa_ppx_import
  - RM
pa_ppx.inline_test.link
- Pa_ppx_inline_test
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.unmatched_vala.link
- Pa_ppx_unmatched_vala
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
    
    Ord
    
    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 is_unmatched_vala_branches : 
  (MLast.patt * 'a option Ploc.vala * 'b) list ->
  bool

val sep_unmatched_vala_branch : 
  (MLast.patt * 'a option Ploc.vala * 'b) list ->
  (MLast.patt * 'a option Ploc.vala * 'b) list
  * (MLast.patt * 'c option Ploc.vala * 'b)
  * (MLast.patt * 'a option Ploc.vala * 'b) list

val is_orpat : MLast.patt -> bool

val unpack_orpat : MLast.patt -> MLast.patt list

val strip_vars : MLast.patt -> MLast.patt

val or_pattern_of_list : MLast.loc -> MLast.patt list -> MLast.patt

val new_vala_covering_pattern : MLast.patt -> MLast.patt

val rewrite_unmatched_vala_branches : 
  (MLast.patt * 'a option Ploc.vala * 'b) list ->
  (MLast.patt * 'a option Ploc.vala * 'b) list

val rewrite_expr : 'a -> MLast.expr -> MLast.expr

val install : unit -> unit