classes.algebra vocabulary - Factor Documentation (original) (raw)

classes.algebra vocabulary
Factor handbook » Vocabulary index

Summary
Set-theoretic operations on classes

Metadata

Parents: classes

Words

Tuple classes

Class Superclass Slots
topological-sort-failed tuple

Symbol words

+incomparable+

Ordinary words

Word Stack 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

Word Stack effect
topological-sort-failed? ( object -- ? )

Files

resource:core/classes/algebra/algebra.factor
resource:core/classes/algebra/algebra-docs.factor
resource:core/classes/algebra/algebra-tests.factor

Metadata files

resource:core/classes/algebra/summary.txt