(unboxer) ( type -- quot )

Vocabulary

typed.private

Inputs

type

an object

Outputs

quot

an object

Definition

USING: accessors classes.tuple combinators kernel quotations
sequences slots ;

IN: typed.private

: (unboxer) ( type -- quot )
    dup unboxable-tuple-class? [
        dup add-depends-on-unboxing all-slots [
            [ name>> reader-word 1quotation ]
            [ class>> (unboxer) ] bi compose
        ] map [ cleave ] curry
    ] [ drop [ ] ] if ;