Documentation
Value info data type and operations
Words
Tuple classes
Union classes
Generic words
Symbol words
Ordinary words
Class predicate words
Files
Metadata files
Value info data type and operations
Words
Tuple classes
| Class | Superclass | Slots |
 value-info-state | tuple | class interval literal literal? slots |
Union classes
| fixed-length |
Generic words
| Word | Stack effect |
 eql? | ( obj1 obj2 -- ? ) |
Symbol words
| value-infos |
Ordinary words
| Word | Stack effect |
 (refine-value-info) | ( info value assoc -- ) |
| (set-value-info) | ( info value assoc -- ) |
| (slots-with-length) | ( length class -- slots ) |
| (value-info-intersect) | ( info1 info2 -- info ) |
| (value-info-union) | ( info1 info2 -- info ) |
| <class-info> | ( class -- info ) |
| <class/interval-info> | ( class interval -- info ) |
| <interval-info> | ( interval -- info ) |
| <literal-info> | ( literal -- info ) |
| <sequence-info> | ( length class -- info ) |
| <tuple-info> | ( slots class -- info ) |
| <value-info> | ( -- info ) |
| >literal< | ( info -- literal literal? ) |
| class-infos | ( classes/f -- infos ) |
| class-interval | ( class -- i ) |
| empty-set? | ( info -- ? ) |
| false-class? | ( class -- ? ) |
| first-literal | ( #call -- obj ) |
| fix-capacity-class | ( class -- class' ) |
| immutable-tuple-boa? | ( #call -- ? ) |
| init-interval | ( info -- info ) |
| init-literal-info | ( info -- info ) |
| init-value-info | ( info -- info ) |
| intersect-literals | ( info1 info2 -- literal literal? ) |
| intersect-slot | ( info1 info2 -- info ) |
| intersect-slots | ( info1 info2 -- slots ) |
| interval>literal | ( class interval -- literal literal? ) |
| last-literal | ( #call -- obj ) |
| literal-class | ( obj -- class ) |
| literals<= | ( info1 info2 -- ? ) |
| max-value | ( class -- n ) |
| min-value | ( class -- n ) |
| node-input-infos | ( node -- seq ) |
| node-output-infos | ( node -- seq ) |
| node-value-info | ( node value -- info ) |
| null-class? | ( class -- ? ) |
 null-info | ( -- value ) |
| object-info | ( -- value ) |
| possible-boolean-values | ( info -- values ) |
| refine-value-info | ( info value -- ) |
| refine-value-infos | ( infos values -- ) |
| set-value-info | ( info value -- ) |
| set-value-infos | ( infos values -- ) |
| slots-with-length | ( seq -- slots ) |
| slots<= | ( info1 info2 -- ? ) |
| true-class? | ( class -- ? ) |
| tuple-slot-infos | ( tuple -- slots ) |
| union-literals | ( info1 info2 -- literal literal? ) |
| union-slot | ( info1 info2 -- info ) |
| union-slots | ( info1 info2 -- slots ) |
| value-info | ( value -- info ) |
| value-info* | ( value -- info ? ) |
| value-info-intersect | ( info1 info2 -- info ) |
| value-info-union | ( info1 info2 -- info ) |
| value-info<= | ( info1 info2 -- ? ) |
| value-infos-union | ( infos -- info ) |
| value-literal | ( value -- obj ? ) |
| word>input-infos | ( word -- input-infos/f ) |
| wrap-interval | ( interval class -- interval' ) |
Class predicate words
| Word | Stack effect |
| fixed-length? | ( object -- ? ) |
| value-info-state? | ( object -- ? ) |
Files
resource:basis/compiler/tree/propagation/info/info.factor
resource:basis/compiler/tree/propagation/info/info-docs.factor
resource:basis/compiler/tree/propagation/info/info-tests.factor
resource:basis/compiler/tree/propagation/info/info-docs.factor
resource:basis/compiler/tree/propagation/info/info-tests.factor
Metadata files