classes.algebra vocabulary
Factor handbook ยป Vocabulary index


Summary
Set-theoretic operations on classes

Metadata
Parents:classes


Words

Tuple classes
ClassSuperclassSlots
topological-sort-failed tuple


Symbol words
+incomparable+


Ordinary words
WordStack effect
class-and( first second -- class )
class-not( class -- complement )
class-or( first second -- class )
class<( first second -- ? )
class<=( first second -- ? )
class=( first second -- ? )
classes-intersect?( first second -- ? )
compare-classes( first second -- <=> )
evaluate-class-predicate( class1 class2 -- ? )
flatten-class( class -- seq )
largest-class( seq -- n elt )
only-classoid?( obj -- ? )
smallest-class( classes -- class/f )
sort-classes( seq -- newseq )
topological-sort-failed( -- * )


Class predicate words
WordStack effect
topological-sort-failed?( object -- ? )


Files


Metadata files