ドキュメント
Strongly-typed word definitions
メタデータ
ワード
タプルクラス
述語クラス
パーシングワード
通常ワード
クラス述語ワード
ファイル
resource:basis の子
子
Strongly-typed word definitions
メタデータ
| 作者: | Joe Groff |
ワード
タプルクラス
| クラス | スーパークラス | スロット |
 input-mismatch-error | type-mismatch-error | |
| output-mismatch-error | type-mismatch-error | |
| type-mismatch-error |  tuple | word expected-types |
述語クラス
| クラス | スーパークラス |
 typed-gensym | word |
| typed-word | word |
パーシングワード
| ワード | 構文 |
 TYPED: | TYPED: word ( a b: class ... -- x: class y ... ) body ; |
| TYPED:: | TYPED:: word ( a b: class ... -- x: class y ... ) body ; |
通常ワード
| ワード | スタック効果 |
| define-typed | ( word def effect -- ) |
| input-mismatch-error | ( word expected-types -- * ) |
| output-mismatch-error | ( word expected-types -- * ) |
| type-mismatch-error | ( word expected-types -- * ) |
クラス述語ワード
| ワード | スタック効果 |
| input-mismatch-error? | ( object -- ? ) |
| output-mismatch-error? | ( object -- ? ) |
| type-mismatch-error? | ( object -- ? ) |
| typed-gensym? | ( object -- ? ) |
| typed-word? | ( object -- ? ) |
ファイル
resource:basis/typed/typed.factor
resource:basis/typed/typed-docs.factor
resource:basis/typed/typed-tests.factor
resource:basis/typed/typed-docs.factor
resource:basis/typed/typed-tests.factor
resource:basis の子
| ボキャブラリ | 概要 |
 typed.debugger | typed.debugger ボキャブラリ |
| typed.prettyprint | typed.prettyprint ボキャブラリ |
子
| ボキャブラリ | 概要 |
| typed.private | typed.private ボキャブラリ |