&& ( quots -- quot )
Smart short-circuit combinators
Next:|| ( quots -- quot )


Vocabulary
combinators.short-circuit.smart

Inputs
quotsa sequence of quotations


Outputs
quota quotation


Word description
Infers the number of arguments that each quotation takes from the stack. Each quotation must take the same number of arguments. Returns true if every quotation yields true, and stops early if one yields false.

Examples
Smart combinators will infer the two inputs:
USING: prettyprint kernel math combinators.short-circuit.smart ; 2 3 { [ + 5 = ] [ - -1 = ] } && .
t


Definition
USING: combinators.short-circuit
combinators.short-circuit.smart.private kernel ;

IN: combinators.short-circuit.smart

MACRO: && ( quots -- quot ) dup arity [ n&& ] 2curry ;