Summary
Metadata
Words
Tuple classes
Predicate classes
Generic words
Ordinary words
Class predicate words
Files
Metadata
| Parents: | classes.algebra |
Words
Tuple classes
| Class | Superclass | Slots |
 anonymous-complement | tuple | class |
| anonymous-intersection | tuple | participants |
| anonymous-predicate | tuple | class predicate |
| anonymous-union | tuple | members |
Predicate classes
| Class | Superclass |
 empty-intersection | anonymous-intersection |
| empty-union | anonymous-union |
| nontrivial-anonymous-complement | anonymous-complement |
| nontrivial-anonymous-intersection | anonymous-intersection |
Generic words
| Word | Stack effect |
 (classes-intersect?) | ( first second -- ? ) |
| (flatten-class) | ( class -- ) |
| normalize-class | ( class -- class' ) |
Ordinary words
| Word | Stack effect |
 (class-and) | ( first second -- class ) |
| (class-not) | ( class -- complement ) |
| (class-or) | ( first second -- class ) |
| (class<=) | ( first second -- ? ) |
| <anonymous-complement> | ( object -- classoid ) |
| <anonymous-intersection> | ( participants -- classoid ) |
| <anonymous-predicate> | ( class predicate -- classoid ) |
| <anonymous-union> | ( members -- classoid ) |
| anonymous-complement-or | ( first second -- class ) |
| anonymous-complement<= | ( first second -- ? ) |
| anonymous-intersection-and | ( first second -- class ) |
| anonymous-union-and | ( first second -- class ) |
| anonymous-union-or | ( first second -- class ) |
| classes>anonymous-union | ( first second -- class ) |
| left-anonymous-complement<= | ( first second -- ? ) |
| left-anonymous-intersection<= | ( first second -- ? ) |
| left-anonymous-union<= | ( first second -- ? ) |
| normalize-complement | ( class -- class' ) |
| right-anonymous-intersection<= | ( first second -- ? ) |
| right-anonymous-union<= | ( first second -- ? ) |
| right-union<= | ( first second -- ? ) |
| superclass<= | ( first second -- ? ) |
| symmetric-class-op | ( first second cache quot -- result ) |
Class predicate words
| Word | Stack effect |
| anonymous-complement? | ( object -- ? ) |
| anonymous-intersection? | ( object -- ? ) |
| anonymous-predicate? | ( object -- ? ) |
| anonymous-union? | ( object -- ? ) |
| empty-intersection? | ( object -- ? ) |
| empty-union? | ( object -- ? ) |
| nontrivial-anonymous-complement? | ( object -- ? ) |
| nontrivial-anonymous-intersection? | ( object -- ? ) |
Files