package GT

You can search for identifiers within the package.

in-package search v0.2.0

Generic programming with extensible transformations

Install

dune-project

Dependency

github.com Readme Edit opam file Versions (9)

Authors

Maintainers

K

Kakadu@pm.me

Sources

0.5.0.tar.gz

sha256=3f26c69a215066b42c6edde2ea4cd4516bdc9a01482b64355d3adf87ed85e179

sha512=7a5236618124f370aa373483255bd3efeb5c251005efa7d43aadb6be968df310b5f312b8066245544cfdf9972a7944f0ff2448bd09cb8a8e0bb5f8b1f9b5340b

doc/GT.common/GTCommon/Plugin/Make/argument-1-AstHelpers/index.html

Parameter `Make.AstHelpers`

type loc

type class_structure

type case

type class_declaration

type lab_decl

type module_declaration

type module_type_declaration

type type_arg

val loc_from_caml : Ppxlib.location -> loc

val noloc : loc

val named_type_arg : loc:loc -> string -> type_arg

val typ_arg_of_core_type : Ppxlib.core_type -> type_arg

module Pat : sig ... end

for Pat

module Exp : sig ... end

module Typ : sig ... end

module Cf : sig ... end

module Cty : sig ... end

module Ctf : sig ... end

module Str : sig ... end

module Sig : sig ... end

module Me : sig ... end

module Mt : sig ... end

module WC : sig ... end

module Cl : sig ... end

module Vb : sig ... end

val class_declaration : 
  loc:loc ->
  name:string ->
  ?virt:bool ->
  ?wrap:(Cl.t -> Cl.t) ->
  params:type_arg list ->
  Cf.t list ->
  class_declaration

val value_binding : loc:loc -> pat:Pat.t -> expr:Exp.t -> Vb.t

val case : lhs:Pat.t -> rhs:Exp.t -> case

val class_structure : self:Pat.t -> fields:Cf.t list -> class_structure

val lab_decl : loc:loc -> string -> bool -> Typ.t -> lab_decl

val module_declaration : loc:loc -> name:string -> Mt.t -> module_declaration

val module_type_declaration : 
  loc:loc ->
  name:string ->
  Mt.t option ->
  module_type_declaration

val use_new_type : loc:loc -> string -> Exp.t -> Exp.t

val openize_poly : loc:loc -> Typ.t -> Typ.t

val prepare_param_triples : 
  loc:loc ->
  extra:Typ.t ->
  ?inh:(loc:loc -> string -> Typ.t) ->
  ?syn:(loc:loc -> string -> Typ.t) ->
  ?default_inh:Typ.t ->
  ?default_syn:Typ.t ->
  string list ->
  Typ.t list

val typ_vars_of_typ : Typ.t -> string list