inverse ( revquot word -- revquot* quot )

Vocabulary

inverse

Inputs

revquot	an object
word	an object

Outputs

revquot*	an object
quot	an object

Definition

IN: inverse

GENERIC: inverse ( revquot word -- revquot* quot )

Methods

USING: inverse kernel words ;

M: math-inverse inverse
    "math-inverse" word-prop swap next dup \ swap =
    [ drop swap-inverse ] [ pull-inverse ] if ;


USING: inverse words ;

M: normal-inverse inverse "inverse" word-prop ;


USING: inverse kernel ;

M: object inverse undo-literal ;


USING: combinators inverse kernel quotations sequences words ;

M: pop-inverse inverse
    [ "pop-length" word-prop cut-slice swap >quotation ]
    [ "pop-inverse" word-prop ] bi compose
    ( -- quot ) call-effect ;


USING: inverse words.symbol ;

M: symbol inverse undo-literal ;


USING: inverse words ;

M: word inverse undefined-inverse ;