class<= ( first second -- ? )
Factor handbook » The language » Objects » Classes » Class operations

Prev:	class< ( first second -- ? )
Next:	class-and ( first second -- class )

Vocabulary
classes.algebra

Inputs

first	a class
second	a class

Outputs

?

a boolean

Word description
Tests if all instances of class1 are also instances of class2.

Notes
Classes are partially ordered. This means that if class1 <= class2 and class2 <= class1, then class1 <= class2. Also, if class1 <= class2 and class2 <= class3, then class1 <= class3.

Definition

USING: assocs classes.algebra.private classes.private namespaces
;

IN: classes.algebra

: class<= ( first second -- ? )
    class<=-cache get [ (class<=) ] 2cache ;