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

v0.4.2.tar.gz
sha256=d23fb8e20ca28ec9ae07feee45b39aee8fb87ab11ec55211e2365f2c5a1c4ccf
sha512=0ade04e78a4d8e24acf24d3e4cdf358532d68284fa8e801b25bdf21c3c0483bb97d1350e86abcf9f93efec870b07f0f067a5dccae81686b14265baab3a4e7c13

doc/GT.common/GTCommon/HelpersBase/index.html

Module GTCommon.HelpersBase

val id : 'a -> 'a
val raise_errorf : ?loc:'a -> ('b, unit, string, 'c) format4 -> 'b
val not_implemented : ?loc:'a -> ('b, unit, string, 'c) format4 -> 'b
module List : sig ... end
module Format : sig ... end
val string_of_core_type : Ppxlib_ast__.Import.Parsetree.core_type -> string
val compare_core_type : Ppxlib_ast__.Import.Parsetree.core_type -> Ppxlib_ast__.Import.Parsetree.core_type -> int
val visit_typedecl : loc:'a -> ?onrecord:(Ppxlib.label_declaration list -> 'b) -> ?onmanifest:(Ppxlib.core_type -> 'b) -> ?onvariant:(Ppxlib.constructor_declaration list -> 'b) -> ?onabstract:(unit -> 'b) -> ?onopen:(unit -> 'b) -> Ppxlib.type_declaration -> 'b
val affect_longident : f:(string -> string) -> Ppxlib.longident -> Ppxlib.longident
val map_longident : f:(string -> string) -> Ppxlib.longident -> Ppxlib.longident
val lident_tail : Ppxlib.longident -> Ppxlib.longident
val map_core_type : ?onconstr: (Ppxlib.longident -> Ppxlib.core_type list -> Ppxlib.core_type option) -> onvar:(string -> Ppxlib.core_type Base.Option.t) -> Ppxlib.core_type -> Ppxlib.core_type
val list_first_some : f:('a -> 'b option) -> 'a List.t -> 'b option
val maybe_specialiaze : what:Ppxlib.type_declaration -> Ppxlib.core_type List.t -> (string * Ppxlib.core_type) List.t option
val specialize_for_tdecl : what:Ppxlib.type_declaration -> where:Ppxlib.type_declaration -> (string * Ppxlib.core_type) List.t
val with_constr_typ : Ppxlib.core_type -> ok:(Ppxlib.longident_loc -> Ppxlib.core_type list -> 'a) -> fail:(unit -> 'a) -> 'a
val constr_of_tuple : ?loc:Ppxlib.Location.t -> Migrate_parsetree.Ast_412.Parsetree.core_type List.t -> Migrate_parsetree.Ast_412.Parsetree.core_type
val using_type : typename:string -> Ppxlib.type_declaration -> Migrate_parsetree.Ast_412.Parsetree.core_type
val is_polyvariant : Ppxlib.core_type -> bool
val is_tuple : Ppxlib.core_type -> bool
val is_polyvariant_tdecl : Ppxlib.type_declaration -> bool
val is_tuple_tdecl : Ppxlib.type_declaration -> bool
val is_algebraic_tdecl : Ppxlib.type_declaration -> bool
val has_many_constructors_tdecl : Ppxlib.type_declaration -> bool
val unfold_tuple : Ppxlib.core_type -> Ppxlib.core_type list
val prepare_patt_match_poly : loc:Ppxlib_ast__.Import.Location.t -> Migrate_parsetree.Ast_412.Parsetree.expression -> Ppxlib.row_field_desc List.t -> string List.t option -> onrow: (Ppxlib.label Ppxlib.loc -> (string * Ppxlib.core_type) List.t -> Migrate_parsetree.Ast_412.Parsetree.expression) -> onlabel:(string -> string -> Migrate_parsetree.Ast_412.Parsetree.expression) -> oninherit: (Ppxlib.core_type list -> Ppxlib.longident -> string -> Migrate_parsetree.Ast_412.Parsetree.expression) -> Migrate_parsetree.Ast_412.Parsetree.expression
val map_type_param_names : f:(string -> 'a) -> (Ppxlib.core_type * 'b) List.t -> 'a List.t
val notify : ('a, Format.formatter, unit, unit) format4 -> 'a
val string_after_a : int -> string
val hash_variant : string -> int
val failwiths : ('a, Format.formatter, unit, 'b) format4 -> 'a