package GT

You can search for identifiers within the package.

in-package search v0.2.0

Generic programming with extensible transformations

Install

sha256=4b4d220fc64f2d508a77d229c61ec199308f4f6182c19543c96842749bb9ac3c

sha512=f295b48b23016743111867b746c97cfedccd6f32497a0a5df454fcd7f66338404604fbdfaad44210f34b56a4aca0a3f96de5cc6427191468a567128850d380c4

Foldr plugin: fold all values in a type.

Essentially is a stub that chains inherited attribute thorough all values in the value

For type declaration type ('a,'b,...) typ = ... it will create a transformation function with type

('s -> 'a -> 's) -> ('s -> 'b -> 's) -> ... -> 's -> ('a,'b,...) typ -> 's

val trait_name : string

module Make (AstHelpers : GTCommon.GTHELPERS_sig.S) : sig ... end

val register : unit -> unit