unboxed-effect-values ( values name -- values' )

Vocabulary

typed.private

Inputs

values	an object
name	an object

Outputs

values'

an object

Definition

USING: arrays effects kernel sequences ;

IN: typed.private

:: unboxed-effect-values ( values name -- values' )
    values [| value |
        value pair? [ value second effect? ] [ f ] if
        [ value 1array ] [
            value effect>type (unboxed-types)
            [ name swap 2array ] map
        ] if
    ] map concat ;