Common Lisp the Language 2nd Edition


next up previous contents index
Next: Type Specifiers That Up: Type Specifiers Previous: Predicating Type Specifiers

4.4. Type Specifiers That Combine

The following type specifier lists define a type in terms of other types or objects.

(member object1 object2 ...)
This denotes the set containing precisely those objects named. An object is of this type if and only if it is eql to one of the specified objects.


Compatibility note: This is roughly equivalent to the Interlisp DECL package's memq.

change_begin

(eql object)
X3J13 voted in June 1988 (CLOS)   to add the eql type specifier. It may be used as a parameter specializer for CLOS methods (see section 28.1.6.2 and find-method). It denotes the set of the one object named; an object is of this type if and only if it is eql to object. While (eql object) denotes the same type as (member object) (eql object) denotes the same type as (member object) specifier.tif.gif">