Folds the value in the right of These. The left value will be ignored and init will be used.
These
init
The function to fold the contained value.
The folded value.
Generated using TypeDoc
Folds the value in the right of
These
. The left value will be ignored andinit
will be used.