inverse vocabulary
Factor handbook > Vocabulary index


Documentation
Invertible quotations

Meta-data
Tags:extensions
Authors:Daniel Ehrenberg


Words

Tuple classes
ClassSuperclassSlots
bad-math-inverse tuple
fail tuple
missing-literal tuple
no-match tuple
no-recursive-inverse tuple
undefined-inverse tuple


Predicate classes
ClassSuperclass
math-inverse word
normal-inverse word
pop-inverse word


Union classes
explicit-inverse


Generic words
WordStack effect
inverse( revquot word -- revquot* quot )


Macro words
WordStack effect
matches?( quot -- quot' )
switch( quot-alist -- quot )
undo( quot -- quot )


Symbol words
visited


Ordinary words
WordStack effect
(undo)( revquot -- )
=/fail( obj1 obj2 -- )
?wrapped( object -- wrapped )
[matches?]( quot -- undoes?-quot )
[switch]( quot-alist -- quot )
[undo]( quot -- undo )
__( -- * )
assert-literal( n -- n )
assure( ? -- )
assure-array( array -- array )
assure-constant( constant -- quot )
assure-length( seq length -- )
assure-same-class( obj1 obj2 -- )
bad-math-inverse( -- * )
boa-inverse( class -- quot )
both( object object -- object )
constant-word?( word -- ? )
deconstruct-pred( class -- quot )
define-dual( word1 word2 -- )
define-inverse( word quot -- )
define-involution( word -- )
define-math-inverse( word quot1 quot2 -- )
define-pop-inverse( word n quot -- )
empty-inverse( class -- quot )
enough?( stack word -- ? )
fail( -- * )
false-recover( effect -- quot )
flatten( quot -- expanded )
flattenable?( object -- ? )
fold( quot -- folded-quot )
fold-word( stack word -- stack )
missing-literal( -- * )
next( revquot -- revquot* first )
no-match( -- * )
no-recursive-inverse( -- * )
pull-inverse( math-inverse revquot const -- revquot* quot )
recover-chain( seq -- quot )
recover-fail( try fail -- )
slot-readers( class -- quot )
swap-inverse( math-inverse revquot -- revquot* quot )
true-out( quot effect -- quot' )
undefined-inverse( -- * )
undo-if*( result a b -- boolean )
undo-if-empty( result a b -- seq )
undo-literal( object -- quot )
undo-narray( array n -- ... )


Class predicate words
WordStack effect
bad-math-inverse?( object -- ? )
explicit-inverse?( object -- ? )
fail?( object -- ? )
math-inverse?( object -- ? )
missing-literal?( object -- ? )
no-match?( object -- ? )
no-recursive-inverse?( object -- ? )
normal-inverse?( object -- ? )
pop-inverse?( object -- ? )
undefined-inverse?( object -- ? )


Files