package GT

  1. Overview
  2. Docs
Generic programming with extensible transformations

Install

dune-project
 Dependency

Authors

Maintainers

Sources

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

doc/ppx/Ppx/PpxHelpers/Typ/index.html

Module PpxHelpers.Typ

type t = Ppxlib.core_type
val constr : loc:Ppxlib__.Location.t -> 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__.Location.t -> Ppxlib__.Import.longident -> Ppxlib__.Import.core_type
val access2 : loc:Ppxlib__.Location.t -> Base.String.t -> string -> Ppxlib__.Import.core_type
val ident : loc:Ppxlib__.Location.t -> string -> Ppxlib__.Import.core_type
val sprintf : loc:Ppxlib__.Location.t -> ('a, unit, string, Ppxlib__.Import.core_type) Stdlib.format4 -> 'a
val string : loc:Ppxlib__.Location.t -> Ppxlib__.Import.core_type
val pair : loc:Ppxlib__.Location.t -> Ppxlib__.Import.core_type -> Ppxlib__.Import.core_type -> Ppxlib__.Import.core_type
val var : loc:Ppxlib__.Location.t -> string -> Ppxlib__.Import.core_type
val any : loc:Ppxlib__.Location.t -> Ppxlib__.Import.core_type
val unit : loc:Ppxlib.location -> Ppxlib_ast.Ast.core_type
val object_ : loc:Ppxlib__.Location.t -> Ppxlib__.Import.closed_flag -> (Ppxlib.label * Ppxlib.core_type) GTCommon.HelpersBase.List.t -> Ppxlib__.Import.core_type
val package : loc:Ppxlib__.Location.t -> Ppxlib__.Import.longident_loc -> Ppxlib__.Import.core_type
val arrow : loc:Ppxlib__.Location.t -> Ppxlib__.Import.core_type -> Ppxlib__.Import.core_type -> Ppxlib__.Import.core_type
val tuple : loc:Ppxlib__.Location.t -> Ppxlib__.Import.core_type GTCommon.HelpersBase.List.t -> Ppxlib__.Import.core_type
val class_ : loc:Ppxlib__.Location.t -> Ppxlib__.Import.longident -> Ppxlib__.Import.core_type list -> Ppxlib__.Import.core_type
val chain_arrow : loc:Ppxlib__.Location.t -> Ppxlib__.Import.core_type GTCommon.HelpersBase.List.t -> Ppxlib__.Import.core_type
val variant : loc:Ppxlib__.Location.t -> ?is_open:bool -> Ppxlib__.Import.row_field list -> Ppxlib__.Import.core_type
val variant_of_t : loc:Ppxlib.location -> Ppxlib_ast.Ast.core_type -> Ppxlib_ast.Ast.core_type
val alias : loc:Ppxlib__.Location.t -> Ppxlib__.Import.core_type -> string -> Ppxlib__.Import.core_type
val poly : loc:Ppxlib__.Location.t -> 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_ast.Ast.core_type -> Ppxlib__.Import.core_type
val to_type_arg : 'a -> 'a option
val to_type_arg_exn : 'a -> 'a