package GT

  1. Overview
  2. Docs
package GT
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Ppx.PpxHelpers

val (@@) : ('a -> 'b) -> 'a -> 'b
val nolabelize : 'a GTCommon.HelpersBase.List.t -> (Ppxlib.Asttypes.arg_label * 'a) GTCommon.HelpersBase.List.t
val invariantize : 'a GTCommon.HelpersBase.List.t -> ('a * Ppxlib.Asttypes.variance) GTCommon.HelpersBase.List.t
type loc = Ppxlib.Location.t
val noloc : Ppxlib.Location.t
val loc_from_caml : 'a -> 'a
type type_arg = Ppxlib.core_type
val named_type_arg : loc:Ppxlib__.Import.location -> string -> Ppxlib__.Import.core_type
val typ_arg_of_core_type : 'a -> 'a
val lid : ?loc:Ppxlib.Location.t -> 'a -> 'a Ppxlib.loc
val mknoloc : 'a -> 'a Ppxlib.loc
val pexp_pair : ?loc:Ppxlib.Location.t -> Ppxlib__.Import.expression -> Ppxlib__.Import.expression -> Ppxlib__.Import.expression
val const_string : ?wtf:string -> string -> Ppxlib.constant
type lab_decl = Ppxlib.label_declaration
val lab_decl : loc:Ppxlib__.Import.location -> string -> bool -> Ppxlib__.Import.core_type -> Ppxlib__.Import.label_declaration
type case = Ppxlib.case
val case : lhs:Ppxlib__.Import.pattern -> rhs:Ppxlib__.Import.expression -> Ppxlib__.Import.case
module Pat : sig ... end
val use_new_type : loc:Ppxlib__.Import.location -> string -> Ppxlib__.Import.expression -> Ppxlib__.Import.expression
module Exp : sig ... end
module Typ : sig ... end
type nonrec class_declaration = Ppxlib.class_declaration
val class_declaration : loc:Ppxlib.location -> name:string -> ?virt:bool -> ?wrap: (Migrate_parsetree__Migrate_parsetree_versions.OCaml_408.Ast.Parsetree.class_expr -> Migrate_parsetree__Migrate_parsetree_versions.OCaml_408.Ast.Parsetree.class_expr) -> params: Migrate_parsetree__Migrate_parsetree_versions.OCaml_408.Ast.Parsetree.core_type GTCommon.HelpersBase.List.t -> Migrate_parsetree__Migrate_parsetree_versions.OCaml_408.Ast.Parsetree.class_field list -> Migrate_parsetree__Migrate_parsetree_versions.OCaml_408.Ast.Parsetree.class_expr Migrate_parsetree__Migrate_parsetree_versions.OCaml_408.Ast.Parsetree.class_infos
type nonrec type_kind =
  1. | Ptype_abstract
  2. | Ptype_record of lab_decl Base.list
type nonrec type_declaration = Ppxlib.type_declaration
val type_declaration : loc:Ppxlib__.Import.location -> name:string -> params:Ppxlib__.Import.core_type GTCommon.HelpersBase.List.t -> manifest:Ppxlib__.Import.core_type option -> kind:type_kind -> Ppxlib__.Import.type_declaration
module Str : sig ... end
module Me : sig ... end
module Mt : sig ... end
type nonrec module_declaration = Ppxlib.module_declaration
type nonrec module_type_declaration = Ppxlib.module_type_declaration
val module_declaration : loc:Ppxlib__.Import.location -> name:string -> Ppxlib__.Import.module_type -> Ppxlib__.Import.module_declaration
val module_type_declaration : loc:Ppxlib__.Import.location -> name:string -> Ppxlib__.Import.module_type option -> Ppxlib__.Import.module_type_declaration
module Sig : sig ... end
module WC : sig ... end
module Vb : sig ... end
val value_binding : loc:Ppxlib__.Import.location -> pat:Ppxlib__.Import.pattern -> expr:Ppxlib__.Import.expression -> Ppxlib__.Import.value_binding
module Cf : sig ... end
module Ctf : sig ... end
module Cty : sig ... end
module Cl : sig ... end
type class_structure = Ppxlib.class_structure
val class_structure : self:Ppxlib__.Import.pattern -> fields:Ppxlib__.Import.class_field list -> Ppxlib__.Import.class_structure
val openize_helper : is_open:bool -> loc:'a -> Ppxlib.Parsetree.core_type -> Ppxlib__.Import.core_type
val openize_poly : loc:'a -> Ppxlib.Parsetree.core_type -> Ppxlib__.Import.core_type
val closize_poly : loc:'a -> Ppxlib.Parsetree.core_type -> Ppxlib__.Import.core_type
val map_type_param_names : f:(string -> 'a) -> (Ppxlib.Parsetree.core_type * 'b) GTCommon.HelpersBase.List.t -> 'a GTCommon.HelpersBase.List.t
val prepare_param_triples : loc:Migrate_parsetree__Migrate_parsetree_versions.OCaml_408.Ast.Location.t -> extra:Ppxlib__.Import.core_type -> ?inh: (loc:Ppxlib__.Import.location -> Base.String.t -> Ppxlib__.Import.core_type) -> ?syn: (loc:Ppxlib__.Import.location -> Base.String.t -> Ppxlib__.Import.core_type) -> ?default_inh:Ppxlib.Parsetree.core_type -> ?default_syn:Ppxlib.Parsetree.core_type -> Base.String.t list -> Ppxlib__.Import.core_type Base__List.t
val inh_syn_ts : ?loc:Ppxlib.Location.t -> unit -> Ppxlib.Parsetree.core_type list
val are_the_same : Ppxlib.Parsetree.core_type -> Ppxlib.Parsetree.type_declaration -> bool
val typ_vars_of_typ : Ppxlib__.Import.Ast.core_type -> Base.String.t GTCommon.HelpersBase.List.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