package pa_ppx

  1. Overview
  2. Docs
package pa_ppx
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Ploc : sig ... end
type loc = Ploc.t
val pp_loc : loc Fmt.t
val show_loc : loc -> String.t
type type_var = string option Ploc.vala * (bool option * bool)
val pp_type_var : type_var Fmt.t
val show_type_var : type_var -> String.t
type !'a class_infos = 'a MLast.class_infos = {
  1. ciLoc : loc;
  2. ciVir : bool Ploc.vala;
  3. ciPrm : loc * type_var list Ploc.vala;
  4. ciNam : string Ploc.vala;
  5. ciExp : 'a;
  6. ciAttributes : attributes;
}
and longid = MLast.longid =
  1. | LiAcc of loc * longid * string Ploc.vala
  2. | LiApp of loc * longid * longid
  3. | LiUid of loc * string Ploc.vala
  4. | LiXtr of loc * string * longid Ploc.vala option
and ctyp = MLast.ctyp =
  1. | TyAcc of loc * longid * string Ploc.vala
  2. | TyAli of loc * ctyp * ctyp
  3. | TyAny of loc
  4. | TyApp of loc * ctyp * ctyp
  5. | TyArr of loc * ctyp * ctyp
  6. | TyCls of loc * longid_lident Ploc.vala
  7. | TyLab of loc * string Ploc.vala * ctyp
  8. | TyLid of loc * string Ploc.vala
  9. | TyMan of loc * ctyp * bool Ploc.vala * ctyp
  10. | TyObj of loc * (string option * ctyp * attributes) list Ploc.vala * bool Ploc.vala
  11. | TyOlb of loc * string Ploc.vala * ctyp
  12. | TyOpn of loc
  13. | TyPck of loc * module_type
  14. | TyPol of loc * string list Ploc.vala * ctyp
  15. | TyPot of loc * string list Ploc.vala * ctyp
  16. | TyQuo of loc * string Ploc.vala
  17. | TyRec of loc * (loc * string * bool * ctyp * attributes) list Ploc.vala
  18. | TySum of loc * generic_constructor list Ploc.vala
  19. | TyTup of loc * ctyp list Ploc.vala
  20. | TyVrn of loc * poly_variant list Ploc.vala * string list Ploc.vala option option
  21. | TyXtr of loc * string * ctyp Ploc.vala option
  22. | TyAtt of loc * ctyp * attribute
  23. | TyExten of loc * attribute
and poly_variant = MLast.poly_variant =
  1. | PvTag of loc * string Ploc.vala * bool Ploc.vala * ctyp list Ploc.vala * attributes
  2. | PvInh of loc * ctyp
and patt = MLast.patt =
  1. | PaPfx of loc * longid * patt
  2. | PaLong of loc * longid * (loc * string) list Ploc.vala
  3. | PaAli of loc * patt * patt
  4. | PaAnt of loc * patt
  5. | PaAny of loc
  6. | PaApp of loc * patt * patt
  7. | PaArr of loc * patt list Ploc.vala
  8. | PaChr of loc * string Ploc.vala
  9. | PaExc of loc * patt
  10. | PaFlo of loc * string Ploc.vala
  11. | PaInt of loc * string Ploc.vala * string
  12. | PaLab of loc * (patt * patt option Ploc.vala) list Ploc.vala
  13. | PaLaz of loc * patt
  14. | PaLid of loc * string Ploc.vala
  15. | PaNty of loc * string Ploc.vala
  16. | PaOlb of loc * patt * expr option Ploc.vala
  17. | PaOrp of loc * patt * patt
  18. | PaRec of loc * (patt * patt) list Ploc.vala
  19. | PaRng of loc * patt * patt
  20. | PaStr of loc * string Ploc.vala
  21. | PaTup of loc * patt list Ploc.vala
  22. | PaTyc of loc * patt * ctyp
  23. | PaTyp of loc * longid_lident Ploc.vala
  24. | PaUnp of loc * string Ploc.vala option Ploc.vala * module_type option
  25. | PaVrn of loc * string Ploc.vala
  26. | PaXtr of loc * string * patt Ploc.vala option
  27. | PaAtt of loc * patt * attribute
  28. | PaExten of loc * attribute
