Intersection classes

Factor handbook » The language » Objects » Classes

Factor handbook » The language » Objects » Classes

Prev: | Union classes |

Next: | Maybe classes |

An object is an instance of an intersection class if it is an instance of all of its participants.

Intersection classes can be introspected:

The set of intersection classes is a class:

Intersection classes are used to associate a method with objects which are simultaneously instances of multiple different classes, as well as to conveniently define predicates.

INTERSECTION:

define-intersection-class ( class participants -- )

Intersection classes can be introspected:

class-participants ( class -- seq )

The set of intersection classes is a class:

intersection-class

intersection-class? ( object -- ? )

Intersection classes are used to associate a method with objects which are simultaneously instances of multiple different classes, as well as to conveniently define predicates.