Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.
Fuzion • Library Modules • base • effect_types • type_foldf

type_foldf

effect_types.type_foldf

type_foldf
(E 
type
, A 
type
: container.type_applicator E, e E, a A)
 => 
E
[Redefinition of  container.Types.type_foldf]
[src]
fold all types of instated effects using the given `type_applicator` `a`
and initial value `e`.

redefines:

Type Parameters

E
:
Any
[src]
A
:
container.type_applicator
[src]
0.097dev (GIT hash 557c81996bb4296360bd9e8a6576faac6d72b5ec)
last changed: 2026-06-17