and expr = MLast.expr =
  1. | ExLong of loc * longid
  2. | ExOpen of loc * longid * expr
  3. | ExFle of loc * expr * longid_lident Ploc.vala
  4. | ExAnt of loc * expr
  5. | ExApp of loc * expr * expr
  6. | ExAre of loc * string Ploc.vala * expr * expr list Ploc.vala
  7. | ExArr of loc * expr list Ploc.vala
  8. | ExAsr of loc * expr
  9. | ExAss of loc * expr * expr
  10. | ExBae of loc * string Ploc.vala * expr * expr list Ploc.vala
  11. | ExChr of loc * string Ploc.vala
  12. | ExCoe of loc * expr * ctyp option * ctyp
  13. | ExFlo of loc * string Ploc.vala
  14. | ExFor of loc * patt * expr * expr * bool Ploc.vala * expr list Ploc.vala
  15. | ExFun of loc * case_branch list Ploc.vala
  16. | ExIfe of loc * expr * expr * expr
  17. | ExInt of loc * string Ploc.vala * string
  18. | ExLab of loc * (patt * expr option Ploc.vala) list Ploc.vala
  19. | ExLaz of loc * expr
  20. | ExLet of loc * bool Ploc.vala * (patt * expr * attributes) list Ploc.vala * expr
  21. | ExLEx of loc * string Ploc.vala * ctyp list Ploc.vala * expr * attributes
  22. | ExLid of loc * string Ploc.vala
  23. | ExLmd of loc * string Ploc.vala option Ploc.vala * module_expr * expr
  24. | ExLop of loc * bool Ploc.vala * module_expr * expr
  25. | ExMat of loc * expr * case_branch list Ploc.vala
  26. | ExNew of loc * longid_lident Ploc.vala
  27. | ExObj of loc * patt option Ploc.vala * class_str_item list Ploc.vala
  28. | ExOlb of loc * patt * expr option Ploc.vala
  29. | ExOvr of loc * (string * expr) list Ploc.vala
  30. | ExPck of loc * module_expr * module_type option
  31. | ExRec of loc * (patt * expr) list Ploc.vala * expr option
  32. | ExSeq of loc * expr list Ploc.vala
  33. | ExSnd of loc * expr * string Ploc.vala
  34. | ExSte of loc * string Ploc.vala * expr * expr list Ploc.vala
  35. | ExStr of loc * string Ploc.vala
  36. | ExTry of loc * expr * case_branch list Ploc.vala
  37. | ExTup of loc * expr list Ploc.vala
  38. | ExTyc of loc * expr * ctyp
  39. | ExVrn of loc * string Ploc.vala
  40. | ExWhi of loc * expr * expr list Ploc.vala
  41. | ExXtr of loc * string * expr Ploc.vala option
  42. | ExAtt of loc * expr * attribute
  43. | ExExten of loc * attribute
  44. | ExUnr of loc
and case_branch = patt * expr option Ploc.vala * expr
and module_type = MLast.module_type =
  1. | MtLong of loc * longid
  2. | MtLongLid of loc * longid * string Ploc.vala
  3. | MtLid of loc * string Ploc.vala
  4. | MtFun of loc * (string Ploc.vala option Ploc.vala * module_type) option Ploc.vala * module_type
  5. | MtQuo of loc * string Ploc.vala
  6. | MtSig of loc * sig_item list Ploc.vala
  7. | MtTyo of loc * module_expr
  8. | MtWit of loc * module_type * with_constr list Ploc.vala
  9. | MtXtr of loc * string * module_type Ploc.vala option
  10. | MtAtt of loc * module_type * attribute
  11. | MtExten of loc * attribute
and functor_parameter = (string Ploc.vala option Ploc.vala * module_type) option
and sig_item = MLast.sig_item =
  1. | SgCls of loc * class_type class_infos list Ploc.vala
  2. | SgClt of loc * class_type class_infos list Ploc.vala
  3. | SgDcl of loc * sig_item list Ploc.vala
  4. | SgDir of loc * string Ploc.vala * expr option Ploc.vala
  5. | SgExc of loc * generic_constructor * attributes
  6. | SgExt of loc * string Ploc.vala * string list Ploc.vala * ctyp * string list Ploc.vala * attributes
  7. | SgInc of loc * module_type * attributes
  8. | SgMod of loc * bool Ploc.vala * (string Ploc.vala option Ploc.vala * module_type * attributes) list Ploc.vala
  9. | SgMty of loc * string Ploc.vala * module_type * attributes
  10. | SgMtySubst of loc * string Ploc.vala * module_type * attributes
  11. | SgMtyAlias of loc * string Ploc.vala * longid Ploc.vala * attributes
  12. | SgModSubst of loc * string Ploc.vala * longid * attributes
  13. | SgOpn of loc * longid * attributes
  14. | SgTyp of loc * bool Ploc.vala * type_decl list Ploc.vala
  15. | SgTypExten of loc * type_extension
  16. | SgUse of loc * string Ploc.vala * (sig_item * loc) list Ploc.vala
  17. | SgVal of loc * string Ploc.vala * ctyp * attributes
  18. | SgXtr of loc * string * sig_item Ploc.vala option
  19. | SgFlAtt of loc * attribute
  20. | SgExten of loc * attribute * attributes
