undo-if* ( result a b -- boolean ) - Factor Documentation

Vocabulary
inverse

Definition

USING: combinators kernel locals ;

IN: inverse

:: undo-if* ( result a b -- boolean )
    b ( -- b ) call-effect result =
    [ f ] [ result a [undo] ( a -- b ) call-effect ] if ;