define-typed ( word def effect -- )
Strongly-typed word definitions

Prev:	TYPED::
Next:	input-mismatch-error ( value expected-type word expected-types -- * )

Vocabulary
typed

Inputs

word	a word
def	a quotation
effect	an effect

Outputs
None

Word description
The runtime equivalent to TYPED: and TYPED::. Defines word with def as its body and effect as its stack effect. The word will check that its inputs and outputs correspond to the types specified in effect as described in the TYPED: documentation.

See also
TYPED:, TYPED::

Definition

USING: kernel typed.private words ;

IN: typed

: define-typed ( word def effect -- )
    [ [ 2drop ] [ typed-def ] [ 2nip ] 3tri define-inline ]
    [ drop "typed-def" set-word-prop ]
    [ 2drop "typed-word" word-prop set-last-word ] 3tri ;