Up – Package index » Synopsis » Library foldr » Foldr

Module `Foldr`Source

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

Sourceval trait_name : string

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

Sourceval register : unit -> unit