package GT

  1. Overview
  2. Docs
Generic programming with extensible transformations

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (9)

Authors

  1. H
    https://github.com/dboulytchev
  2. H
    https://github.com/Kakadu

Maintainers

  1. K
    Kakadu@pm.me

Sources

0.5.1.tar.gz
sha256=fe0aa1e40afd36f7c1fcd992c408261d0b5645cea080ea98bc5dbf0b8682187f
sha512=8db0f2d8db4d7c11cf55835ba2b6c4f5ee1e8c09a4bdc2a9c57d50958ff8654688d4c8596079dfd1027d8b9e878f6e1b0d14341bcdf5f63cf96a45b2a571f3cb

doc/ppx/Ppx/PpxHelpers/index.html

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.variance * Ppxlib.injectivity)) 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__.Location.t -> 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 : loc:Ppxlib.location -> ?wtf:string -> string -> Ppxlib.constant
type lab_decl = Ppxlib.label_declaration
val lab_decl : loc:Ppxlib__.Location.t -> 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__.Location.t -> 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: (Astlib.Ast_500.Parsetree.class_expr -> Astlib.Ast_500.Parsetree.class_expr) -> params:Astlib.Ast_500.Parsetree.core_type GTCommon.HelpersBase.List.t -> Astlib.Ast_500.Parsetree.class_field list -> Astlib.Ast_500.Parsetree.class_expr Astlib.Ast_500.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__.Location.t -> 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__.Location.t -> name:string -> Ppxlib__.Import.module_type -> Ppxlib__.Import.module_declaration
val module_type_declaration : loc:Ppxlib__.Location.t -> 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__.Location.t -> 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:Astlib__.Location.t -> extra:Ppxlib__.Import.core_type -> ?inh:(loc:Ppxlib__.Location.t -> Base.String.t -> Ppxlib__.Import.core_type) -> ?syn:(loc:Ppxlib__.Location.t -> Base.String.t -> Ppxlib__.Import.core_type) -> ?default_inh:Ppxlib_ast.Ast.core_type -> ?default_syn:Ppxlib_ast.Ast.core_type -> Base.String.t list -> Ppxlib__.Import.core_type Base__List.t
val inh_syn_ts : ?loc:Ppxlib.Location.t -> unit -> Ppxlib_ast.Ast.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