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

v0.4.0.zip

sha256=4b4d220fc64f2d508a77d229c61ec199308f4f6182c19543c96842749bb9ac3c

sha512=f295b48b23016743111867b746c97cfedccd6f32497a0a5df454fcd7f66338404604fbdfaad44210f34b56a4aca0a3f96de5cc6427191468a567128850d380c4

doc/foldr/Foldr/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