and module_expr = MLast.module_expr =
  1. | MeAcc of loc * module_expr * module_expr
  2. | MeApp of loc * module_expr * module_expr
  3. | MeFun of loc * (string Ploc.vala option Ploc.vala * module_type) option Ploc.vala * module_expr
  4. | MeStr of loc * str_item list Ploc.vala
  5. | MeTyc of loc * module_expr * module_type
  6. | MeUid of loc * string Ploc.vala
  7. | MeUnp of loc * expr * module_type option * module_type option
  8. | MeXtr of loc * string * module_expr Ploc.vala option
  9. | MeAtt of loc * module_expr * attribute
  10. | MeExten of loc * attribute
and str_item = MLast.str_item =
  1. | StCls of loc * class_expr class_infos list Ploc.vala
  2. | StClt of loc * class_type class_infos list Ploc.vala
  3. | StDcl of loc * str_item list Ploc.vala
  4. | StDir of loc * string Ploc.vala * expr option Ploc.vala
  5. | StExc of loc * extension_constructor Ploc.vala * attributes
  6. | StExp of loc * expr * attributes
  7. | StExt of loc * string Ploc.vala * string list Ploc.vala * ctyp * string list Ploc.vala * attributes
  8. | StInc of loc * module_expr * attributes
  9. | StMod of loc * bool Ploc.vala * (string Ploc.vala option Ploc.vala * module_expr * attributes) list Ploc.vala
  10. | StMty of loc * string Ploc.vala * module_type * attributes
  11. | StOpn of loc * bool Ploc.vala * module_expr * attributes
  12. | StTyp of loc * bool Ploc.vala * type_decl list Ploc.vala
  13. | StTypExten of loc * type_extension
  14. | StUse of loc * string Ploc.vala * (str_item * loc) list Ploc.vala
  15. | StVal of loc * bool Ploc.vala * (patt * expr * attributes) list Ploc.vala
  16. | StXtr of loc * string * str_item Ploc.vala option
  17. | StFlAtt of loc * attribute
  18. | StExten of loc * attribute * attributes
and type_decl = MLast.type_decl = {
  1. tdIsDecl : bool Ploc.vala;
  2. tdNam : (loc * string Ploc.vala) Ploc.vala;
  3. tdPrm : type_var list Ploc.vala;
  4. tdPrv : bool Ploc.vala;
  5. tdDef : ctyp;
  6. tdCon : (ctyp * ctyp) list Ploc.vala;
  7. tdAttributes : attributes;
}
and generic_constructor = loc * string Ploc.vala * string list Ploc.vala * ctyp list Ploc.vala * ctyp option Ploc.vala * attributes
and extension_constructor = MLast.extension_constructor =
  1. | EcTuple of loc * generic_constructor
  2. | EcRebind of loc * string Ploc.vala * longid Ploc.vala * attributes
and type_extension = MLast.type_extension = {
  1. teNam : longid_lident Ploc.vala;
  2. tePrm : type_var list Ploc.vala;
  3. tePrv : bool Ploc.vala;
  4. teECs : extension_constructor list Ploc.vala;
  5. teAttributes : attributes;
}
and class_type = MLast.class_type =
  1. | CtLongLid of loc * longid * string Ploc.vala
  2. | CtLid of loc * string Ploc.vala
  3. | CtLop of loc * bool Ploc.vala * longid * class_type
  4. | CtCon of loc * class_type * ctyp list Ploc.vala
  5. | CtFun of loc * ctyp * class_type
  6. | CtSig of loc * ctyp option Ploc.vala * class_sig_item list Ploc.vala
  7. | CtXtr of loc * string * class_type Ploc.vala option
  8. | CtAtt of loc * class_type * attribute
  9. | CtExten of loc * attribute
and class_sig_item = MLast.class_sig_item =
  1. | CgCtr of loc * ctyp * ctyp * attributes
  2. | CgDcl of loc * class_sig_item list Ploc.vala
  3. | CgInh of loc * class_type * attributes
  4. | CgMth of loc * bool Ploc.vala * string Ploc.vala * ctyp * attributes
  5. | CgVal of loc * bool Ploc.vala * bool Ploc.vala * string Ploc.vala * ctyp * attributes
  6. | CgVir of loc * bool Ploc.vala * string Ploc.vala * ctyp * attributes
  7. | CgFlAtt of loc * attribute
  8. | CgExten of loc * attribute
