This is the specialization-store Reference Manual, version 0.0.5, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Jun 15 07:30:17 2025 GMT+0.
specialization-store/specialization-store.asdspecialization-store-features/specialization-store-features.asdspecialization-store/src/packages.lispspecialization-store/src/common.lispspecialization-store/src/lambda-lists.lispspecialization-store/src/dispatch.lispspecialization-store/src/dispatch-fixed-arity.lispspecialization-store/src/dispatch-variable-arity.lispspecialization-store/src/protocols.lispspecialization-store/src/standard-store.lispspecialization-store-features/features/packages.lispspecialization-store-features/features/features.lispspecialization-store.featuresspecialization-store.globalsspecialization-storespecialization-store.dispatch.variable-arityspecialization-store.dispatch.fixed-arityspecialization-store.standard-storespecialization-store.mopspecialization-store.dispatchspecialization-store.lambda-listsThe main system appears first, followed by any subsystem dependency.
specialization-storeThe specialization store system provides a new kind of function, called a store function, whose behavior depends on the types of objects passed to the function.
Mark Cox
Simplified BSD License variant
0.0.5
specialization-store-features (system).
introspect-environment (system).
alexandria (system).
src (module).
specialization-store-featuresA system which identifies features of the implementation needed for the specialization-store system.
Mark Cox
introspect-environment (system).
alexandria (system).
features (module).
Modules are listed depth-first from the system components tree.
specialization-store/srcspecialization-store (system).
packages.lisp (file).
common.lisp (file).
lambda-lists.lisp (file).
dispatch.lisp (file).
dispatch-fixed-arity.lisp (file).
dispatch-variable-arity.lisp (file).
protocols.lisp (file).
standard-store.lisp (file).
specialization-store-features/featuresspecialization-store-features (system).
packages.lisp (file).
features.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
specialization-store/specialization-store.asdspecialization-store-features/specialization-store-features.asdspecialization-store/src/packages.lispspecialization-store/src/common.lispspecialization-store/src/lambda-lists.lispspecialization-store/src/dispatch.lispspecialization-store/src/dispatch-fixed-arity.lispspecialization-store/src/dispatch-variable-arity.lispspecialization-store/src/protocols.lispspecialization-store/src/standard-store.lispspecialization-store-features/features/packages.lispspecialization-store-features/features/features.lispspecialization-store/specialization-store.asdspecialization-store (system).
specialization-store-features/specialization-store-features.asdspecialization-store-features (system).
specialization-store/src/common.lisppackages.lisp (file).
src (module).
compiler-macro-form-arguments (function).
compiler-macro-form-head (function).
compiler-macro-lambda (macro).
determine-form-multiple-value-type (function).
determine-form-value-type (function).
generate-interned-symbol (function).
generate-symbol (function).
the-form-p (function).
specialization-store/src/lambda-lists.lispcommon.lisp (file).
src (module).
allow-other-keys-p (generic reader).
congruent-parameters-p (generic function).
function-type (function).
keyword-parameter (class).
keyword-parameter-p (generic function).
keyword-parameters (generic reader).
keyword-parameters-p (generic reader).
make-form-types-lambda-form (generic function).
make-keyword-parameter (function).
make-optional-parameter (function).
make-required-parameter (function).
make-rest-parameter (function).
make-type-completion-lambda-form (generic function).
make-value-completion-lambda-form (generic function).
optional-parameter (class).
optional-parameter-p (generic function).
optional-parameters (generic reader).
optional-parameters-p (generic function).
ordinary-lambda-list (generic function).
original-lambda-list (generic reader).
parameter (class).
parameter-dependencies (generic function).
parameter-dependencies (type).
parameter-each-type (generic reader).
parameter-init-form (generic reader).
parameter-init-forms-as-global-functions (generic function).
parameter-keyword (generic reader).
parameter-lambda-list-specification (generic function).
parameter-type (generic function).
parameter-var (generic reader).
parameter-varp (generic reader).
parameterp (generic function).
parameters (class).
parameters-equal (generic function).
parse-lambda-list-error (condition).
parse-lambda-list-error-lambda-list (function).
parse-lambda-list-error-message (function).
parse-specialization-lambda-list (function).
parse-specialization-lambda-list-error (condition).
parse-store-lambda-list (function).
parse-store-lambda-list-error (condition).
parse-store-object-lambda-list (function).
print-object (method).
print-object (method).
print-object (method).
print-object (method).
print-object (method).
required-parameter (class).
required-parameter-p (generic function).
required-parameters (generic reader).
rest-parameter (reader method).
rest-parameter (class).
rest-parameter-p (generic function).
rewrite-store-function-form (function).
specialization-parameters (class).
store-parameters (class).
type-declarations (generic function).
%parameter-dependencies-p (function).
*init-function-name-table* (special variable).
*lambda-list* (special variable).
*lambda-list-description* (special variable).
*parse-lambda-list-error-class* (special variable).
all-parameters (generic reader).
duplicate-keywords-p (generic function).
duplicate-variables-p (generic function).
filter-duplicates (function).
generate-init-function-name (function).
invalid-ordinary-lambda-list-item (function).
make-init-function-name-generator (function).
make-specialized-keyword-parameter (function).
make-specialized-required-parameter (function).
make-specialized-rest-parameter (function).
parameter-vars (generic function).
parse-ordinary-lambda-list (function).
parse-ordinary-lambda-list/allow-other-keys (function).
parse-ordinary-lambda-list/keys (function).
parse-ordinary-lambda-list/optional (function).
parse-ordinary-lambda-list/required (function).
parse-ordinary-lambda-list/rest (function).
positional-parameters-lower-bound (generic function).
positional-parameters-upper-bound (generic function).
rewrite-store-function-form/with-init-forms (function).
signal-parse-lambda-list-error (function).
specialized-keyword-parameter (class).
specialized-required-parameter (class).
specialized-rest-parameter (class).
voluntary-parameter (class).
specialization-store/src/dispatch.lisplambda-lists.lisp (file).
src (module).
accepts-argument-count-rule (class).
argument-count (generic reader).
constantly-rule (class).
constantly-rule-value (generic reader).
deepen-tree (function).
fixed-argument-count-rule (class).
fixed-arity-store-parameters-p (function).
keyword-parameter-type-rule (class).
leafp (function).
make-accepts-argument-count-rule (function).
make-constantly-rule (function).
make-dispatch-tree (function).
make-fixed-argument-count-rule (function).
make-keyword-parameter-type-rule (function).
make-node (function).
make-positional-parameter-type-rule (function).
make-rest-objects-rule (function).
node (structure).
node-fail (reader).
(setf node-fail) (writer).
node-pass (reader).
(setf node-pass) (writer).
node-value (reader).
(setf node-value) (writer).
parameter-keyword (generic reader).
parameter-position (generic reader).
parameter-type (generic reader).
positional-parameter-type-rule (class).
pretty-print-dispatch-tree (function).
print-object (method).
print-object (method).
print-object (method).
print-object (method).
print-object (method).
print-object (method).
print-object (method).
remove-dispatch-tree-tautologies (function).
remove-rule-tautologies (generic function).
rest-objects-rule (class).
rest-objects-rule-position (generic reader).
rest-objects-rule-type (generic reader).
rule-equal (generic function).
specialization-parameters-lower-bound (function).
specialization-parameters-upper-bound (function).
variable-arity-store-parameters-p (function).
%make-node (function).
argument-count-less-than-rule (class).
compare-slot-values (function).
copy-node (function).
dispatch-rule (class).
lambda-parameter-count (type).
make-initial-dispatch-tree (function).
negate-rule-if-possible (generic function).
node-p (function).
other-keys-p (function).
rule (class).
split-leaf (function).
specialization-store/src/dispatch-fixed-arity.lispdispatch.lisp (file).
src (module).
build-tree (function).
fixed-arity-rule (structure).
fixed-arity-rule-index (reader).
(setf fixed-arity-rule-index) (writer).
fixed-arity-rule-type (reader).
(setf fixed-arity-rule-type) (writer).
make-initial-dispatch-tree (function).
make-set (function).
print-object (method).
print-object (method).
print-object (method).
set (class).
set-count (function).
set-specializations (function).
append-knowledge (function).
copy-fixed-arity-rule (function).
fixed-arity-rule-p (function).
fixed-arity-rules (function).
fixed-arity-rules-for-index (function).
fixed-arity-specialization-types (function).
knowledge (class).
known-type (function).
knownp (function).
make-fixed-arity-rule (function).
make-knowledge (function).
map-from-problem (function).
map-to-problem (function).
select-specialization (function).
set-arity (function).
split-set (function).
strict-subtype-p (function).
specialization-store/src/dispatch-variable-arity.lispdispatch-fixed-arity.lisp (file).
src (module).
make-initial-dispatch-tree (function).
compute-c (function).
fixed-arity-tuple (function).
make-final-tree (function).
make-tree-for-set-x (function).
make-tree-for-set-z (function).
split-set-z (function).
specialization-store/src/protocols.lispdispatch-variable-arity.lisp (file).
src (module).
add-specialization (generic function).
apply-store (generic function).
define-specialization (macro).
define-specialization-using-object (generic function).
defspecialization (macro).
defspecialization-using-object (generic function).
defstore (macro).
defstore-using-class (generic function).
ensure-specialization (function).
ensure-specialization-using-object (generic function).
ensure-store (function).
ensure-store-error (condition).
ensure-store-using-object (generic function).
expand-store (generic function).
find-store (function).
(setf find-store) (function).
funcall-store (generic function).
inapplicable-arguments (generic reader).
inapplicable-arguments-error (condition).
incongruent-specialization (generic reader).
incongruent-specialization-error (condition).
invalid-specialization-class (reader method).
invalid-specialization-class-error (condition).
invalid-store-class (reader method).
invalid-store-class-error (condition).
invalid-store-lambda-list-error (condition).
invalid-store-name (generic reader).
invalid-store-name-error (condition).
make-store-unbound (generic function).
remove-specialization (generic function).
simple-store-error (condition).
simple-store-error-message (generic reader).
specialization-documentation (generic reader).
(setf specialization-documentation) (generic writer).
specialization-equal (generic function).
specialization-expand-function (generic reader).
specialization-function (generic reader).
specialization-lambda-list (generic reader).
specialization-name (generic reader).
specialization-value-type (generic reader).
store-documentation (generic reader).
store-error (condition).
store-error-store (generic reader).
store-lambda-list (generic reader).
store-name (generic reader).
store-specialization-class (generic reader).
store-specializations (generic reader).
(setf store-specializations) (generic function).
%find-store-helper (function).
canonicalize-store-name (function).
duplicate-specialization-error (condition).
ensure-store-error-object (reader method).
invalid-store-lamba-list (reader method).
specialization-store/src/standard-store.lispprotocols.lisp (file).
src (module).
add-specialization (method).
apply-store (method).
define-specialization-using-object (method).
defspecialization-using-object (method).
defstore-using-class (method).
ensure-specialization-using-object (method).
ensure-store-using-object (method).
ensure-store-using-object (method).
expand-store (method).
funcall-store (method).
initialize-instance (method).
make-store-unbound (method).
print-object (method).
print-object (method).
reinitialize-instance (method).
remove-specialization (method).
shared-initialize (method).
specialization-documentation (reader method).
(setf specialization-documentation) (writer method).
specialization-equal (method).
specialization-expand-function (reader method).
specialization-function (reader method).
specialization-lambda-list (reader method).
specialization-name (reader method).
specialization-value-type (reader method).
standard-specialization (class).
standard-specialization-class (class).
standard-store (class).
standard-store-class (class).
store-documentation (reader method).
(setf store-documentation) (writer method).
store-lambda-list (reader method).
store-name (reader method).
store-specialization-class (reader method).
store-specializations (reader method).
(setf store-specializations) (method).
validate-superclass (method).
validate-superclass (method).
%augment-body (function).
clear-dispatch-functions (generic function).
compute-dispatch-functions (generic function).
compute-dispatch-lambda-form (generic function).
compute-dispatch-lambda-forms (generic function).
function-environment (class).
generate-code (generic function).
keywords-environment (class).
make-default-form-types-function (function).
make-default-type-completion-function (function).
make-default-value-completion-function (function).
make-destructuring-environment (function).
make-function-environment (function).
positional-environment (class).
specialization-parameters (generic reader).
store-parameters (generic reader).
type-function-environment (class).
update-dispatch-functions (generic function).
value-function-environment (class).
variable-environment (class).
specialization-store-features/features/packages.lispfeatures (module).
specialization-store-features/features/features.lisppackages.lisp (file).
features (module).
feature/function-information (function).
feature/variable-type (function).
function-information (function).
test-global-function (function).
Packages are listed by definition order.
specialization-store.featuresspecialization-store.globalsspecialization-storespecialization-store.dispatch.variable-arityspecialization-store.dispatch.fixed-arityspecialization-store.standard-storespecialization-store.mopspecialization-store.dispatchspecialization-store.lambda-listsspecialization-store.featurescommon-lisp.
feature/function-information (function).
feature/variable-type (function).
function-information (function).
test-global-function (function).
specialization-storecommon-lisp.
add-specialization (generic function).
apply-store (generic function).
compiler-macro-form-arguments (function).
compiler-macro-form-head (function).
compiler-macro-lambda (macro).
define-specialization (macro).
define-specialization-using-object (generic function).
defspecialization (macro).
defspecialization-using-object (generic function).
defstore (macro).
defstore-using-class (generic function).
determine-form-multiple-value-type (function).
determine-form-value-type (function).
ensure-specialization (function).
ensure-specialization-using-object (generic function).
ensure-store (function).
ensure-store-error (condition).
ensure-store-using-object (generic function).
expand-store (generic function).
find-store (function).
(setf find-store) (function).
funcall-store (generic function).
generate-interned-symbol (function).
generate-symbol (function).
inapplicable-arguments (generic reader).
inapplicable-arguments-error (condition).
incongruent-specialization (generic reader).
incongruent-specialization-error (condition).
invalid-specialization-class (generic reader).
invalid-specialization-class-error (condition).
invalid-store-class (generic reader).
invalid-store-class-error (condition).
invalid-store-lambda-list-error (condition).
invalid-store-name (generic reader).
invalid-store-name-error (condition).
make-store-unbound (generic function).
remove-specialization (generic function).
simple-store-error (condition).
simple-store-error-message (generic reader).
specialization-documentation (generic reader).
(setf specialization-documentation) (generic writer).
specialization-equal (generic function).
specialization-expand-function (generic reader).
specialization-function (generic reader).
specialization-lambda-list (generic reader).
specialization-name (generic reader).
specialization-value-type (generic reader).
standard-specialization (class).
standard-specialization-class (class).
standard-store (class).
standard-store-class (class).
store-documentation (generic reader).
(setf store-documentation) (generic writer).
store-error (condition).
store-error-store (generic reader).
store-lambda-list (generic reader).
store-name (generic reader).
store-specialization-class (generic reader).
store-specializations (generic reader).
(setf store-specializations) (generic function).
%find-store-helper (function).
canonicalize-store-name (function).
duplicate-specialization-error (condition).
ensure-store-error-object (generic reader).
invalid-store-lamba-list (generic reader).
the-form-p (function).
specialization-store.dispatch.variable-aritycommon-lisp.
make-initial-dispatch-tree (function).
compute-c (function).
fixed-arity-tuple (function).
make-final-tree (function).
make-tree-for-set-x (function).
make-tree-for-set-z (function).
split-set-z (function).
specialization-store.dispatch.fixed-aritycommon-lisp.
build-tree (function).
fixed-arity-rule (structure).
fixed-arity-rule-index (reader).
(setf fixed-arity-rule-index) (writer).
fixed-arity-rule-type (reader).
(setf fixed-arity-rule-type) (writer).
make-initial-dispatch-tree (function).
make-set (function).
set (class).
set-count (function).
set-specializations (function).
append-knowledge (function).
copy-fixed-arity-rule (function).
fixed-arity-rule-p (function).
fixed-arity-rules (function).
fixed-arity-rules-for-index (function).
fixed-arity-specialization-types (function).
knowledge (class).
known-type (function).
knownp (function).
make-fixed-arity-rule (function).
make-knowledge (function).
map-from-problem (function).
map-to-problem (function).
select-specialization (function).
set-arity (function).
split-set (function).
strict-subtype-p (function).
specialization-store.standard-storecommon-lisp.
specialization-store.
%augment-body (function).
%compile-time-function (slot).
%form-types-function (slot).
%runtime-function (slot).
%type-completion-function (slot).
%value-completion-function (slot).
clear-dispatch-functions (generic function).
compute-dispatch-functions (generic function).
compute-dispatch-lambda-form (generic function).
compute-dispatch-lambda-forms (generic function).
expand-function (slot).
function-environment (class).
generate-code (generic function).
keywords-environment (class).
lambda-list (slot).
lambda-list (slot).
make-default-form-types-function (function).
make-default-type-completion-function (function).
make-default-value-completion-function (function).
make-destructuring-environment (function).
make-function-environment (function).
name (slot).
name (slot).
parameters (slot).
parameters (slot).
positional-environment (class).
specialization-class (slot).
specialization-parameters (generic reader).
specializations (slot).
store-parameters (generic reader).
type-function-environment (class).
update-dispatch-functions (generic function).
value-function-environment (class).
value-type (slot).
variable-environment (class).
specialization-store.dispatchcommon-lisp.
accepts-argument-count-rule (class).
argument-count (generic reader).
constantly-rule (class).
constantly-rule-value (generic reader).
deepen-tree (function).
fixed-argument-count-rule (class).
fixed-arity-store-parameters-p (function).
keyword-parameter-type-rule (class).
leafp (function).
make-accepts-argument-count-rule (function).
make-constantly-rule (function).
make-dispatch-tree (function).
make-fixed-argument-count-rule (function).
make-keyword-parameter-type-rule (function).
make-node (function).
make-positional-parameter-type-rule (function).
make-rest-objects-rule (function).
node (structure).
node-fail (reader).
(setf node-fail) (writer).
node-pass (reader).
(setf node-pass) (writer).
node-value (reader).
(setf node-value) (writer).
parameter-keyword (generic reader).
parameter-position (generic reader).
parameter-type (generic reader).
positional-parameter-type-rule (class).
pretty-print-dispatch-tree (function).
remove-dispatch-tree-tautologies (function).
remove-rule-tautologies (generic function).
rest-objects-rule (class).
rest-objects-rule-position (generic reader).
rest-objects-rule-type (generic reader).
rule-equal (generic function).
specialization-parameters-lower-bound (function).
specialization-parameters-upper-bound (function).
variable-arity-store-parameters-p (function).
%make-node (function).
argument-count-less-than-rule (class).
compare-slot-values (function).
copy-node (function).
dispatch-rule (class).
lambda-parameter-count (type).
make-initial-dispatch-tree (function).
negate-rule-if-possible (generic function).
node-p (function).
other-keys-p (function).
rule (class).
split-leaf (function).
specialization-store.lambda-listscommon-lisp.
allow-other-keys-p (generic reader).
congruent-parameters-p (generic function).
function-type (function).
keyword-parameter (class).
keyword-parameter-p (generic function).
keyword-parameters (generic reader).
keyword-parameters-p (generic reader).
make-form-types-lambda-form (generic function).
make-keyword-parameter (function).
make-optional-parameter (function).
make-required-parameter (function).
make-rest-parameter (function).
make-type-completion-lambda-form (generic function).
make-value-completion-lambda-form (generic function).
optional-parameter (class).
optional-parameter-p (generic function).
optional-parameters (generic reader).
optional-parameters-p (generic function).
ordinary-lambda-list (generic function).
original-lambda-list (generic reader).
parameter (class).
parameter-dependencies (generic function).
parameter-dependencies (type).
parameter-each-type (generic reader).
parameter-init-form (generic reader).
parameter-init-forms-as-global-functions (generic function).
parameter-keyword (generic reader).
parameter-lambda-list-specification (generic function).
parameter-type (generic function).
parameter-var (generic reader).
parameter-varp (generic reader).
parameterp (generic function).
parameters (class).
parameters-equal (generic function).
parse-lambda-list-error (condition).
parse-lambda-list-error-lambda-list (function).
parse-lambda-list-error-message (function).
parse-specialization-lambda-list (function).
parse-specialization-lambda-list-error (condition).
parse-store-lambda-list (function).
parse-store-lambda-list-error (condition).
parse-store-object-lambda-list (function).
required-parameter (class).
required-parameter-p (generic function).
required-parameters (generic reader).
rest-parameter (generic reader).
rest-parameter (class).
rest-parameter-p (generic function).
rewrite-store-function-form (function).
specialization-parameters (class).
store-parameters (class).
type-declarations (generic function).
%parameter-dependencies-p (function).
*init-function-name-table* (special variable).
*lambda-list* (special variable).
*lambda-list-description* (special variable).
*parse-lambda-list-error-class* (special variable).
all-parameters (generic reader).
duplicate-keywords-p (generic function).
duplicate-variables-p (generic function).
filter-duplicates (function).
generate-init-function-name (function).
invalid-ordinary-lambda-list-item (function).
make-init-function-name-generator (function).
make-specialized-keyword-parameter (function).
make-specialized-required-parameter (function).
make-specialized-rest-parameter (function).
parameter-vars (generic function).
parse-ordinary-lambda-list (function).
parse-ordinary-lambda-list/allow-other-keys (function).
parse-ordinary-lambda-list/keys (function).
parse-ordinary-lambda-list/optional (function).
parse-ordinary-lambda-list/required (function).
parse-ordinary-lambda-list/rest (function).
positional-parameters-lower-bound (generic function).
positional-parameters-upper-bound (generic function).
rewrite-store-function-form/with-init-forms (function).
signal-parse-lambda-list-error (function).
specialized-keyword-parameter (class).
specialized-required-parameter (class).
specialized-rest-parameter (class).
voluntary-parameter (class).
Definitions are sorted by export status, category, package, and then by lexicographic order.
type.
fail.
pass.
standard-store) (specialization standard-specialization)) ¶parameters)) ¶automatically generated reader method
standard-store) &rest args) ¶argument-count-less-than-rule)) ¶automatically generated reader method
accepts-argument-count-rule)) ¶automatically generated reader method
fixed-argument-count-rule)) ¶automatically generated reader method
store-parameters) (store-b store-parameters)) ¶store-parameters) (specialization specialization-parameters)) ¶constantly-rule)) ¶automatically generated reader method
standard-store) specialized-lambda-list value-type &rest args &key name environment function expand-function &allow-other-keys) ¶standard-store) specialized-lambda-list value-type body &rest args &key name environment inline &allow-other-keys) ¶(eql #<specialization-store:standard-store-class specialization-store:standard-store>)) name store-lambda-list &rest args &key environment &allow-other-keys) ¶standard-store) specialized-lambda-list value-type function &rest args &key name expand-function &allow-other-keys) ¶standard-store) store-name store-lambda-list &rest args &key specialization-class documentation &allow-other-keys) ¶standard-store-class) store-name store-lambda-list &rest args &key specialization-class documentation &allow-other-keys) ¶standard-store) form &optional env) ¶standard-store) &rest args) ¶inapplicable-arguments-error)) ¶incongruent-specialization-error)) ¶invalid-specialization-class-error)) ¶invalid-store-class-error)) ¶invalid-store-name-error)) ¶name.
keyword-parameter)) ¶parameters)) ¶automatically generated reader method
parameters)) ¶automatically generated reader method
store-parameters)) ¶standard-store)) ¶symbol)) ¶store-parameters) environment) ¶store-parameters)) ¶optional-parameter)) ¶parameters)) ¶automatically generated reader method
parameters)) ¶store-parameters) (specialization-parameters specialization-parameters)) ¶parameters)) ¶automatically generated reader method
rest-parameter)) ¶required-parameter)) ¶voluntary-parameter)) ¶automatically generated reader method
specialized-rest-parameter)) ¶automatically generated reader method
voluntary-parameter)) ¶automatically generated reader method
store-parameters) environment) ¶keyword-parameter-type-rule)) ¶automatically generated reader method
keyword-parameter)) ¶automatically generated reader method
specialized-rest-parameter)) ¶specialized-required-parameter)) ¶keyword-parameter)) ¶rest-parameter)) ¶optional-parameter)) ¶required-parameter)) ¶positional-parameter-type-rule)) ¶automatically generated reader method
keyword-parameter-type-rule)) ¶automatically generated reader method
type.
positional-parameter-type-rule)) ¶automatically generated reader method
type.
specialized-keyword-parameter)) ¶specialized-rest-parameter)) ¶specialized-required-parameter)) ¶automatically generated reader method
type.
voluntary-parameter)) ¶automatically generated reader method
varp.
accepts-argument-count-rule) (known-rule argument-count-less-than-rule)) ¶argument-count-less-than-rule) (known-rule accepts-argument-count-rule)) ¶fixed-argument-count-rule) (known-rule argument-count-less-than-rule)) ¶fixed-argument-count-rule) (known-rule accepts-argument-count-rule)) ¶keyword-parameter-type-rule) known-rule) ¶positional-parameter-type-rule) (known-rule accepts-argument-count-rule)) ¶positional-parameter-type-rule) (known-rule fixed-argument-count-rule)) ¶list)) ¶standard-store) (specialization standard-specialization)) ¶required-parameter)) ¶parameters)) ¶automatically generated reader method
rest-objects-rule)) ¶automatically generated reader method
rest-objects-rule)) ¶automatically generated reader method
type.
parameters)) ¶automatically generated reader method
parameters)) ¶rest-parameter)) ¶rest-objects-rule) (rule-b rest-objects-rule)) ¶keyword-parameter-type-rule) (rule-b keyword-parameter-type-rule)) ¶positional-parameter-type-rule) (rule-b positional-parameter-type-rule)) ¶argument-count-less-than-rule) (rule-b argument-count-less-than-rule)) ¶accepts-argument-count-rule) (rule-b accepts-argument-count-rule)) ¶fixed-argument-count-rule) (rule-b fixed-argument-count-rule)) ¶simple-store-error)) ¶standard-specialization)) ¶automatically generated reader method
standard-specialization)) ¶automatically generated writer method
standard-store) (a standard-specialization) (b standard-specialization)) ¶standard-specialization)) ¶automatically generated reader method
standard-specialization)) ¶automatically generated reader method
standard-specialization)) ¶automatically generated reader method
standard-specialization)) ¶automatically generated reader method
name.
standard-specialization)) ¶automatically generated reader method
standard-store)) ¶automatically generated reader method
standard-store)) ¶automatically generated writer method
store-error)) ¶standard-store)) ¶automatically generated reader method
standard-store)) ¶automatically generated reader method
name.
standard-store)) ¶automatically generated reader method
standard-store)) ¶automatically generated reader method
standard-store)) ¶store-parameters) (specialization-parameters specialization-parameters)) ¶standard-store) &key lambda-list &allow-other-keys) ¶standard-specialization) stream) ¶standard-store) stream) ¶fixed-arity-rule) stream) ¶fixed-argument-count-rule) stream) ¶rest-objects-rule) stream) ¶positional-parameter-type-rule) stream) ¶accepts-argument-count-rule) stream) ¶constantly-rule) stream) ¶keyword-parameter-type-rule) stream) ¶argument-count-less-than-rule) stream) ¶required-parameter) stream) ¶optional-parameter) stream) ¶keyword-parameter) stream) ¶rest-parameter) stream) ¶parameters) stream) ¶standard-store) &key name lambda-list &allow-other-keys) ¶standard-specialization-class) (superclass funcallable-standard-class)) ¶sb-mop.
standard-store-class) (superclass funcallable-standard-class)) ¶sb-mop.
error.
:object
This slot is read-only.
(quote (error "a value for the slot :arguments must be specified."))
:arguments
This slot is read-only.
(quote (error "a value for the slot :specialization must be specified."))
:specialization
This slot is read-only.
:specialization-class
This slot is read-only.
:store-class
This slot is read-only.
:store-lambda-list
This slot is read-only.
error.
(quote (error "a value for the slot :name must be specified."))
:name
This slot is read-only.
error.
| Initarg | Value |
|---|---|
:lambda-list-description | *lambda-list-description* |
:lambda-list | *lambda-list* |
:message
:lambda-list-description
:lambda-list
(quote (error "a value for the slot :message must be specified."))
:message
This slot is read-only.
error.
(quote (error "a value for the slot :store must be specified."))
:store
This slot is read-only.
Accepts count or more arguments?
common-lisp.
:count
This slot is read-only.
:value
This slot is read-only.
Ensure the argument count x is equal to count.
common-lisp.
:count
This slot is read-only.
common-lisp.
:keyword
This slot is read-only.
:var
This slot is read-only.
all-parameters.
allow-other-keys-p.
duplicate-keywords-p.
duplicate-variables-p.
keyword-parameters.
keyword-parameters-p.
optional-parameters.
optional-parameters-p.
original-lambda-list.
parameter-vars.
positional-parameters-lower-bound.
positional-parameters-upper-bound.
print-object.
required-parameters.
rest-parameter.
rest-parameter-p.
:original-lambda-list
This slot is read-only.
:all-parameters
This slot is read-only.
:required-parameters
This slot is read-only.
:optional-parameters
This slot is read-only.
:rest-parameter
This slot is read-only.
:keyword-parameters-p
This slot is read-only.
:allow-other-keys-p
This slot is read-only.
:keyword-parameters
This slot is read-only.
funcallable-standard-object.
add-specialization.
print-object.
remove-specialization.
shared-initialize.
(setf specialization-documentation).
specialization-documentation.
specialization-equal.
specialization-expand-function.
specialization-function.
specialization-lambda-list.
specialization-name.
specialization-parameters.
specialization-value-type.
| Initarg | Value |
|---|---|
:name | nil |
:expand-function | nil |
:documentation | nil |
:name
This slot is read-only.
:lambda-list
This slot is read-only.
:value-type
This slot is read-only.
:parameters
This slot is read-only.
common-lisp.
:documentation
common-lisp.
:function
This slot is read-only.
:expand-function
This slot is read-only.
funcallable-standard-class.
funcallable-standard-object.
add-specialization.
apply-store.
clear-dispatch-functions.
compute-dispatch-functions.
compute-dispatch-lambda-forms.
define-specialization-using-object.
defspecialization-using-object.
ensure-specialization-using-object.
ensure-store-using-object.
expand-store.
funcall-store.
initialize-instance.
make-store-unbound.
print-object.
reinitialize-instance.
remove-specialization.
specialization-equal.
(setf store-documentation).
store-documentation.
store-lambda-list.
store-name.
store-parameters.
store-specialization-class.
(setf store-specializations).
store-specializations.
update-dispatch-functions.
| Initarg | Value |
|---|---|
:name | nil |
:documentation | nil |
:specializations | nil |
:specialization-class | (find-class (quote standard-specialization)) |
:name
This slot is read-only.
(error "a store lambda list must be supplied.")
:lambda-list
This slot is read-only.
:parameters
This slot is read-only.
common-lisp.
:documentation
:specializations
This slot is read-only.
:specialization-class
This slot is read-only.
funcallable-standard-class.
What is the known type of the INDEX’th argument?
parameters)) ¶automatically generated reader method
standard-store)) ¶standard-store)) ¶type-function-environment) (d-env variable-environment) dispatch-tree) ¶type-function-environment) (d-env keywords-environment) dispatch-tree) ¶type-function-environment) (d-env positional-environment) dispatch-tree) ¶value-function-environment) (d-env variable-environment) dispatch-tree) ¶value-function-environment) (d-env keywords-environment) dispatch-tree) ¶value-function-environment) (d-env positional-environment) dispatch-tree) ¶standard-store)) ¶parameters)) ¶parameters)) ¶ensure-store-error)) ¶null) (f-env function-environment) d-env) ¶specialization-parameters) (f-env type-function-environment) d-env) ¶specialization-parameters) (f-env value-function-environment) (d-env variable-environment)) ¶specialization-parameters) (f-env value-function-environment) (d-env keywords-environment)) ¶specialization-parameters) (f-env value-function-environment) (d-env positional-environment)) ¶rest-objects-rule) (f-env type-function-environment) (d-env variable-environment)) ¶rest-objects-rule) (f-env value-function-environment) (d-env variable-environment)) ¶constantly-rule) f-env d-env) ¶keyword-parameter-type-rule) f-env (d-env keywords-environment)) ¶positional-parameter-type-rule) f-env (d-env variable-environment)) ¶positional-parameter-type-rule) f-env (d-env positional-environment)) ¶accepts-argument-count-rule) f-env (d-env variable-environment)) ¶accepts-argument-count-rule) f-env (d-env positional-environment)) ¶fixed-argument-count-rule) f-env (d-env variable-environment)) ¶fixed-argument-count-rule) f-env (d-env positional-environment)) ¶invalid-store-lambda-list-error)) ¶argument-count-less-than-rule)) ¶accepts-argument-count-rule)) ¶parameters)) ¶voluntary-parameter)) ¶rest-parameter)) ¶required-parameter)) ¶parameters)) ¶parameters)) ¶standard-specialization)) ¶automatically generated reader method
standard-store)) ¶automatically generated reader method
standard-store)) ¶The arity of the specialization is less than count.
common-lisp.
:count
This slot is read-only.
simple-vector
:set
:positional
common-lisp.
:type
This slot is read-only.
:each-type
This slot is read-only.
| Initarg | Value |
|---|---|
:form | (gensym form) |
:environment | (gensym env) |
:completed-types | (gensym completed-types) |
:form
:environment
:completed-types
:dependencies
This slot is read-only.
:init-form
This slot is read-only.
:varp
This slot is read-only.
| Jump to: | %
(
A B C D E F G I K L M N O P R S T U V |
|---|
| Jump to: | %
(
A B C D E F G I K L M N O P R S T U V |
|---|
| Jump to: | %
*
A C D E F I K L M N O P R S T V |
|---|
| Jump to: | %
*
A C D E F I K L M N O P R S T V |
|---|
| Jump to: | A C D E F I K L M N O P R S T V |
|---|
| Jump to: | A C D E F I K L M N O P R S T V |
|---|