<smart-arrow> ( quot -- quot' )
Smart arrow models

Vocabulary
models.arrow.smart

Inputs

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

Outputs
None

Word description
A macro that expands into a form with the stack effect of the quotation. The form constructs a model which applies the quotation to values from an underlying product model having as many components as the quotation has inputs.

Examples
A model which adds the values of two existing models:

USING: models models.arrow.smart accessors kernel math prettyprint ; 1 <model> 2 <model> [ + ] <smart-arrow> [ activate-model ] [ value>> ] bi .
3

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
    ;