typed vocabulary
Factor handbook » Vocabulary index

Documentation
Strongly-typed word definitions

Metadata

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

resource:basis/typed/typed.factor
resource:basis/typed/typed-docs.factor
resource:basis/typed/typed-tests.factor

Metadata files

resource:basis/typed/authors.txt
resource:basis/typed/summary.txt

Children from resource:basis

Vocabulary	Summary
typed.debugger
typed.namespaces
typed.prettyprint