Documentation
Strongly-typed word definitions
Meta-data
Words
Tuple classes
Predicate classes
Parsing words
Ordinary words
Class predicate words
Files
Children from resource:basis
Children
Strongly-typed word definitions
Meta-data
| Authors: | Joe Groff |
Words
Tuple classes
| Class | Superclass | Slots |
 input-mismatch-error | type-mismatch-error | |
| no-types-specified |  tuple | word effect |
| output-mismatch-error | type-mismatch-error | |
| type-mismatch-error | tuple | value expected-type word expected-types |
Predicate classes
| Class | Superclass |
 typed-gensym | word |
| typed-word | word |
Parsing words
| Word | Syntax |
 TYPED: | TYPED: word ( a b: class ... -- x: class y ... ) body ; |
| TYPED:: | TYPED:: word ( a b: class ... -- x: class y ... ) body ; |
Ordinary words
| Word | Stack effect |
| define-typed | ( word def effect -- ) |
| input-mismatch-error | ( value expected-type word expected-types -- * ) |
| no-types-specified | ( word effect -- * ) |
| output-mismatch-error | ( value expected-type word expected-types -- * ) |
| type-mismatch-error | ( value expected-type word expected-types -- * ) |
Class predicate words
| Word | Stack effect |
| input-mismatch-error? | ( object -- ? ) |
| no-types-specified? | ( object -- ? ) |
| output-mismatch-error? | ( object -- ? ) |
| type-mismatch-error? | ( object -- ? ) |
| typed-gensym? | ( object -- ? ) |
| typed-word? | ( object -- ? ) |
Files
Children from resource:basis
| Vocabulary | Summary |
 typed.debugger | typed.debugger vocabulary |
| typed.namespaces | typed.namespaces vocabulary |
| typed.prettyprint | typed.prettyprint vocabulary |
Children
| Vocabulary | Summary |
| typed.private | typed.private vocabulary |