tuple-union-predicate-quot/n ( echelon tuple-classes -- quot )

Vocabulary

classes.union.private

Inputs

echelon	an object
tuple-classes	an object

Outputs

quot

an object

Definition

USING: classes.tuple.private kernel math.private sequences
slots.private ;

IN: classes.union.private

: tuple-union-predicate-quot/n
    ( echelon tuple-classes -- quot )
    [ layout-class-offset ] dip [ [ eq? ] curry ] map
    predicate-quot over [ slot ] curry prepose
    [ drop f ] [ if ] 2curry swap [ fixnum>= ] curry
    [ dup 1 slot ] prepose prepose ;