classes.algebra.private vocabulary
Factor handbook > Vocabulary index


Summary
classes.algebra.private vocabulary

Words

Tuple classes
ClassSuperclassSlots
anonymous-complement tupleclass
anonymous-intersection tupleparticipants
anonymous-union tuplemembers
not-a-classoid tupleobject
not-classoids tuplesequence


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-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 )
check-classoid( object -- object )
check-classoids( members -- members )
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' )
not-a-classoid( object -- * )
not-classoids( sequence -- * )
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-union?( object -- ? )
empty-intersection?( object -- ? )
empty-union?( object -- ? )
nontrivial-anonymous-complement?( object -- ? )
nontrivial-anonymous-intersection?( object -- ? )
not-a-classoid?( object -- ? )
not-classoids?( object -- ? )