package GT

  1. Overview
  2. Docs

Module PpxHelpers.Typ

type t = Ppxlib.core_type
val constr : loc:Ppxlib__.Import.location -> Ppxlib__.Import.longident -> Ppxlib__.Import.core_type list -> Ppxlib__.Import.core_type
val of_type_arg : loc:Ppxlib.location -> Ppxlib.core_type -> Ppxlib.core_type
val from_caml : 'a -> 'a
val use_tdecl : Ppxlib.type_declaration -> Ppxlib__.Import.core_type
val of_longident : loc:Ppxlib__.Import.location -> Ppxlib__.Import.longident -> Ppxlib__.Import.core_type
val access2 : loc:Ppxlib__.Import.location -> Base.String.t -> string -> Ppxlib__.Import.core_type
val ident : loc:Ppxlib__.Import.location -> string -> Ppxlib__.Import.core_type
val sprintf : loc:Ppxlib__.Import.location -> ('a, unit, string, Ppxlib__.Import.core_type) Stdlib.format4 -> 'a
val string : loc:Ppxlib__.Import.location -> Ppxlib__.Import.core_type
val pair : loc:Ppxlib__.Import.location -> Ppxlib__.Import.core_type -> Ppxlib__.Import.core_type -> Ppxlib__.Import.core_type
val var : loc:Ppxlib__.Import.location -> string -> Ppxlib__.Import.core_type
val any : loc:Ppxlib__.Import.location -> Ppxlib__.Import.core_type
val unit : loc:Ppxlib.location -> Ppxlib.core_type
val object_ : loc:Ppxlib__.Import.location -> Ppxlib__.Import.closed_flag -> (Ppxlib.label * Ppxlib.core_type) GTCommon.HelpersBase.List.t -> Ppxlib__.Import.core_type
val package : loc:Ppxlib__.Import.location -> Ppxlib__.Import.longident_loc -> Ppxlib__.Import.core_type
val arrow : loc:Ppxlib__.Import.location -> Ppxlib__.Import.core_type -> Ppxlib__.Import.core_type -> Ppxlib__.Import.core_type
val tuple : loc:Ppxlib__.Import.location -> Ppxlib__.Import.core_type GTCommon.HelpersBase.List.t -> Ppxlib__.Import.core_type
val class_ : loc:Ppxlib__.Import.location -> Ppxlib__.Import.longident -> Ppxlib__.Import.core_type list -> Ppxlib__.Import.core_type
val chain_arrow : loc:Ppxlib__.Import.location -> Ppxlib__.Import.core_type GTCommon.HelpersBase.List.t -> Ppxlib__.Import.core_type
val variant : loc:Ppxlib__.Import.location -> ?is_open:bool -> Ppxlib__.Import.row_field list -> Ppxlib__.Import.core_type
val variant_of_t : loc:Ppxlib.location -> Ppxlib.core_type -> Ppxlib.core_type
val alias : loc:Ppxlib__.Import.location -> Ppxlib__.Import.core_type -> string -> Ppxlib__.Import.core_type
val poly : loc:Ppxlib__.Import.location -> string GTCommon.HelpersBase.List.t -> Ppxlib__.Import.core_type -> Ppxlib__.Import.core_type
val map : onvar:(string -> Ppxlib.core_type Base.Option.t) -> Ppxlib.core_type -> Ppxlib.core_type
val openize : loc:Ppxlib.location -> ?as_:string -> Ppxlib.core_type -> Ppxlib__.Import.core_type
val to_type_arg : 'a -> 'a option
val to_type_arg_exn : 'a -> 'a