Module `GTCommon.HelpersBase`Source

Sourceval id : 'a -> 'a

Sourceval not_implemented : ('a, unit, string, 'b) format4 -> 'a

Sourcemodule List : sig ... end

val compare_core_type : 
  Astlib__.Ast_412.Parsetree.core_type ->
  Astlib__.Ast_412.Parsetree.core_type ->
  int

Source

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

Source

val affect_longident : 
  f:(string -> string) ->
  Ppxlib.longident ->
  Ppxlib.longident

Source

val map_longident : 
  f:(string -> string) ->
  Ppxlib.longident ->
  Ppxlib.longident

Sourceval lident_tail : Ppxlib.longident -> Ppxlib.longident

Sourcemodule SS : sig ... end

Sourceval vars_from_core_type : Ppxlib.core_type -> SS.t

Sourceval vars_from_tdecl : Ppxlib.type_declaration -> SS.t

Source

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

Sourceval list_first_some : f:('a -> 'b option) -> 'a List.t -> 'b option

Sourceval is_type_used_in : tdecl:Ppxlib.type_declaration -> Ppxlib.longident -> bool

Source

val maybe_specialiaze : 
  what:Ppxlib.type_declaration ->
  Ppxlib.core_type List.t ->
  (string * Ppxlib.core_type) List.t option

Source

val specialize_for_tdecl : 
  what:Ppxlib.type_declaration ->
  where:Ppxlib.type_declaration ->
  (string * Ppxlib.core_type) List.t

Source

val with_constr_typ : 
  Ppxlib.core_type ->
  ok:(Ppxlib.longident_loc -> Ppxlib.core_type list -> 'a) ->
  fail:(unit -> 'a) ->
  'a

Source

val constr_of_tuple : 
  ?loc:Ppxlib.Location.t ->
  Astlib.Ast_412.Parsetree.core_type List.t ->
  Astlib.Ast_412.Parsetree.core_type

Source

val using_type : 
  typename:string ->
  Ppxlib.type_declaration ->
  Astlib.Ast_412.Parsetree.core_type

Sourceval is_polyvariant : Ppxlib.core_type -> bool

Sourceval is_tuple : Ppxlib.core_type -> bool

Sourceval is_polyvariant_tdecl : Ppxlib.type_declaration -> bool

Sourceval is_tuple_tdecl : Ppxlib.type_declaration -> bool

Sourceval is_algebraic_tdecl : Ppxlib.type_declaration -> bool

Sourceval has_many_constructors_tdecl : Ppxlib.type_declaration -> bool

Sourceval unfold_tuple : Ppxlib.core_type -> Ppxlib.core_type list

Source

val prepare_patt_match_poly : 
  loc:Astlib.Location.t ->
  Astlib.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 ->
      Astlib.Ast_412.Parsetree.expression) ->
  onlabel:(string -> string -> Astlib.Ast_412.Parsetree.expression) ->
  oninherit:
    (Ppxlib.core_type list ->
      Ppxlib.longident ->
      string ->
      Astlib.Ast_412.Parsetree.expression) ->
  Astlib.Ast_412.Parsetree.expression

Source

val map_type_param_names : 
  f:(string -> 'a) ->
  (Ppxlib.core_type * 'b) List.t ->
  'a List.t

Sourceval notify : ('a, Format.formatter, unit, unit) format4 -> 'a

Sourceval string_after_a : int -> string

Sourceval hash_variant : string -> int

Sourceval failwiths : ('a, Format.formatter, unit, 'b) format4 -> 'a

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `GTCommon.HelpersBase`Source

package GT

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module GTCommon.HelpersBaseSource

Module `GTCommon.HelpersBase`Source