union-predicate-quot ( class-members -- quot ) - Factor Documentation

union-predicate-quot ( class-members -- quot )

Vocabulary
classes .union .private

Inputs

class-members an object

Outputs

quot an object

Definition

USING: combinators kernel sequences ;

IN: classes.union.private

: union-predicate-quot ( class-members -- quot )
{
{ [ dup empty? ] [ empty-union-predicate-quot ] }
{
[ dup [ union-of-builtins? ] all? ]
[ builtin-union-predicate-quot ]
}
[ full-union-predicate-quot ]
} cond ;