Handbook Glossary
factorcode.org
typed ( quot word effect -- quot' )


Vocabulary
typed.private

Inputs
quotan object
wordan object
effectan object


Outputs
quot'an object


Definition
USING: effects kernel kernel.private ;

IN: typed.private

MACRO: typed ( quot word effect -- quot' )
[
effect-in-types dup typed-stack-effect?
[ typed-inputs ] [ 2drop ] if
] [
nip effect-out-types dup typed-stack-effect? [
[ unboxed-types ] [ make-boxer ] bi
[ [ declare ] curry compose ] dip compose
] [ drop ] if
] 2bi ;