A Fold is a "left fold" over a data structure with:
- a 'start' value
- a 'fold' method to accumulate state
- an 'end' method to finalize the result
Both 'start' and 'end' have an effect which allows the whole folding to take place inside a context.
- Companion
- object
Type members
Types
Value members
Concrete methods
zip with another fold, running this one only for its side effects
zip with another fold, running this one only for its side effects
zip 2 folds to return a pair of values. alias for zip
zip 2 folds to return a pair of values. alias for zip
equivalent of the as method for functors, added here for easier type inference
equivalent of the as method for functors, added here for easier type inference
create a fold that will run this fold repeatedly on input elements and collect all results
create a fold that will run this fold repeatedly on input elements and collect all results
observe both the input value and the current state
observe both the input value and the current state