trivial-types

API Reference

trivial-types

Trivial type definitions

TRIVIAL-TYPES

  • Function PROPER-LIST-P (object)
    Returns true if OBJECT is a proper list. Examples: (proper-list-p 1) => NIL (proper-list-p '(1 . 2)) => NIL (proper-list-p nil) => T (proper-list-p '(1 2 3)) => T
  • Type PROPER-LIST (&optional (element-type '*))
    Equivalent to `(and list (satisfies proper-list-p))`. ELEMENT-TYPE is just ignored. Examples: (typep '(1 2 3) '(proper-list integer)) => T (typep '(1 2 3) '(proper-list string)) => T
  • Function PROPERTY-LIST-P (object)
    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
  • Type PROPERTY-LIST (&optional (value-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
  • Function ASSOCIATION-LIST-P (var)
    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 ASSOCIATION-LIST (&optional (key-type '*) (value-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
  • Function TUPLE (&rest args)
    Exactly same as LIST.
  • Function TUPLEP (object)
    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
  • Type TUPLE (&rest element-types)
    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
  • Type CHARACTER-DESIGNATOR
  • Type FUNCTION-DESIGNATOR
  • Type FILE-POSITION-DESIGNATOR
  • Type LIST-DESIGNATOR
  • Type PACKAGE-DESIGNATOR
  • Type PATHNAME-DESIGNATOR
  • Type STREAM-DESIGNATOR
  • Type STRING-DESIGNATOR
  • Function FILE-ASSOCIATED-STREAM-P (stream)
    Returns true if STREAM is a stream associated to a file.
  • Type FILE-ASSOCIATED-STREAM
    Equivalent to `(and stream (satisfies file-associated-stream-p))`.
  • Type NON-NIL (&optional type)
    Equivalent to `(and (not null) TYPE)` if TYPE is given, otherwise `(not null)`. Examples: (typep nil '(non-nil symbol)) => NIL
  • Function TYPE-SPECIFIER-P (type-specifier)
    Returns true if TYPE-SPECIFIER is a valid type specfiier.
  • Function TYPE-EXPAND (type-specifier &optional env)
    Expand TYPE-SPECIFIER in the lexical environment ENV.