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.
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Members list
Type members
Types
Value members
Concrete methods
fanout = zip in the Arrow terminology
fanout = zip in the Arrow terminology
Attributes
parallel composition
parallel composition
Attributes
zip with another fold, running this one only for its side effects
zip with another fold, running this one only for its side effects
Attributes
zip with another fold only for its side effects
zip with another fold only for its side effects
Attributes
zip 2 folds to return a pair of values. alias for zip
zip 2 folds to return a pair of values. alias for zip
Attributes
alias for observeNextState
alias for observeNextState
Attributes
alias for observeState
alias for observeState
Attributes
alias for observeWithNextState
alias for observeWithNextState
Attributes
alias for observeWithState
alias for observeWithState
Attributes
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
Attributes
pipe the output of this fold into another fold
pipe the output of this fold into another fold
Attributes
contramap the input values with effects
contramap the input values with effects
Attributes
contramap the input values
contramap the input values
Attributes
map the output value
map the output value
Attributes
flatMap the output value
flatMap the output value
Attributes
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
Attributes
alias for <*
alias for <*
Attributes
observe the next state
observe the next state
Attributes
observe the current state
observe the current state
Attributes
observe both the input value and the next state
observe both the input value and the next state
Attributes
observe both the input value and the current state
observe both the input value and the current state
Attributes
alias for *>
alias for *>
Attributes
run another fold on the end result
run another fold on the end result
Attributes
run a Fold with a Foldable instance
run a Fold with a Foldable instance
Attributes
run over one element
run over one element
Attributes
equivalent of the void method for functors, added here for easier type inference
equivalent of the void method for functors, added here for easier type inference