Handbook
Glossary
full-union-predicate-quot ( class-members -- quot )
Vocabulary
classes
.
union
.
private
Inputs
class-members
an
object
Outputs
quot
an
object
Definition
USING:
classes
classes.tuple
classes.tuple.private
kernel
sequences
;
IN:
classes.union.private
:
full-union-predicate-quot
( class-members -- quot )
[
union-of-builtins?
]
partition
[
[
f
]
[
builtin-union-predicate-quot
]
if-empty
]
dip
[
[
tuple-class?
]
[
tuple-layout
]
bi
and
]
partition
[
[
f
]
[
tuple-union-predicate-quot
]
if-empty
]
dip
[
predicate-def
]
map
swap
[
suffix
]
when*
swap
[
suffix
]
when*
predicate-quot
;