classes.algebra.private vocabulary
Factor handbook ยป Vocabulary index


Summary

Metadata
Parents:classes.algebra


Words

Tuple classes
ClassSuperclassSlots
anonymous-complement tupleclass
anonymous-intersection tupleparticipants
anonymous-predicate tupleclass predicate
anonymous-union tuplemembers


Predicate classes
ClassSuperclass
empty-intersection anonymous-intersection
empty-union anonymous-union
nontrivial-anonymous-complement anonymous-complement
nontrivial-anonymous-intersection anonymous-intersection


Generic words
WordStack effect
(classes-intersect?)( first second -- ? )
(flatten-class)( class -- )
normalize-class( class -- class' )


Ordinary words
WordStack effect
(class-and)( first second -- class )
(class-not)( class -- complement )
(class-or)( first second -- class )
(class<=)( first second -- ? )
<anonymous-complement>( object -- classoid )
<anonymous-intersection>( participants -- classoid )
<anonymous-predicate>( class predicate -- classoid )
<anonymous-union>( members -- classoid )
anonymous-complement-or( first second -- class )
anonymous-complement<=( first second -- ? )
anonymous-intersection-and( first second -- class )
anonymous-union-and( first second -- class )
anonymous-union-or( first second -- class )
classes>anonymous-union( first second -- class )
left-anonymous-complement<=( first second -- ? )
left-anonymous-intersection<=( first second -- ? )
left-anonymous-union<=( first second -- ? )
normalize-complement( class -- class' )
right-anonymous-intersection<=( first second -- ? )
right-anonymous-union<=( first second -- ? )
right-union<=( first second -- ? )
superclass<=( first second -- ? )
symmetric-class-op( first second cache quot -- result )


Class predicate words
WordStack effect
anonymous-complement?( object -- ? )
anonymous-intersection?( object -- ? )
anonymous-predicate?( object -- ? )
anonymous-union?( object -- ? )
empty-intersection?( object -- ? )
empty-union?( object -- ? )
nontrivial-anonymous-complement?( object -- ? )
nontrivial-anonymous-intersection?( object -- ? )


Files