2.7 KiB
Symbols imported from TRIVIAL-TYPES
ASSOCIATION-LIST-P
ARGLIST: (var)
FUNCTION: Returns true if OBJECT is an association list.
Examples:
(association-list-p 1) => NIL
(association-list-p '(1 2 3)) => NIL
(association-list-p nil) => T
(association-list-p '((foo))) => T
(association-list-p '((:a . 1) (:b . 2))) => T
TYPE-EXPAND
ARGLIST: (type-specifier &optional env)
FUNCTION: Expand TYPE-SPECIFIER in the lexical environment ENV.
STRING-DESIGNATOR
PROPERTY-LIST
TYPE: Equivalent to (and list (satisfies property-list-p)). VALUE-TYPE is just ignored.
Examples:
(typep '(:a 1 :b 2) '(property-list integer)) => T
(typep '(:a 1 :b 2) '(property-list string)) => T
TUPLE
ARGLIST: (&rest args)
FUNCTION: Exactly same as LIST.
TYPE: Equivalent to (and list (cons ARG1 (cons ARG2 (cons ARG3 ...))))
where ARGn is each element of ELEMENT-TYPES.
Examples:
(typep 1 'tuple) => NIL
(typep '(1 . 2) 'tuple) => NIL
(typep '(1 2 3) 'tuple) => NIL
(typep '(1 2 3) '(tuple integer integer)) => NIL
(typep '(1 2 3) '(tuple string integer integer)) => NIL
(typep nil 'tuple) => T
(typep nil '(tuple)) => T
(typep '(1 2 3) '(tuple integer integer integer)) => T
ASSOCIATION-LIST
TYPE: Equivalent to (proper-list (cons KEY-TYPE VALUE-TYPE)). KEY-TYPE
and VALUE-TYPE are just ignored.
Examples:
(typep '((:a . 1) (:b . 2)) '(association-list integer)) => T
(typep '((:a . 1) (:b . 2)) '(association-list string)) => T
CHARACTER-DESIGNATOR
PROPERTY-LIST-P
ARGLIST: (object)
FUNCTION: Returns true if OBJECT is a property list.
Examples:
(property-list-p 1) => NIL
(property-list-p '(1 2 3)) => NIL
(property-list-p '(foo)) => NIL
(property-list-p nil) => T
(property-list-p '(foo 1)) => T
(property-list-p '(:a 1 :b 2)) => T
FILE-ASSOCIATED-STREAM-P
ARGLIST: (stream)
FUNCTION: Returns true if STREAM is a stream associated to a file.
TYPE-SPECIFIER-P
ARGLIST: (type-specifier)
FUNCTION: Returns true if TYPE-SPECIFIER is a valid type specfiier.
LIST-DESIGNATOR
PACKAGE-DESIGNATOR
TUPLEP
ARGLIST: (object)
FUNCTION: Returns true if OBJECT is a tuple, meaning a proper list.
Examples:
(tuplep 1) => NIL
(tuplep '(1 . 2)) => NIL
(tuplep nil) => T
(tuplep '(1 2 3)) => T
NON-NIL
TYPE: Equivalent to (and (not null) TYPE) if TYPE is given,
otherwise (not null).
Examples:
(typep nil '(non-nil symbol)) => NIL
FILE-ASSOCIATED-STREAM
TYPE: Equivalent to (and stream (satisfies file-associated-stream-p)).