Documentation
Stack effect declarations
Meta-data
Words
Tuple classes
Generic words
Ordinary words
Class predicate words
Files
Children from resource:core
Stack effect declarations
Meta-data
| Tags: | reflection |
| Authors: | Slava Pestov |
Words
Tuple classes
| Class | Superclass | Slots |
 effect | tuple | in out terminated? in-var out-var |
Generic words
| Word | Stack effect |
 effect>string | ( obj -- str ) |
| effect>type | ( obj -- type ) |
| stack-effect | ( word -- effect/f ) |
Ordinary words
| Word | Stack effect |
 <effect> | ( in out -- effect ) |
| <terminated-effect> | ( in out terminated? -- effect ) |
| <variable-effect> | ( in-var in out-var out -- effect ) |
| ?terminated | ( out -- out terminated? ) |
| add-effect-input | ( effect -- effect' ) |
| bivariable-effect? | ( effect -- ? ) |
| compose-effects | ( effect1 effect2 -- effect' ) |
| curry-effect | ( effect -- effect' ) |
| effect-height | ( effect -- n ) |
| effect-in-types | ( effect -- input-types ) |
| effect-out-types | ( effect -- input-types ) |
| effect<= | ( effect1 effect2 -- ? ) |
| effect= | ( effect1 effect2 -- ? ) |
| shuffle | ( stack shuffle -- newstack ) |
| shuffle-mapping | ( effect -- mapping ) |
| stack-height | ( word -- n ) |
| stack-picture | ( seq -- string ) |
| var-picture | ( var -- string ) |
| variable-effect? | ( effect -- ? ) |
Class predicate words
| Word | Stack effect |
| effect? | ( object -- ? ) |
Files
Children from resource:core
| Vocabulary | Summary |
 effects.parser | Parsing stack effect declarations |