intersection-predicate-quot ( participants -- quot )

Vocabulary

classes.intersection.private

Inputs

participants

an object

Outputs

quot

an object

Definition

USING: assocs classes combinators kernel sequences ;

IN: classes.intersection.private

: intersection-predicate-quot ( participants -- quot )
    [ [ drop t ] ] [
        unclip predicate-def swap
        [ predicate-def [ dup ] [ not ] surround [ drop f ] ]
        map>alist alist>quot
    ] if-empty ;