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

Summary

Metadata

Parents:	classes.algebra

Words

Tuple classes

Predicate classes

Class	Superclass
empty-intersection	anonymous-intersection
empty-union	anonymous-union
nontrivial-anonymous-complement	anonymous-complement
nontrivial-anonymous-intersection	anonymous-intersection

Generic words

Ordinary words

Word	Stack effect
(class-and)	( first second -- class )
(class-not)	( class -- complement )
(class-or)	( first second -- class )
(class<=)	( first second -- ? )
	( object -- classoid )
	( participants -- classoid )
	( class predicate -- classoid )
	( 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

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