Documentation
Invertible quotations
Metadata
Words
Tuple classes
Predicate classes
Union classes
Parsing words
Generic words
Macro words
Symbol words
Ordinary words
Class predicate words
Files
Metadata files
Invertible quotations
Metadata
| Tags: | extensions |
| Authors: | Daniel Ehrenberg |
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
resource:basis/inverse/inverse-docs.factor
resource:basis/inverse/inverse-tests.factor
Metadata files