Fuzion • Library Modules • base • Values_Of_Open_Type • typed_foldf

Values_Of_Open_Type.typed_foldf

type

, A

type

: container.typed_applicator E, e E, a A)

[Redefinition of container.Typed_Sequence.typed_foldf]

fold the actual fields created for a field whose type is an open type parameter
using the given `TypeApplicator` `a` and initial value `e`.

In case the actual open type parameter list is empty, the result is `e`.

redefines:

container.Typed_Sequence.typed_foldf

Type Parameters

Any ¶

[src]

container.typed_applicator ¶

[src]

0.099dev (GIT hash 8a3b2154fffb0bbabef56ce49186aafdc5c6245c)

last changed: 2026-10-13