package pa_ppx

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

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

Parameters

module ARG : sig ... end

Signature

type param_t = {

type_id : string;
arg_id : string;

}

val type_id : param_t -> string

val arg_id : param_t -> string

val param_ctyp : ?mono:bool -> MLast.loc -> param_t -> MLast.ctyp

val arg_ctyp : ?mono:bool -> MLast.loc -> param_t -> MLast.ctyp

val arg_expr : MLast.loc -> param_t -> MLast.expr

val arg_patt : ?naked:bool -> ?mono:bool -> MLast.loc -> param_t -> MLast.patt

val find : string -> param_t list -> param_t

type t = param_t list

val make : 
  string ->
  Ploc.t ->
  (string option Ploc.vala * 'a) list ->
  param_t list

val make_of_ids : string list -> param_t list

val quantify_over_ctyp : param_t list -> MLast.ctyp -> MLast.ctyp

val wrap_type_constraints : 
  MLast.loc ->
  param_t list ->
  (string * 'a) list ->
  (string * MLast.ctyp) list ->
  (MLast.patt
   * 'a
   * ((MLast.loc * string) Ploc.vala * MLast.payload) Ploc.vala list Ploc.vala)
    list