inverse vocabulary - Factor Documentation (original) (raw)

inverse vocabulary
Factor handbook » Vocabulary index

Documentation
Invertible quotations

Metadata

Words

Tuple classes

Class	Superclass	Slots
bad-math-inverse	tuple
fail	tuple
missing-literal	tuple
no-match	tuple
no-recursive-inverse	tuple
undefined-inverse	tuple

Predicate classes

Class	Superclass
math-inverse	word
normal-inverse	word
pop-inverse	word

Union classes

explicit-inverse

Parsing words

Word	Syntax
DUAL:
INVERSE:

Generic words

Word	Stack effect
inverse	( revquot word -- revquot* quot )

Macro words

Word	Stack effect
matches?	( quot -- quot' )
switch	( quot-alist -- quot )
under	( invertible-quot quot -- quot )
undo	( quot -- quot )

Symbol words

visited

Ordinary words

Word	Stack 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

Word	Stack 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

resource:basis/inverse/inverse.factor
resource:basis/inverse/inverse-docs.factor
resource:basis/inverse/inverse-tests.factor

Metadata files

resource:basis/inverse/authors.txt
resource:basis/inverse/summary.txt
resource:basis/inverse/tags.txt