reduce* ( seq identity quot: ( prev elt -- next ) -- result )


Vocabulary
models.combinators.private

Inputs
seqan object
identityan object
quota quotation with stack effect ( prev elt -- next )


Outputs
resultan object


Definition


:: reduce*
( seq identity quot: ( prev elt -- next ) -- result )
seq
[ identity ] [
unclip identity swap quot ( prev elt -- next )
call-effect quot reduce*
] if-empty ; inline recursive