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/GT.syntax/Pa_gt/Camlp5Helpers/Typ/index.html

Module Camlp5Helpers.Typ

type t = MLast.ctyp
val of_longident : loc:MLast.loc -> Ppxlib.Longident.t -> MLast.ctyp
val sprintf : loc:MLast.loc -> ('a, unit, string, MLast.ctyp) format4 -> 'a
val ident : loc:MLast.loc -> string -> MLast.ctyp
val string : loc:MLast.loc -> MLast.ctyp
val unit : loc:MLast.loc -> MLast.ctyp
val pair : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp -> MLast.ctyp
val access2 : loc:MLast.loc -> string -> string -> MLast.ctyp
val var : loc:MLast.loc -> string -> MLast.ctyp
val app : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp -> MLast.ctyp
val any : loc:MLast.loc -> MLast.ctyp
val alias : loc:MLast.loc -> MLast.ctyp -> string -> MLast.ctyp
val tuple : loc:MLast.loc -> MLast.ctyp list -> MLast.ctyp
val constr : loc:MLast.loc -> Ppxlib.Longident.t -> MLast.ctyp list -> MLast.ctyp
val class_ : loc:MLast.loc -> Longident.t -> MLast.ctyp list -> MLast.ctyp
val of_type_arg : loc:MLast.loc -> (string option Ploc.vala * 'a) -> MLast.ctyp
val object_ : loc:MLast.loc -> Ppxlib.closed_flag -> (string * MLast.ctyp) list -> MLast.ctyp
val arrow : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp -> MLast.ctyp
val chain_arrow : loc:MLast.loc -> MLast.ctyp list -> MLast.ctyp
val from_caml : Ppxlib.core_type -> MLast.ctyp
val variant : loc:MLast.loc -> ?is_open:bool -> Ppxlib.row_field list -> MLast.ctyp
val variant_of_t : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp
val openize : loc:MLast.loc -> ?as_:string -> MLast.ctyp -> MLast.ctyp
val use_tdecl : Ppxlib.type_declaration -> MLast.ctyp
val poly : loc:MLast.loc -> string list -> MLast.ctyp -> MLast.ctyp
val map : onvar:'a -> 'b -> 'b
val to_type_arg : MLast.ctyp -> type_arg option
val to_type_arg_exn : MLast.ctyp -> type_arg