Handbook
Glossary
intersection-class
Factor handbook
»
The language
»
Objects
»
Classes
»
Intersection classes
Prev:
class-participants ( class -- seq )
Next:
intersection-class? ( object -- ? )
Vocabulary
classes
.
intersection
Class description
The class of intersection classes.
See also
define-intersection-class
,
INTERSECTION:
Definition
USING:
classes
kernel
words
;
IN:
classes.intersection
PREDICATE:
intersection-class
<
class
"metaclass"
word-prop
intersection-class
eq?
;
Methods
USING:
classes
classes.algebra.private
classes.intersection
;
M:
intersection-class
(flatten-class)
class-participants
<anonymous-intersection>
(flatten-class)
;
USING:
classes
classes.intersection
kernel
sequences
words
;
M:
intersection-class
instance?
"participants"
word-prop
[
instance?
]
with
all?
;
USING:
classes
classes.algebra.private
classes.intersection
;
M:
intersection-class
normalize-class
class-participants
<anonymous-intersection>
normalize-class
;
USING:
classes.intersection
classes.private
kernel
;
M:
intersection-class
rank-class
drop
5
;
USING:
classes
classes.intersection
kernel
prettyprint.backend
prettyprint.sections
see.private
vocabs.prettyprint
;
M:
intersection-class
see-class*
<colon
\
INTERSECTION:
pprint-word
dup
pprint-word
class-participants
pprint-elements
pprint-;
block>
;
USING:
classes.intersection
classes.intersection.private
classes.private
;
M:
intersection-class
update-class
define-intersection-predicate
;