<?smart-arrow> ( quot -- quot' )

Vocabulary

models.arrow.smart

Inputs

quot	a quotation with stack effect ( ... -- output )

Outputs

None

Word description

Like <smart-arrow>, but with the semantics of <?arrow>.

Definition

USING: combinators.smart kernel models.arrow models.product
sequences.generalizations ;

IN: models.arrow.smart

MACRO: <?smart-arrow> ( quot -- quot' )
    [ inputs dup ] keep [ [ firstn ] curry ] dip compose
    [ [ narray <product> ] curry ] dip [ <?arrow> ] curry
    compose ;