Handbook
Glossary
tuple-union-predicate-quot ( tuple-classes -- quot )
Vocabulary
classes
.
union
.
private
Inputs
tuple-classes
an
object
Outputs
quot
an
object
Definition
USING:
assocs
classes.tuple.private
kernel
sequences
sorting
;
IN:
classes.union.private
:
tuple-union-predicate-quot
( tuple-classes -- quot )
[
echelon-of
1
=
]
partition
[
[
f
]
[
tuple-union-predicate-quot/1
]
if-empty
]
dip
[
echelon-of
]
collect-by
sort-keys
[
tuple-union-predicate-quot/n
]
{
}
assoc>map
swap
[
suffix
]
when*
predicate-quot
[
layout-of
]
prepose
[
drop
f
]
[
if
]
2curry
[
dup
tuple?
]
prepose
;