Summary
Abstract stack checker values
Words
Tuple classes
Singleton classes
Generic words
Symbol words
Ordinary words
Class predicate words
Files
Abstract stack checker values
Words
Tuple classes
| Class | Superclass | Slots |
 composed | tuple | quot1 quot2 |
| curried | tuple | obj quot |
| declared-effect | tuple | known word effect variables branches actual |
| literal-tuple | identity-tuple | value recursion |
Singleton classes
 input-parameter |
Generic words
| Word | Stack effect |
 (input-value?) | ( value -- ? ) |
| (literal) | ( known -- literal ) |
| (literal-value?) | ( value -- ? ) |
| known>callable | ( known -- quot ) |
Symbol words
| current-word |
| known-values |
Ordinary words
| Word | Stack effect |
 (declared-effect) | ( known word effect variables branches actual -- declared-effect ) |
| <composed> | ( quot1 quot2 -- composed ) |
| <curried> | ( obj quot -- curried ) |
| <declared-effect> | ( known word effect variables branches -- declared-effect ) |
| <literal> | ( obj -- value ) |
| <value> | ( -- value ) |
| >composed< | ( composed -- quot1 quot2 ) |
| >curried< | ( curried -- obj quot ) |
| ?@ | ( x -- y ) |
| copy-value | ( value -- value' ) |
| copy-values | ( values -- values' ) |
| curried/composed-literal | ( input1 input2 quot -- literal ) |
| init-known-values | ( -- ) |
| input-value? | ( value -- ? ) |
| known | ( value -- known ) |
| literal | ( value -- literal ) |
| literal-value? | ( value -- ? ) |
| make-known | ( known -- value ) |
| set-known | ( known value -- ) |
Class predicate words
| Word | Stack effect |
| composed? | ( object -- ? ) |
| curried? | ( object -- ? ) |
| declared-effect? | ( object -- ? ) |
| input-parameter? | ( object -- ? ) |
| literal-tuple? | ( object -- ? ) |
Files