Variable: comp-known-predicates

comp-known-predicates is a variable defined in comp.el.gz.

Value

((arrayp array) (atom atom) (bool-vector-p bool-vector)
 (booleanp boolean) (bufferp buffer) (char-table-p char-table)
 (characterp fixnum t) (consp cons) (floatp float) (framep frame)
 (functionp (or function symbol cons) (not function))
 (hash-table-p hash-table) (integer-or-marker-p integer-or-marker)
 (integerp integer) (keywordp symbol t) (listp list) (markerp marker)
 (natnump (integer 0 *)) (null null)
 (number-or-marker-p number-or-marker) (numberp number)
 (obarrayp obarray) (overlayp overlay) (processp process)
 (sequencep sequence) (stringp string) (subrp subr)
 (symbol-with-pos-p symbol-with-pos) (symbolp symbol) (vectorp vector)
 (windowp window))

Documentation

(PREDICATE TYPE-IF-SATISFIED ?TYPE-IF-NOT-SATISFIED).

Source Code

;; Defined in /usr/src/emacs/lisp/emacs-lisp/comp.el.gz
;; Keep it in sync with the `cl-deftype-satisfies' property set in
;; cl-macs.el. We can't use `cl-deftype-satisfies' directly as the
;; relation type <-> predicate is not bijective (bug#45576).
(defconst comp-known-predicates
  ;; FIXME: Auto-generate (most of) it from `cl-deftype-satisfies'?
  '((arrayp              array)
    (atom		 atom)
    (bool-vector-p       bool-vector)
    (booleanp            boolean)
    (bufferp             buffer)
    (char-table-p	 char-table)
    (characterp          fixnum t)
    (consp               cons)
    (floatp              float)
    (framep              frame)
    (functionp           (or function symbol cons) (not function))
    (hash-table-p	 hash-table)
    (integer-or-marker-p integer-or-marker)
    (integerp            integer)
    (keywordp            symbol t)
    (listp               list)
    (markerp             marker)
    (natnump             (integer 0 *))
    (null		 null)
    (number-or-marker-p  number-or-marker)
    (numberp             number)
    (obarrayp            obarray)
    (overlayp            overlay)
    (processp            process)
    (sequencep           sequence)
    (stringp             string)
    (subrp               subr)
    (symbol-with-pos-p   symbol-with-pos)
    (symbolp             symbol)
    (vectorp             vector)
    (windowp             window))
  "(PREDICATE TYPE-IF-SATISFIED ?TYPE-IF-NOT-SATISFIED).")