unboxed-effect ( effect -- effect' )

Vocabulary

typed.private

Inputs

effect

an object

Outputs

effect'

an object

Definition

USING: accessors effects kernel ;

IN: typed.private

: unboxed-effect ( effect -- effect' )
    [ in>> "in" unboxed-effect-values ]
    [ out>> "out" unboxed-effect-values ] [ terminated?>> ] tri
    <terminated-effect> ;