typed vocabulary
Factor handbook ยป Vocabulary index


Documentation
Strongly-typed word definitions

Metadata
Authors:Joe Groff


Words

Tuple classes
ClassSuperclassSlots
input-mismatch-error type-mismatch-error
no-types-specified tupleword effect
output-mismatch-error type-mismatch-error
type-mismatch-error tuplevalue expected-type word expected-types


Predicate classes
ClassSuperclass
typed-gensym word
typed-word word


Parsing words
WordSyntax
TYPED:TYPED: word ( a b: class ... -- x: class y ... ) body ;
TYPED::TYPED:: word ( a b: class ... -- x: class y ... ) body ;


Ordinary words
WordStack 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
WordStack effect
input-mismatch-error?( object -- ? )
no-types-specified?( object -- ? )
output-mismatch-error?( object -- ? )
type-mismatch-error?( object -- ? )
typed-gensym?( object -- ? )
typed-word?( object -- ? )


Files


Metadata files


Children from resource:basis
VocabularySummary
typed.debugger
typed.namespaces
typed.prettyprint


Children
VocabularySummary
typed.private