(typed) ( word def effect -- quot )

Vocabulary

typed.private

Inputs

word	an object
def	an object
effect	an object

Outputs

quot

an object

Definition

USING: effects kernel kernel.private ;

IN: typed.private

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