?3if ( ..a x y z pred: ( ..a x quot: ( ..a x y z -- ..b ? ) -- ..b x ? ) true: ( ..b x y z -- ..c ) false: ( ..b x y z -- ..c ) -- ..c )

Vocabulary

combinators.extras

Inputs

x	an object
y	an object
z	an object
pred	a quotation with stack effect ( ..a x quot: ( ..a x y z -- ..b ? ) -- ..b x ? )
true	a quotation with stack effect ( ..b x y z -- ..c )
false	a quotation with stack effect ( ..b x y z -- ..c )

Outputs

None

Definition

USING: kernel ;

IN: combinators.extras

: ?3if
    ( ..a x y z pred: ( ..a x quot: ( ..a x y z -- ..b ? ) -- ..b x ? ) true: ( ..b x y z -- ..c ) false: ( ..b x y z -- ..c ) -- ..c )
    [ ?3guard ] 2dip if ; inline