2push-map-when ( ..a filter-quot: ( ..a -- ..b ? ) map-quot: ( ..a -- ..b obj ) accum -- ..b )


Vocabulary
sequences.extras.private

Inputs
filter-quota quotation with stack effect ( ..a -- ..b ? )
map-quota quotation with stack effect ( ..a -- ..b obj )
accuman object


Outputs
None

Definition


: 2push-map-when
( ..a filter-quot: ( ..a -- ..b ? ) map-quot: ( ..a -- ..b obj ) accum -- ..b )
[ 2check ] 2dip [ push ] curry compose
[ [ 2drop ] if ] curry call ; inline