and class_expr = MLast.class_expr =
  1. | CeApp of loc * class_expr * expr
  2. | CeCon of loc * longid_lident Ploc.vala * ctyp list Ploc.vala
  3. | CeFun of loc * patt * class_expr
  4. | CeLet of loc * bool Ploc.vala * (patt * expr * attributes) list Ploc.vala * class_expr
  5. | CeLop of loc * bool Ploc.vala * longid * class_expr
  6. | CeStr of loc * patt option Ploc.vala * class_str_item list Ploc.vala
  7. | CeTyc of loc * class_expr * class_type
  8. | CeXtr of loc * string * class_expr Ploc.vala option
  9. | CeAtt of loc * class_expr * attribute
  10. | CeExten of loc * attribute
and class_str_item = MLast.class_str_item =
  1. | CrCtr of loc * ctyp * ctyp * attributes
  2. | CrDcl of loc * class_str_item list Ploc.vala
  3. | CrInh of loc * bool Ploc.vala * class_expr * string option Ploc.vala * attributes
  4. | CrIni of loc * expr * attributes
  5. | CrMth of loc * bool Ploc.vala * bool Ploc.vala * string Ploc.vala * ctyp option Ploc.vala * expr * attributes
  6. | CrVal of loc * bool Ploc.vala * bool Ploc.vala * string Ploc.vala * expr * attributes
  7. | CrVav of loc * bool Ploc.vala * string Ploc.vala * ctyp * attributes
  8. | CrVir of loc * bool Ploc.vala * string Ploc.vala * ctyp * attributes
  9. | CrFlAtt of loc * attribute
  10. | CrExten of loc * attribute
and longid_lident = longid Ploc.vala option * string Ploc.vala
and payload = MLast.payload =
  1. | StAttr of loc * str_item list Ploc.vala
  2. | SiAttr of loc * sig_item list Ploc.vala
  3. | TyAttr of loc * ctyp Ploc.vala
  4. | PaAttr of loc * patt Ploc.vala * expr Ploc.vala option
and attribute_body = (loc * string) Ploc.vala * payload
and attribute = attribute_body Ploc.vala
and attributes_no_anti = attribute list
and attributes = attributes_no_anti Ploc.vala
val pp_class_infos : 'a Fmt.t -> 'a class_infos Fmt.t
val show_class_infos : 'a Fmt.t -> 'a class_infos -> String.t
val pp_longid : longid Fmt.t
val show_longid : longid -> String.t
val pp_ctyp : ctyp Fmt.t
val show_ctyp : ctyp -> String.t
val pp_poly_variant : poly_variant Fmt.t
val show_poly_variant : poly_variant -> String.t
val pp_patt : patt Fmt.t
val show_patt : patt -> String.t
val pp_expr : expr Fmt.t
val show_expr : expr -> String.t
val pp_case_branch : case_branch Fmt.t
val show_case_branch : case_branch -> String.t
val pp_module_type : module_type Fmt.t
val show_module_type : module_type -> String.t
val pp_functor_parameter : functor_parameter Fmt.t
val show_functor_parameter : functor_parameter -> String.t
val pp_sig_item : sig_item Fmt.t
val show_sig_item : sig_item -> String.t
val pp_with_constr : with_constr Fmt.t
val show_with_constr : with_constr -> String.t
val pp_module_expr : module_expr Fmt.t
val show_module_expr : module_expr -> String.t
val pp_str_item : str_item Fmt.t
val show_str_item : str_item -> String.t
val pp_type_decl : type_decl Fmt.t
val show_type_decl : type_decl -> String.t
val pp_generic_constructor : generic_constructor Fmt.t
val show_generic_constructor : generic_constructor -> String.t
val pp_extension_constructor : extension_constructor Fmt.t
val show_extension_constructor : extension_constructor -> String.t
val pp_type_extension : type_extension Fmt.t
val show_type_extension : type_extension -> String.t
val pp_class_type : class_type Fmt.t
val show_class_type : class_type -> String.t
val pp_class_sig_item : class_sig_item Fmt.t
val show_class_sig_item : class_sig_item -> String.t
val pp_class_expr : class_expr Fmt.t
val show_class_expr : class_expr -> String.t
val pp_class_str_item : class_str_item Fmt.t
val show_class_str_item : class_str_item -> String.t
val pp_longid_lident : longid_lident Fmt.t
val show_longid_lident : longid_lident -> String.t
val pp_payload : payload Fmt.t
val show_payload : payload -> String.t
val pp_attribute_body : attribute_body Fmt.t
val show_attribute_body : attribute_body -> String.t
val pp_attribute : attribute Fmt.t
val show_attribute : attribute -> String.t
val pp_attributes_no_anti : attributes_no_anti Fmt.t
val show_attributes_no_anti : attributes_no_anti -> String.t
val pp_attributes : attributes Fmt.t
val show_attributes : attributes -> String.t
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