The specialization-store Reference Manual

Table of Contents

Next: , Previous: , Up: (dir)   [Contents][Index]

The specialization-store Reference Manual

This is the specialization-store Reference Manual, version 0.0.3, generated automatically by Declt version 2.3 "Robert April" on Wed Mar 14 04:36:50 2018 GMT+0.


Next: , Previous: , Up: Top   [Contents][Index]

1 Introduction

The specialization store system provides a new kind of function, called a store function, whose behavior is determined by the types of objects given as arguments to the store function.

Associated with each store function is a set of specialization objects. Each specialization encapsulates behavior and the domain for which the behavior is defined.

A premise of specialization store is that all specializations should perform the same task. Specializations should only differ in how the task is performed. This premise resolves ambiguities that arise when using types, rather than classes, to select the most specific specialization to apply.

Specialization store is a major component of a related system, the template-function system. A wiki page in this project outlines one of the problems the specialization store system was designed to address.

The following list summarizes the major differences between a store function and common lisp's generic function:

The specialization store system includes a meta object protocol to allow users to change the default implementation.

Documentation for this project is available in the project wiki.

The specialization store system has been tested using SBCL, Clozure Common Lisp, CMUCL and Embeddable Common Lisp.

Great effort has been spent on implementing this system such that it is portable to all implementations. The compile time dispatch functionality makes extensive use of compiler macros and the CLTL2 environment API.

Installation (ASDF)

The specialization store system uses ASDF to the manage compilation and loading of source files.

The specialization store system depends on the following systems:

  1. Alexandria
  2. Introspect Environment
  3. FiveAM (test framework)

The specialization store system can be loaded in to your lisp environment by evaluating the following forms

(asdf:load-system "specialization-store")

The specialization store system includes a large suite of tests. These tests can be executed by evaluating the following forms

(asdf:test-system "specialization-store")

Next: , Previous: , Up: Top   [Contents][Index]

2 Systems

The main system appears first, followed by any subsystem dependency.


Next: , Previous: , Up: Systems   [Contents][Index]

2.1 specialization-store

Author

Mark Cox

License

Simplified BSD License variant

Description

The 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.

Version

0.0.3

Dependencies
Source

specialization-store.asd (file)

Component

src (module)


Previous: , Up: Systems   [Contents][Index]

2.2 specialization-store-features

Author

Mark Cox

Description

A system which identifies features of the implementation needed for the specialization-store system.

Dependencies
Source

specialization-store-features.asd (file)

Component

features (module)


Next: , Previous: , Up: Top   [Contents][Index]

3 Modules

Modules are listed depth-first from the system components tree.


Next: , Previous: , Up: Modules   [Contents][Index]

3.1 specialization-store/src

Parent

specialization-store (system)

Location

src/

Components

Previous: , Up: Modules   [Contents][Index]

3.2 specialization-store-features/features

Parent

specialization-store-features (system)

Location

features/

Components

Next: , Previous: , Up: Top   [Contents][Index]

4 Files

Files are sorted by type and then listed depth-first from the systems components trees.


Previous: , Up: Files   [Contents][Index]

4.1 Lisp


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.1 specialization-store.asd

Location

specialization-store.asd

Systems

specialization-store (system)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.2 specialization-store-features.asd

Location

specialization-store-features.asd

Systems

specialization-store-features (system)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.3 specialization-store/src/packages.lisp

Parent

src (module)

Location

src/packages.lisp

Packages

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.4 specialization-store/src/common.lisp

Dependency

packages.lisp (file)

Parent

src (module)

Location

src/common.lisp

Exported Definitions
Internal Definitions

the-form-p (function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.5 specialization-store/src/lambda-lists.lisp

Dependency

common.lisp (file)

Parent

src (module)

Location

src/lambda-lists.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.6 specialization-store/src/dispatch.lisp

Dependency

lambda-lists.lisp (file)

Parent

src (module)

Location

src/dispatch.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.7 specialization-store/src/dispatch-fixed-arity.lisp

Dependency

dispatch.lisp (file)

Parent

src (module)

Location

src/dispatch-fixed-arity.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.8 specialization-store/src/dispatch-variable-arity.lisp

Dependency

dispatch-fixed-arity.lisp (file)

Parent

src (module)

Location

src/dispatch-variable-arity.lisp

Exported Definitions

make-initial-dispatch-tree (function)

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.9 specialization-store/src/protocols.lisp

Dependency

dispatch-variable-arity.lisp (file)

Parent

src (module)

Location

src/protocols.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.10 specialization-store/src/standard-store.lisp

Dependency

protocols.lisp (file)

Parent

src (module)

Location

src/standard-store.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.11 specialization-store-features/features/packages.lisp

Parent

features (module)

Location

features/packages.lisp

Packages

specialization-store.features


Previous: , Up: Lisp files   [Contents][Index]

4.1.12 specialization-store-features/features/features.lisp

Dependency

packages.lisp (file)

Parent

features (module)

Location

features/features.lisp

Internal Definitions

Next: , Previous: , Up: Top   [Contents][Index]

5 Packages

Packages are listed by definition order.


Next: , Previous: , Up: Packages   [Contents][Index]

5.1 specialization-store.mop

Source

packages.lisp (file)


Next: , Previous: , Up: Packages   [Contents][Index]

5.2 specialization-store.globals

Source

packages.lisp (file)


Next: , Previous: , Up: Packages   [Contents][Index]

5.3 specialization-store.standard-store

Source

packages.lisp (file)

Use List
Internal Definitions

Next: , Previous: , Up: Packages   [Contents][Index]

5.4 specialization-store.dispatch.variable-arity

Source

packages.lisp (file)

Use List
Exported Definitions

make-initial-dispatch-tree (function)

Internal Definitions

Next: , Previous: , Up: Packages   [Contents][Index]

5.5 specialization-store.dispatch.fixed-arity

Source

packages.lisp (file)

Use List
Exported Definitions
Internal Definitions

Next: , Previous: , Up: Packages   [Contents][Index]

5.6 specialization-store.dispatch

Source

packages.lisp (file)

Use List
Used By List
Exported Definitions
Internal Definitions

Next: , Previous: , Up: Packages   [Contents][Index]

5.7 specialization-store.lambda-lists

Source

packages.lisp (file)

Use List

common-lisp

Used By List
Exported Definitions
Internal Definitions

Next: , Previous: , Up: Packages   [Contents][Index]

5.8 specialization-store

Source

packages.lisp (file)

Use List

common-lisp

Used By List

specialization-store.standard-store

Exported Definitions
Internal Definitions

Previous: , Up: Packages   [Contents][Index]

5.9 specialization-store.features

Source

packages.lisp (file)

Use List

common-lisp

Internal Definitions

Next: , Previous: , Up: Top   [Contents][Index]

6 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


Next: , Previous: , Up: Definitions   [Contents][Index]

6.1 Exported definitions


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.1 Macros

Macro: compiler-macro-lambda LAMBDA-LIST &body BODY
Package

specialization-store

Source

common.lisp (file)

Macro: define-specialization STORE-NAME SPECIALIZED-LAMBDA-LIST VALUE-TYPE &body BODY
Package

specialization-store

Source

protocols.lisp (file)

Macro: defspecialization STORE-NAME SPECIALIZED-LAMBDA-LIST VALUE-TYPE &body BODY
Package

specialization-store

Source

protocols.lisp (file)

Macro: defstore STORE-NAME STORE-LAMBDA-LIST &body BODY
Package

specialization-store

Source

protocols.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.2 Functions

Function: build-tree Z &optional KNOWLEDGE
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: compiler-macro-form-arguments FORM
Package

specialization-store

Source

common.lisp (file)

Function: compiler-macro-form-head FORM
Package

specialization-store

Source

common.lisp (file)

Function: deepen-tree NODE TEST-FUNCTION SPLITTING-FUNCTION
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: determine-form-multiple-value-type FORM ENV
Package

specialization-store

Source

common.lisp (file)

Function: determine-form-value-type FORM ENV
Package

specialization-store

Source

common.lisp (file)

Function: ensure-specialization STORE-NAME SPECIALIZED-LAMBDA-LIST VALUE-TYPE FUNCTION &rest ARGS &key EXPAND-FUNCTION DOCUMENTATION NAME &allow-other-keys
Package

specialization-store

Source

protocols.lisp (file)

Function: ensure-store NAME STORE-LAMBDA-LIST &rest ARGS &key STORE-CLASS SPECIALIZATION-CLASS DOCUMENTATION &allow-other-keys
Package

specialization-store

Source

protocols.lisp (file)

Function: find-store NAME &optional ERRORP
Function: (setf find-store) VALUE NAME
Package

specialization-store

Source

protocols.lisp (file)

Function: fixed-arity-rule-index INSTANCE
Function: (setf fixed-arity-rule-index) VALUE INSTANCE
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: fixed-arity-rule-type INSTANCE
Function: (setf fixed-arity-rule-type) VALUE INSTANCE
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: fixed-arity-store-parameters-p STORE-PARAMETERS
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: function-type STORE-PARAMETERS SPECIALIZATION-PARAMETERS VALUE-TYPE
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: generate-interned-symbol BASE SUFFIX &optional PACKAGE
Package

specialization-store

Source

common.lisp (file)

Function: generate-symbol BASE &optional SUFFIX
Package

specialization-store

Source

common.lisp (file)

Function: leafp NODE
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-accepts-argument-count-rule COUNT
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-constantly-rule VALUE
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-dispatch-tree STORE-PARAMETERS ALL-SPECIALIZATION-PARAMETERS
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-fixed-argument-count-rule COUNT
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-initial-dispatch-tree STORE-PARAMETERS ALL-SPECIALIZATION-PARAMETERS
Package

specialization-store.dispatch.variable-arity

Source

dispatch-variable-arity.lisp (file)

Function: make-initial-dispatch-tree STORE-PARAMETERS ALL-SPECIALIZATION-PARAMETERS
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: make-keyword-parameter DEPENDENCIES VAR &optional INIT-FORM VARP KEYWORD
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: make-keyword-parameter-type-rule KEYWORD TYPE
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-node &optional VALUE PASS FAIL
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-optional-parameter DEPENDENCIES VAR &optional INIT-FORM VARP
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: make-positional-parameter-type-rule POSITION TYPE
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-required-parameter VAR
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: make-rest-objects-rule TYPE STARTING-AT
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-rest-parameter VAR
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: make-set SPECIALIZATIONS
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: node-fail INSTANCE
Function: (setf node-fail) VALUE INSTANCE
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: node-pass INSTANCE
Function: (setf node-pass) VALUE INSTANCE
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: node-value INSTANCE
Function: (setf node-value) VALUE INSTANCE
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: parse-lambda-list-error-lambda-list PARSE-LAMBDA-LIST-ERROR
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: parse-lambda-list-error-message PARSE-LAMBDA-LIST-ERROR
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: parse-specialization-lambda-list SPECIALIZATION-LAMBDA-LIST
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: parse-store-lambda-list STORE-LAMBDA-LIST
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: parse-store-object-lambda-list STORE-OBJECT-LAMBDA-LIST
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: pretty-print-dispatch-tree TREE &optional STREAM
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: remove-dispatch-tree-tautologies TREE
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: rewrite-store-function-form STORE-PARAMETERS FORM ENV
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: set-count SET
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: set-specializations SET
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: specialization-parameters-lower-bound SPECIALIZATION-PARAMETERS
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: specialization-parameters-upper-bound SPECIALIZATION-PARAMETERS
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: variable-arity-store-parameters-p STORE-PARAMETERS
Package

specialization-store.dispatch

Source

dispatch.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.3 Generic functions

Generic Function: add-specialization STORE SPECIALIZATION
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: add-specialization (STORE standard-store) (SPECIALIZATION standard-specialization)
Source

standard-store.lisp (file)

Generic Function: allow-other-keys-p PARAMETERS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: allow-other-keys-p (PARAMETERS parameters)

automatically generated reader method

Generic Function: apply-store STORE &rest ARGS
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: apply-store (STORE standard-store) &rest ARGS
Source

standard-store.lisp (file)

Generic Function: argument-count DISPATCH-RULE
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Methods
Method: argument-count (ACCEPTS-ARGUMENT-COUNT-RULE accepts-argument-count-rule)

automatically generated reader method

Method: argument-count (FIXED-ARGUMENT-COUNT-RULE fixed-argument-count-rule)

automatically generated reader method

Generic Function: congruent-parameters-p STORE-PARAMETERS OTHER-PARAMETERS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: congruent-parameters-p (STORE-A store-parameters) (STORE-B store-parameters)
Method: congruent-parameters-p (STORE store-parameters) (SPECIALIZATION specialization-parameters)
Generic Function: constantly-rule-value DISPATCH-RULE
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Methods
Method: constantly-rule-value (CONSTANTLY-RULE constantly-rule)

automatically generated reader method

Generic Function: define-specialization-using-object STORE SPECIALIZED-LAMBDA-LIST VALUE-TYPE &key FUNCTION EXPAND-FUNCTION NAME DOCUMENTATION ENVIRONMENT &allow-other-keys
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: define-specialization-using-object (STORE standard-store) SPECIALIZED-LAMBDA-LIST VALUE-TYPE &rest ARGS &key NAME ENVIRONMENT FUNCTION EXPAND-FUNCTION &allow-other-keys
Source

standard-store.lisp (file)

Generic Function: defspecialization-using-object STORE SPECIALIZED-LAMBDA-LIST VALUE-TYPE BODY &key NAME ENVIRONMENT INLINE &allow-other-keys
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: defspecialization-using-object (STORE standard-store) SPECIALIZED-LAMBDA-LIST VALUE-TYPE BODY &rest ARGS &key NAME ENVIRONMENT INLINE &allow-other-keys
Source

standard-store.lisp (file)

Generic Function: defstore-using-class STORE-CLASS NAME STORE-LAMBDA-LIST &rest ARGS &key DOCUMENTATION SPECIALIZATION-CLASS ENVIRONMENT &allow-other-keys
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: defstore-using-class (CLASS (eql #<standard-store-class specialization-store:standard-store>)) NAME STORE-LAMBDA-LIST &rest ARGS &key ENVIRONMENT &allow-other-keys
Source

standard-store.lisp (file)

Generic Function: ensure-specialization-using-object STORE SPECIALIZED-LAMBDA-LIST VALUE-TYPE FUNCTION &rest ARGS &key EXPAND-FUNCTION NAME DOCUMENTATION &allow-other-keys
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: ensure-specialization-using-object (STORE standard-store) SPECIALIZED-LAMBDA-LIST VALUE-TYPE FUNCTION &rest ARGS &key NAME EXPAND-FUNCTION &allow-other-keys
Source

standard-store.lisp (file)

Generic Function: ensure-store-using-object OBJECT STORE-NAME STORE-LAMBDA-LIST &key SPECIALIZATION-CLASS DOCUMENTATION &allow-other-keys
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: ensure-store-using-object (INSTANCE standard-store) STORE-NAME STORE-LAMBDA-LIST &rest ARGS &key SPECIALIZATION-CLASS DOCUMENTATION &allow-other-keys
Source

standard-store.lisp (file)

Method: ensure-store-using-object (CLASS standard-store-class) STORE-NAME STORE-LAMBDA-LIST &rest ARGS &key SPECIALIZATION-CLASS DOCUMENTATION &allow-other-keys
Source

standard-store.lisp (file)

Generic Function: expand-store STORE FORM &optional ENVIRONMENT
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: expand-store (STORE standard-store) FORM &optional ENV
Source

standard-store.lisp (file)

Generic Function: funcall-store STORE &rest ARGS
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: funcall-store (STORE standard-store) &rest ARGS
Source

standard-store.lisp (file)

Generic Function: inapplicable-arguments STORE-ERROR
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: inapplicable-arguments (CONDITION inapplicable-arguments-error)
Generic Function: incongruent-specialization STORE-ERROR
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: incongruent-specialization (CONDITION incongruent-specialization-error)
Generic Function: invalid-specialization-class CONDITION
Package

specialization-store

Methods
Method: invalid-specialization-class (CONDITION invalid-specialization-class-error)
Source

protocols.lisp (file)

Generic Function: invalid-store-class CONDITION
Package

specialization-store

Methods
Method: invalid-store-class (CONDITION invalid-store-class-error)
Source

protocols.lisp (file)

Generic Function: invalid-store-name INVALID-STORE-NAME-ERROR
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: invalid-store-name (CONDITION invalid-store-name-error)
Generic Function: keyword-parameter-p PARAMETER
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: keyword-parameter-p (OBJECT keyword-parameter)
Method: keyword-parameter-p (OBJECT parameter)
Generic Function: keyword-parameters PARAMETERS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: keyword-parameters (PARAMETERS parameters)

automatically generated reader method

Generic Function: keyword-parameters-p PARAMETERS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: keyword-parameters-p (PARAMETERS parameters)

automatically generated reader method

Generic Function: make-form-types-lambda-form PARAMETERS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: make-form-types-lambda-form (PARAMETERS store-parameters)
Generic Function: make-store-unbound STORE
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: make-store-unbound (STORE standard-store)
Source

standard-store.lisp (file)

Method: make-store-unbound STORE after
Method: make-store-unbound (STORE symbol)
Generic Function: make-type-completion-lambda-form PARAMETERS ENVIRONMENT
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: make-type-completion-lambda-form (PARAMETERS store-parameters) ENVIRONMENT
Generic Function: make-value-completion-lambda-form PARAMETERS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: make-value-completion-lambda-form (PARAMETERS store-parameters)
Generic Function: optional-parameter-p PARAMETER
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: optional-parameter-p (OBJECT optional-parameter)
Method: optional-parameter-p (OBJECT parameter)
Generic Function: optional-parameters PARAMETERS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: optional-parameters (PARAMETERS parameters)

automatically generated reader method

Generic Function: optional-parameters-p PARAMETERS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: optional-parameters-p (PARAMETERS parameters)
Generic Function: ordinary-lambda-list STORE-PARAMETERS SPECIALIZATION-PARAMETERS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: ordinary-lambda-list (STORE-PARAMETERS store-parameters) (SPECIALIZATION-PARAMETERS specialization-parameters)
Generic Function: original-lambda-list PARAMETERS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: original-lambda-list (PARAMETERS parameters)

automatically generated reader method

Generic Function: parameter-dependencies PARAMETER
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: parameter-dependencies (OBJECT rest-parameter)
Method: parameter-dependencies (OBJECT required-parameter)
Method: parameter-dependencies (VOLUNTARY-PARAMETER voluntary-parameter)

automatically generated reader method

Generic Function: parameter-each-type OBJECT
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: parameter-each-type (SPECIALIZED-REST-PARAMETER specialized-rest-parameter)

automatically generated reader method

Generic Function: parameter-init-form PARAMETER
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: parameter-init-form (VOLUNTARY-PARAMETER voluntary-parameter)

automatically generated reader method

Generic Function: parameter-init-forms-as-global-functions NAME PARAMETERS ENVIRONMENT
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: parameter-init-forms-as-global-functions NAME (PARAMETERS store-parameters) ENVIRONMENT
Generic Function: parameter-keyword DISPATCH-RULE
Package

specialization-store.lambda-lists

Source

dispatch.lisp (file)

Methods
Method: parameter-keyword (KEYWORD-PARAMETER-TYPE-RULE keyword-parameter-type-rule)

automatically generated reader method

Method: parameter-keyword (KEYWORD-PARAMETER keyword-parameter)

automatically generated reader method

Source

lambda-lists.lisp (file)

Generic Function: parameter-lambda-list-specification PARAMETER
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: parameter-lambda-list-specification (PARAMETER specialized-rest-parameter)
Method: parameter-lambda-list-specification (PARAMETER specialized-required-parameter)
Method: parameter-lambda-list-specification (P keyword-parameter)
Method: parameter-lambda-list-specification (P rest-parameter)
Method: parameter-lambda-list-specification (P optional-parameter)
Method: parameter-lambda-list-specification (P required-parameter)
Generic Function: parameter-position DISPATCH-RULE
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Methods
Method: parameter-position (POSITIONAL-PARAMETER-TYPE-RULE positional-parameter-type-rule)

automatically generated reader method

Generic Function: parameter-type DISPATCH-RULE
Package

specialization-store.lambda-lists

Source

dispatch.lisp (file)

Methods
Method: parameter-type (KEYWORD-PARAMETER-TYPE-RULE keyword-parameter-type-rule)

automatically generated reader method

Method: parameter-type (POSITIONAL-PARAMETER-TYPE-RULE positional-parameter-type-rule)

automatically generated reader method

Method: parameter-type (OBJECT specialized-keyword-parameter)
Source

lambda-lists.lisp (file)

Method: parameter-type (OBJECT specialized-rest-parameter)
Source

lambda-lists.lisp (file)

Method: parameter-type (OBJECT specialized-required-parameter)
Source

lambda-lists.lisp (file)

Generic Function: parameter-var PARAMETER
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: parameter-var (PARAMETER parameter)

automatically generated reader method

Generic Function: parameter-varp PARAMETER
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: parameter-varp (VOLUNTARY-PARAMETER voluntary-parameter)

automatically generated reader method

Generic Function: parameterp PARAMETER
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: parameterp (OBJECT parameter)
Method: parameterp OBJECT
Generic Function: parameters-equal PARAMETERS-1 PARAMETERS-2
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Generic Function: remove-rule-tautologies RULE KNOWN-RULE
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Methods
Method: remove-rule-tautologies (RULE keyword-parameter-type-rule) KNOWN-RULE
Method: remove-rule-tautologies (RULE positional-parameter-type-rule) (KNOWN-RULE accepts-argument-count-rule)
Method: remove-rule-tautologies (RULE positional-parameter-type-rule) (KNOWN-RULE fixed-argument-count-rule)
Method: remove-rule-tautologies RULE KNOWN-RULE
Method: remove-rule-tautologies RULE (KNOWN-RULES list)
Generic Function: remove-specialization STORE SPECIALIZATION
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: remove-specialization (STORE standard-store) (SPECIALIZATION standard-specialization)
Source

standard-store.lisp (file)

Generic Function: required-parameter-p PARAMETER
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: required-parameter-p (OBJECT required-parameter)
Method: required-parameter-p (OBJECT parameter)
Generic Function: required-parameters PARAMETERS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: required-parameters (PARAMETERS parameters)

automatically generated reader method

Generic Function: rest-objects-rule-position DISPATCH-RULE
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Methods
Method: rest-objects-rule-position (REST-OBJECTS-RULE rest-objects-rule)

automatically generated reader method

Generic Function: rest-objects-rule-type DISPATCH-RULE
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Methods
Method: rest-objects-rule-type (REST-OBJECTS-RULE rest-objects-rule)

automatically generated reader method

Generic Function: rest-parameter OBJECT
Package

specialization-store.lambda-lists

Methods
Method: rest-parameter (PARAMETERS parameters)

automatically generated reader method

Source

lambda-lists.lisp (file)

Generic Function: rest-parameter-p PARAMETER
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: rest-parameter-p (PARAMETERS parameters)
Method: rest-parameter-p (OBJECT rest-parameter)
Method: rest-parameter-p (OBJECT parameter)
Generic Function: rule-equal RULE-A RULE-B
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Methods
Method: rule-equal (RULE-A rest-objects-rule) (RULE-B rest-objects-rule)
Method: rule-equal (RULE-A keyword-parameter-type-rule) (RULE-B keyword-parameter-type-rule)
Method: rule-equal (RULE-A positional-parameter-type-rule) (RULE-B positional-parameter-type-rule)
Method: rule-equal RULE-A RULE-B
Generic Function: simple-store-error-message STORE-ERROR
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: simple-store-error-message (CONDITION simple-store-error)
Generic Function: specialization-documentation SPECIALIZATION
Generic Function: (setf specialization-documentation) VALUE SPECIALIZATION
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: specialization-documentation (STANDARD-SPECIALIZATION standard-specialization)

automatically generated reader method

Source

standard-store.lisp (file)

Method: (setf specialization-documentation) NEW-VALUE (STANDARD-SPECIALIZATION standard-specialization)

automatically generated writer method

Source

standard-store.lisp (file)

Generic Function: specialization-equal STORE SPECIALIZATION-A SPECIALIZABION-B
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: specialization-equal (STORE standard-store) (A standard-specialization) (B standard-specialization)
Source

standard-store.lisp (file)

Generic Function: specialization-expand-function SPECIALIZATION
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: specialization-expand-function (STANDARD-SPECIALIZATION standard-specialization)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: specialization-function SPECIALIZATION
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: specialization-function (STANDARD-SPECIALIZATION standard-specialization)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: specialization-lambda-list SPECIALIZATION
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: specialization-lambda-list (STANDARD-SPECIALIZATION standard-specialization)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: specialization-name SPECIALIZATION
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: specialization-name (STANDARD-SPECIALIZATION standard-specialization)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: specialization-parameters STANDARD-SPECIALIZATION
Package

specialization-store.lambda-lists

Source

standard-store.lisp (file)

Methods
Method: specialization-parameters (STANDARD-SPECIALIZATION standard-specialization)

automatically generated reader method

Generic Function: specialization-value-type SPECIALIZATION
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: specialization-value-type (STANDARD-SPECIALIZATION standard-specialization)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: store-documentation STORE
Package

specialization-store

Source

protocols.lisp (file)

Writer

(setf store-documentation) (generic function)

Methods
Method: store-documentation (STANDARD-STORE standard-store)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: (setf store-documentation) NEW-VALUE OBJECT
Package

specialization-store

Reader

store-documentation (generic function)

Methods
Method: (setf store-documentation) NEW-VALUE (STANDARD-STORE standard-store)

automatically generated writer method

Source

standard-store.lisp (file)

Generic Function: store-error-store STORE-ERROR
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: store-error-store (CONDITION store-error)
Generic Function: store-lambda-list STORE
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: store-lambda-list (STANDARD-STORE standard-store)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: store-name STORE
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: store-name (STANDARD-STORE standard-store)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: store-parameters STANDARD-STORE
Package

specialization-store.lambda-lists

Source

standard-store.lisp (file)

Methods
Method: store-parameters (STANDARD-STORE standard-store)

automatically generated reader method

Generic Function: store-specialization-class STORE
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: store-specialization-class (STANDARD-STORE standard-store)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: store-specializations STORE
Generic Function: (setf store-specializations) VALUE STORE
Package

specialization-store

Source

protocols.lisp (file)

Methods
Method: store-specializations (STANDARD-STORE standard-store)

automatically generated reader method

Source

standard-store.lisp (file)

Method: (setf store-specializations) VALUE (STORE standard-store)
Source

standard-store.lisp (file)

Generic Function: type-declarations STORE-PARAMETERS SPECIALIZATION-PARAMETERS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: type-declarations (STORE-PARAMETERS store-parameters) (SPECIALIZATION-PARAMETERS specialization-parameters)

Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.4 Conditions

Condition: ensure-store-error ()
Package

specialization-store

Source

protocols.lisp (file)

Direct superclasses

error (condition)

Direct subclasses
Direct methods

ensure-store-error-object (method)

Direct slots
Slot: object
Initargs

:object

Readers

ensure-store-error-object (generic function)

Condition: inapplicable-arguments-error ()
Package

specialization-store

Source

protocols.lisp (file)

Direct superclasses

store-error (condition)

Direct methods

inapplicable-arguments (method)

Direct slots
Slot: arguments
Initargs

:arguments

Initform

(quote (error "a value for the slot :arguments must be specified."))

Readers

inapplicable-arguments (generic function)

Condition: incongruent-specialization-error ()
Package

specialization-store

Source

protocols.lisp (file)

Direct superclasses

store-error (condition)

Direct methods

incongruent-specialization (method)

Direct slots
Slot: specialization
Initargs

:specialization

Initform

(quote (error "a value for the slot :specialization must be specified."))

Readers

incongruent-specialization (generic function)

Condition: invalid-specialization-class-error ()
Package

specialization-store

Source

protocols.lisp (file)

Direct superclasses

ensure-store-error (condition)

Direct methods

invalid-specialization-class (method)

Direct slots
Slot: specialization-class
Initargs

:specialization-class

Readers

invalid-specialization-class (generic function)

Condition: invalid-store-class-error ()
Package

specialization-store

Source

protocols.lisp (file)

Direct superclasses

ensure-store-error (condition)

Direct methods

invalid-store-class (method)

Direct slots
Slot: store-class
Initargs

:store-class

Readers

invalid-store-class (generic function)

Condition: invalid-store-lambda-list-error ()
Package

specialization-store

Source

protocols.lisp (file)

Direct superclasses

ensure-store-error (condition)

Direct methods

invalid-store-lamba-list (method)

Direct slots
Slot: store-lambda-list
Initargs

:store-lambda-list

Readers

invalid-store-lamba-list (generic function)

Condition: invalid-store-name-error ()
Package

specialization-store

Source

protocols.lisp (file)

Direct superclasses

error (condition)

Direct methods

invalid-store-name (method)

Direct slots
Slot: name
Initargs

:name

Initform

(quote (error "a value for the slot :name must be specified."))

Readers

invalid-store-name (generic function)

Condition: parse-lambda-list-error ()
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Direct superclasses

error (condition)

Direct subclasses
Direct slots
Slot: message
Initargs

:message

Slot: lambda-list-description
Initargs

:lambda-list-description

Slot: lambda-list
Initargs

:lambda-list

Direct Default Initargs
InitargValue
:lambda-list-descriptionspecialization-store.lambda-lists::*lambda-list-description*
:lambda-listspecialization-store.lambda-lists::*lambda-list*
Condition: parse-specialization-lambda-list-error ()
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Direct superclasses

parse-lambda-list-error (condition)

Condition: parse-store-lambda-list-error ()
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Direct superclasses

parse-lambda-list-error (condition)

Condition: simple-store-error ()
Package

specialization-store

Source

protocols.lisp (file)

Direct superclasses

store-error (condition)

Direct methods

simple-store-error-message (method)

Direct slots
Slot: message
Initargs

:message

Initform

(quote (error "a value for the slot :message must be specified."))

Readers

simple-store-error-message (generic function)

Condition: store-error ()
Package

specialization-store

Source

protocols.lisp (file)

Direct superclasses

error (condition)

Direct subclasses
Direct methods

store-error-store (method)

Direct slots
Slot: store
Initargs

:store

Initform

(quote (error "a value for the slot :store must be specified."))

Readers

store-error-store (generic function)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.5 Structures

Structure: fixed-arity-rule ()
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Direct superclasses

structure-object (structure)

Direct methods

print-object (method)

Direct slots
Slot: type
Readers

fixed-arity-rule-type (function)

Writers

(setf fixed-arity-rule-type) (function)

Slot: index
Readers

fixed-arity-rule-index (function)

Writers

(setf fixed-arity-rule-index) (function)

Structure: node ()
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Direct superclasses

structure-object (structure)

Direct methods

generate-code (method)

Direct slots
Slot: value
Readers

node-value (function)

Writers

(setf node-value) (function)

Slot: pass
Readers

node-pass (function)

Writers

(setf node-pass) (function)

Slot: fail
Readers

node-fail (function)

Writers

(setf node-fail) (function)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.6 Classes

Class: accepts-argument-count-rule ()

Accepts count or more arguments?

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Direct superclasses

dispatch-rule (class)

Direct methods
Direct slots
Slot: count
Initargs

:count

Readers

argument-count (generic function)

Class: constantly-rule ()
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Direct superclasses

dispatch-rule (class)

Direct methods
Direct slots
Slot: value
Initargs

:value

Readers

constantly-rule-value (generic function)

Class: fixed-argument-count-rule ()

Ensure the argument count x is equal to count.

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Direct superclasses

dispatch-rule (class)

Direct methods
Direct slots
Slot: count
Initargs

:count

Readers

argument-count (generic function)

Class: keyword-parameter ()
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Direct superclasses

voluntary-parameter (class)

Direct subclasses

specialized-keyword-parameter (class)

Direct methods
Direct slots
Slot: keyword
Initargs

:keyword

Readers

parameter-keyword (generic function)

Class: keyword-parameter-type-rule ()
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Direct superclasses

dispatch-rule (class)

Direct methods
Direct slots
Slot: keyword
Initargs

:keyword

Readers

parameter-keyword (generic function)

Slot: type
Initargs

:type

Readers

parameter-type (generic function)

Class: optional-parameter ()
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Direct superclasses

voluntary-parameter (class)

Direct methods
Class: parameter ()
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses
Direct methods
Direct slots
Slot: var
Initargs

:var

Readers

parameter-var (generic function)

Class: parameters ()
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses
Direct methods
Direct slots
Slot: original-lambda-list
Initargs

:original-lambda-list

Readers

original-lambda-list (generic function)

Slot: all-parameters
Initargs

:all-parameters

Readers

all-parameters (generic function)

Slot: required-parameters
Initargs

:required-parameters

Readers

required-parameters (generic function)

Slot: optional-parameters
Initargs

:optional-parameters

Readers

optional-parameters (generic function)

Slot: rest-parameter
Initargs

:rest-parameter

Readers

rest-parameter (generic function)

Slot: keyword-parameters-p
Initargs

:keyword-parameters-p

Readers

keyword-parameters-p (generic function)

Slot: allow-other-keys-p
Initargs

:allow-other-keys-p

Readers

allow-other-keys-p (generic function)

Slot: keyword-parameters
Initargs

:keyword-parameters

Readers

keyword-parameters (generic function)

Class: positional-parameter-type-rule ()
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Direct superclasses

dispatch-rule (class)

Direct methods
Direct slots
Slot: position
Initargs

:position

Readers

parameter-position (generic function)

Slot: type
Initargs

:type

Readers

parameter-type (generic function)

Class: required-parameter ()
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Direct superclasses

parameter (class)

Direct subclasses

specialized-required-parameter (class)

Direct methods
Class: rest-objects-rule ()
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Direct superclasses

dispatch-rule (class)

Direct methods
Direct slots
Slot: type
Initargs

:type

Readers

rest-objects-rule-type (generic function)

Slot: position
Initargs

:position

Readers

rest-objects-rule-position (generic function)

Class: rest-parameter ()
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Direct superclasses

parameter (class)

Direct subclasses

specialized-rest-parameter (class)

Direct methods
Class: set ()
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Direct superclasses

standard-object (class)

Direct methods

print-object (method)

Direct slots
Slot: specializations
Initargs

:specializations

Slot: arity
Initargs

:arity

Class: specialization-parameters ()
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Direct superclasses

parameters (class)

Direct methods
Class: standard-specialization ()
Package

specialization-store

Source

standard-store.lisp (file)

Direct superclasses

funcallable-standard-object (class)

Direct methods
Direct slots
Slot: name
Initargs

:name

Readers

specialization-name (generic function)

Slot: lambda-list
Initargs

:lambda-list

Readers

specialization-lambda-list (generic function)

Slot: value-type
Initargs

:value-type

Readers

specialization-value-type (generic function)

Slot: parameters
Initargs

:parameters

Readers

specialization-parameters (generic function)

Slot: documentation
Initargs

:documentation

Readers

specialization-documentation (generic function)

Writers

(setf specialization-documentation) (generic function)

Slot: function
Initargs

:function

Readers

specialization-function (generic function)

Slot: expand-function
Initargs

:expand-function

Readers

specialization-expand-function (generic function)

Direct Default Initargs
InitargValue
:namenil
:expand-functionnil
:documentationnil
Class: standard-specialization-class ()
Package

specialization-store

Source

standard-store.lisp (file)

Direct superclasses

funcallable-standard-class (class)

Direct methods

validate-superclass (method)

Class: standard-store ()
Package

specialization-store

Source

standard-store.lisp (file)

Direct superclasses

funcallable-standard-object (class)

Direct methods
Direct slots
Slot: name
Initargs

:name

Readers

store-name (generic function)

Slot: lambda-list
Initargs

:lambda-list

Initform

(error "a store lambda list must be supplied.")

Readers

store-lambda-list (generic function)

Slot: parameters
Initargs

:parameters

Readers

store-parameters (generic function)

Slot: documentation
Initargs

:documentation

Readers

store-documentation (generic function)

Writers

(setf store-documentation) (generic function)

Slot: specializations
Initargs

:specializations

Readers

store-specializations (generic function)

Slot: specialization-class
Initargs

:specialization-class

Readers

store-specialization-class (generic function)

Slot: %value-completion-function
Slot: %type-completion-function
Slot: %form-types-function
Slot: %runtime-function
Slot: %compile-time-function
Direct Default Initargs
InitargValue
:namenil
:documentationnil
:specializationsnil
:specialization-class(find-class (quote specialization-store:standard-specialization))
Class: standard-store-class ()
Package

specialization-store

Source

standard-store.lisp (file)

Direct superclasses

funcallable-standard-class (class)

Direct methods
Class: store-parameters ()
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Direct superclasses

parameters (class)

Direct methods

Previous: , Up: Exported definitions   [Contents][Index]

6.1.7 Types

Type: parameter-dependencies ()
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)


Previous: , Up: Definitions   [Contents][Index]

6.2 Internal definitions


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.1 Special variables

Special Variable: *init-function-name-table*
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Special Variable: *lambda-list*
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Special Variable: *lambda-list-description*
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Special Variable: *parse-lambda-list-error-class*
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.2 Functions

Function: %augment-body STORE-PARAMETERS SPECIALIZATION-PARAMETERS VALUE-TYPE BODY
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Function: %find-store-helper NAME
Package

specialization-store

Source

protocols.lisp (file)

Function: %make-node &key (VALUE VALUE) (PASS PASS) (FAIL FAIL)
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: %parameter-dependencies-p OBJECT
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: append-knowledge KNOWLEDGE TYPE INDEX
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: canonicalize-store-name STORE-NAME
Package

specialization-store

Source

protocols.lisp (file)

Function: compare-slot-values SLOT-NAME TEST-FN &rest OBJECTS
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: compute-c SET-Z PREVIOUS-C
Package

specialization-store.dispatch.variable-arity

Source

dispatch-variable-arity.lisp (file)

Function: copy-fixed-arity-rule INSTANCE
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: copy-node INSTANCE
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: feature/function-information ()
Package

specialization-store.features

Source

features.lisp (file)

Function: feature/variable-type ()
Package

specialization-store.features

Source

features.lisp (file)

Function: filter-duplicates LIST &key TEST KEY
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: fixed-arity-rule-p OBJECT
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: fixed-arity-rules SET KNOWLEDGE
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: fixed-arity-rules-for-index SET INDEX KNOWLEDGE
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: fixed-arity-specialization-types STORE-PARAMETERS SPECIALIZATION-PARAMETERS
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: fixed-arity-tuple SPECIALIZATION-PARAMETERS C
Package

specialization-store.dispatch.variable-arity

Source

dispatch-variable-arity.lisp (file)

Function: function-information NAME ENV
Package

specialization-store.features

Source

features.lisp (file)

Function: generate-init-function-name GENERATOR &optional VAR
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: invalid-ordinary-lambda-list-item ITEM
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: known-type KNOWLEDGE INDEX

What is the known type of the INDEX’th argument?

Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: knownp KNOWLEDGE INDEX
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: make-default-form-types-function STORE-PARAMETERS
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Function: make-default-type-completion-function STORE-PARAMETERS
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Function: make-default-value-completion-function STORE-PARAMETERS
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Function: make-destructuring-environment STORE-PARAMETERS
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Function: make-final-tree SET-Z C
Package

specialization-store.dispatch.variable-arity

Source

dispatch-variable-arity.lisp (file)

Function: make-fixed-arity-rule TYPE INDEX
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: make-function-environment STORE CODE-TYPE
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Function: make-init-function-name-generator NAME
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: make-initial-dispatch-tree STORE-PARAMETERS ALL-SPECIALIZATION-PARAMETERS
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-knowledge ARITY
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: make-specialized-keyword-parameter DEPENDENCIES VAR &optional INIT-FORM-OR-TYPE VARP KEYWORD
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: make-specialized-required-parameter VAR TYPE
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: make-specialized-rest-parameter VAR EACH-TYPE
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: make-tree-for-set-x SET-X C
Package

specialization-store.dispatch.variable-arity

Source

dispatch-variable-arity.lisp (file)

Function: make-tree-for-set-z SET-Z &optional PREVIOUS-C
Package

specialization-store.dispatch.variable-arity

Source

dispatch-variable-arity.lisp (file)

Function: map-from-problem STORE-PARAMETERS ALL-SPECIALIZATION-PARAMETERS TREE
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: map-to-problem STORE-PARAMETERS ALL-SPECIALIZATION-PARAMETERS
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: node-p OBJECT
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: other-keys-p STORE-PARAMETERS SPECIALIZATION-PARAMETERS
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: parse-ordinary-lambda-list CLASS-NAME FUNCTION ORDINARY-LAMBDA-LIST
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: parse-ordinary-lambda-list/allow-other-keys FN LIST
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: parse-ordinary-lambda-list/keys FN LIST DEPENDENCIES
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: parse-ordinary-lambda-list/optional FN LIST DEPENDENCIES
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: parse-ordinary-lambda-list/required FN LIST
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: parse-ordinary-lambda-list/rest FN LIST
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: rewrite-store-function-form/with-init-forms STORE-PARAMETERS FORM ENV
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: select-specialization SPECIALIZATIONS
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: set-arity SET
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: signal-parse-lambda-list-error CONTROL-STRING &rest ARGS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: split-leaf NODE SPLITTING-FUNCTION
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: split-set SET FIXED-ARITY-RULE
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: split-set-z SET-Z C
Package

specialization-store.dispatch.variable-arity

Source

dispatch-variable-arity.lisp (file)

Function: strict-subtype-p A B
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: test-global-function A
Package

specialization-store.features

Source

features.lisp (file)

Function: the-form-p FORM
Package

specialization-store

Source

common.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.3 Generic functions

Generic Function: all-parameters PARAMETERS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: all-parameters (PARAMETERS parameters)

automatically generated reader method

Generic Function: clear-dispatch-functions STORE
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Methods
Method: clear-dispatch-functions (STORE standard-store)
Generic Function: compute-dispatch-functions STORE
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Methods
Method: compute-dispatch-functions (STORE standard-store)
Generic Function: compute-dispatch-lambda-form FUNCTION-ENVIRONMENT DESTRUCTURING-ENVIRONMENT DISPATCH-TREE
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Methods
Method: compute-dispatch-lambda-form (F-ENV type-function-environment) (D-ENV variable-environment) DISPATCH-TREE
Method: compute-dispatch-lambda-form (F-ENV type-function-environment) (D-ENV keywords-environment) DISPATCH-TREE
Method: compute-dispatch-lambda-form (F-ENV type-function-environment) (D-ENV positional-environment) DISPATCH-TREE
Method: compute-dispatch-lambda-form (F-ENV value-function-environment) (D-ENV variable-environment) DISPATCH-TREE
Method: compute-dispatch-lambda-form (F-ENV value-function-environment) (D-ENV keywords-environment) DISPATCH-TREE
Method: compute-dispatch-lambda-form (F-ENV value-function-environment) (D-ENV positional-environment) DISPATCH-TREE
Generic Function: compute-dispatch-lambda-forms STORE
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Methods
Method: compute-dispatch-lambda-forms (STORE standard-store)
Generic Function: duplicate-keywords-p PARAMETERS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: duplicate-keywords-p (PARAMETERS parameters)
Generic Function: duplicate-variables-p PARAMETERS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: duplicate-variables-p (PARAMETERS parameters)
Generic Function: ensure-store-error-object CONDITION
Package

specialization-store

Methods
Method: ensure-store-error-object (CONDITION ensure-store-error)
Source

protocols.lisp (file)

Generic Function: generate-code OBJECT FUNCTION-ENV DESTRUCTURING-ENV
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Methods
Method: generate-code (NULL null) (F-ENV function-environment) D-ENV
Method: generate-code (PARAMETERS specialization-parameters) (F-ENV type-function-environment) D-ENV
Method: generate-code (PARAMETERS specialization-parameters) (F-ENV value-function-environment) (D-ENV variable-environment)
Method: generate-code (PARAMETERS specialization-parameters) (F-ENV value-function-environment) (D-ENV keywords-environment)
Method: generate-code (PARAMETERS specialization-parameters) (F-ENV value-function-environment) (D-ENV positional-environment)
Method: generate-code (RULE rest-objects-rule) (F-ENV type-function-environment) (D-ENV variable-environment)
Method: generate-code (RULE rest-objects-rule) (F-ENV value-function-environment) (D-ENV variable-environment)
Method: generate-code (RULE constantly-rule) F-ENV D-ENV
Method: generate-code (RULE keyword-parameter-type-rule) F-ENV (D-ENV keywords-environment)
Method: generate-code (RULE positional-parameter-type-rule) F-ENV (D-ENV variable-environment)
Method: generate-code (RULE positional-parameter-type-rule) F-ENV (D-ENV positional-environment)
Method: generate-code (RULE accepts-argument-count-rule) F-ENV (D-ENV variable-environment)
Method: generate-code (RULE accepts-argument-count-rule) F-ENV (D-ENV positional-environment)
Method: generate-code (RULE fixed-argument-count-rule) F-ENV (D-ENV variable-environment)
Method: generate-code (RULE fixed-argument-count-rule) F-ENV (D-ENV positional-environment)
Method: generate-code (NODE node) FUNCTION-ENV DESTRUCTURING-ENV
Generic Function: invalid-store-lamba-list CONDITION
Package

specialization-store

Methods
Method: invalid-store-lamba-list (CONDITION invalid-store-lambda-list-error)
Source

protocols.lisp (file)

Generic Function: parameter-vars PARAMETER
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: parameter-vars (PARAMETERS parameters)
Method: parameter-vars (OBJECT voluntary-parameter)
Method: parameter-vars (OBJECT rest-parameter)
Method: parameter-vars (OBJECT required-parameter)
Generic Function: positional-parameters-lower-bound PARAMETERS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: positional-parameters-lower-bound (PARAMETERS parameters)
Generic Function: positional-parameters-upper-bound PARAMETERS
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods
Method: positional-parameters-upper-bound (PARAMETERS parameters)
Generic Function: update-dispatch-functions STORE
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Methods
Method: update-dispatch-functions (STORE standard-store)

Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.4 Conditions

Condition: duplicate-specialization-error ()
Package

specialization-store

Source

protocols.lisp (file)

Direct superclasses

store-error (condition)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.5 Classes

Class: dispatch-rule ()
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Direct superclasses

rule (class)

Direct subclasses
Class: function-environment ()
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses
Direct methods

generate-code (method)

Direct slots
Slot: store
Initargs

:store

Slot: fail
Initargs

:fail

Direct Default Initargs
InitargValue
:fail(gensym "fail")
Class: keywords-environment ()
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Direct superclasses

positional-environment (class)

Direct methods
Direct slots
Slot: keywords
Initargs

:keywords

Slot: args
Initargs

:args

Slot: allow-others-p
Initargs

:allow-others-p

Direct Default Initargs
InitargValue
:args(gensym "args")
Class: knowledge ()
Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Direct superclasses

standard-object (class)

Direct methods

print-object (method)

Direct slots
Slot: set
Type

simple-vector

Initargs

:set

Class: positional-environment ()
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses
Direct methods
Direct slots
Slot: positional
Initargs

:positional

Class: rule ()
Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses

dispatch-rule (class)

Class: specialized-keyword-parameter ()
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Direct superclasses

keyword-parameter (class)

Direct methods

parameter-type (method)

Class: specialized-required-parameter ()
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Direct superclasses

required-parameter (class)

Direct methods
Direct slots
Slot: type
Initargs

:type

Readers

parameter-type (generic function)

Class: specialized-rest-parameter ()
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Direct superclasses

rest-parameter (class)

Direct methods
Direct slots
Slot: each-type
Initargs

:each-type

Readers

parameter-each-type (generic function)

Class: type-function-environment ()
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Direct superclasses

function-environment (class)

Direct methods
Direct slots
Slot: form
Initargs

:form

Slot: environment
Initargs

:environment

Slot: completed-types
Initargs

:completed-types

Direct Default Initargs
InitargValue
:form(gensym "form")
:environment(gensym "env")
:completed-types(gensym "completed-types")
Class: value-function-environment ()
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Direct superclasses

function-environment (class)

Direct methods
Class: variable-environment ()
Package

specialization-store.standard-store

Source

standard-store.lisp (file)

Direct superclasses

positional-environment (class)

Direct methods
Direct slots
Slot: argument-count
Initargs

:argument-count

Slot: args
Initargs

:args

Direct Default Initargs
InitargValue
:argument-count(gensym "argument-count")
:args(gensym "args")
Class: voluntary-parameter ()
Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Direct superclasses

parameter (class)

Direct subclasses
Direct methods
Direct slots
Slot: dependencies
Initargs

:dependencies

Readers

parameter-dependencies (generic function)

Slot: init-form
Initargs

:init-form

Readers

parameter-init-form (generic function)

Slot: varp
Initargs

:varp

Readers

parameter-varp (generic function)


Previous: , Up: Internal definitions   [Contents][Index]

6.2.6 Types

Type: lambda-parameter-count ()
Package

specialization-store.dispatch

Source

dispatch.lisp (file)


Previous: , Up: Top   [Contents][Index]

Appendix A Indexes


Next: , Previous: , Up: Indexes   [Contents][Index]

A.1 Concepts

Jump to:   F   L   M   S  
Index Entry  Section

F
File, Lisp, specialization-store-features.asd: The specialization-store-features<dot>asd file
File, Lisp, specialization-store-features/features/features.lisp: The specialization-store-features/features/features<dot>lisp file
File, Lisp, specialization-store-features/features/packages.lisp: The specialization-store-features/features/packages<dot>lisp file
File, Lisp, specialization-store.asd: The specialization-store<dot>asd file
File, Lisp, specialization-store/src/common.lisp: The specialization-store/src/common<dot>lisp file
File, Lisp, specialization-store/src/dispatch-fixed-arity.lisp: The specialization-store/src/dispatch-fixed-arity<dot>lisp file
File, Lisp, specialization-store/src/dispatch-variable-arity.lisp: The specialization-store/src/dispatch-variable-arity<dot>lisp file
File, Lisp, specialization-store/src/dispatch.lisp: The specialization-store/src/dispatch<dot>lisp file
File, Lisp, specialization-store/src/lambda-lists.lisp: The specialization-store/src/lambda-lists<dot>lisp file
File, Lisp, specialization-store/src/packages.lisp: The specialization-store/src/packages<dot>lisp file
File, Lisp, specialization-store/src/protocols.lisp: The specialization-store/src/protocols<dot>lisp file
File, Lisp, specialization-store/src/standard-store.lisp: The specialization-store/src/standard-store<dot>lisp file

L
Lisp File, specialization-store-features.asd: The specialization-store-features<dot>asd file
Lisp File, specialization-store-features/features/features.lisp: The specialization-store-features/features/features<dot>lisp file
Lisp File, specialization-store-features/features/packages.lisp: The specialization-store-features/features/packages<dot>lisp file
Lisp File, specialization-store.asd: The specialization-store<dot>asd file
Lisp File, specialization-store/src/common.lisp: The specialization-store/src/common<dot>lisp file
Lisp File, specialization-store/src/dispatch-fixed-arity.lisp: The specialization-store/src/dispatch-fixed-arity<dot>lisp file
Lisp File, specialization-store/src/dispatch-variable-arity.lisp: The specialization-store/src/dispatch-variable-arity<dot>lisp file
Lisp File, specialization-store/src/dispatch.lisp: The specialization-store/src/dispatch<dot>lisp file
Lisp File, specialization-store/src/lambda-lists.lisp: The specialization-store/src/lambda-lists<dot>lisp file
Lisp File, specialization-store/src/packages.lisp: The specialization-store/src/packages<dot>lisp file
Lisp File, specialization-store/src/protocols.lisp: The specialization-store/src/protocols<dot>lisp file
Lisp File, specialization-store/src/standard-store.lisp: The specialization-store/src/standard-store<dot>lisp file

M
Module, specialization-store-features/features: The specialization-store-features/features module
Module, specialization-store/src: The specialization-store/src module

S
specialization-store-features.asd: The specialization-store-features<dot>asd file
specialization-store-features/features: The specialization-store-features/features module
specialization-store-features/features/features.lisp: The specialization-store-features/features/features<dot>lisp file
specialization-store-features/features/packages.lisp: The specialization-store-features/features/packages<dot>lisp file
specialization-store.asd: The specialization-store<dot>asd file
specialization-store/src: The specialization-store/src module
specialization-store/src/common.lisp: The specialization-store/src/common<dot>lisp file
specialization-store/src/dispatch-fixed-arity.lisp: The specialization-store/src/dispatch-fixed-arity<dot>lisp file
specialization-store/src/dispatch-variable-arity.lisp: The specialization-store/src/dispatch-variable-arity<dot>lisp file
specialization-store/src/dispatch.lisp: The specialization-store/src/dispatch<dot>lisp file
specialization-store/src/lambda-lists.lisp: The specialization-store/src/lambda-lists<dot>lisp file
specialization-store/src/packages.lisp: The specialization-store/src/packages<dot>lisp file
specialization-store/src/protocols.lisp: The specialization-store/src/protocols<dot>lisp file
specialization-store/src/standard-store.lisp: The specialization-store/src/standard-store<dot>lisp file

Jump to:   F   L   M   S  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.2 Functions

Jump to:   %   (  
A   B   C   D   E   F   G   I   K   L   M   N   O   P   R   S   T   U   V  
Index Entry  Section

%
%augment-body: Internal functions
%find-store-helper: Internal functions
%make-node: Internal functions
%parameter-dependencies-p: Internal functions

(
(setf find-store): Exported functions
(setf fixed-arity-rule-index): Exported functions
(setf fixed-arity-rule-type): Exported functions
(setf node-fail): Exported functions
(setf node-pass): Exported functions
(setf node-value): Exported functions
(setf specialization-documentation): Exported generic functions
(setf specialization-documentation): Exported generic functions
(setf store-documentation): Exported generic functions
(setf store-documentation): Exported generic functions
(setf store-specializations): Exported generic functions
(setf store-specializations): Exported generic functions

A
add-specialization: Exported generic functions
add-specialization: Exported generic functions
all-parameters: Internal generic functions
all-parameters: Internal generic functions
allow-other-keys-p: Exported generic functions
allow-other-keys-p: Exported generic functions
append-knowledge: Internal functions
apply-store: Exported generic functions
apply-store: Exported generic functions
argument-count: Exported generic functions
argument-count: Exported generic functions
argument-count: Exported generic functions

B
build-tree: Exported functions

C
canonicalize-store-name: Internal functions
clear-dispatch-functions: Internal generic functions
clear-dispatch-functions: Internal generic functions
compare-slot-values: Internal functions
compiler-macro-form-arguments: Exported functions
compiler-macro-form-head: Exported functions
compiler-macro-lambda: Exported macros
compute-c: Internal functions
compute-dispatch-functions: Internal generic functions
compute-dispatch-functions: Internal generic functions
compute-dispatch-lambda-form: Internal generic functions
compute-dispatch-lambda-form: Internal generic functions
compute-dispatch-lambda-form: Internal generic functions
compute-dispatch-lambda-form: Internal generic functions
compute-dispatch-lambda-form: Internal generic functions
compute-dispatch-lambda-form: Internal generic functions
compute-dispatch-lambda-form: Internal generic functions
compute-dispatch-lambda-forms: Internal generic functions
compute-dispatch-lambda-forms: Internal generic functions
congruent-parameters-p: Exported generic functions
congruent-parameters-p: Exported generic functions
congruent-parameters-p: Exported generic functions
constantly-rule-value: Exported generic functions
constantly-rule-value: Exported generic functions
copy-fixed-arity-rule: Internal functions
copy-node: Internal functions

D
deepen-tree: Exported functions
define-specialization: Exported macros
define-specialization-using-object: Exported generic functions
define-specialization-using-object: Exported generic functions
defspecialization: Exported macros
defspecialization-using-object: Exported generic functions
defspecialization-using-object: Exported generic functions
defstore: Exported macros
defstore-using-class: Exported generic functions
defstore-using-class: Exported generic functions
determine-form-multiple-value-type: Exported functions
determine-form-value-type: Exported functions
duplicate-keywords-p: Internal generic functions
duplicate-keywords-p: Internal generic functions
duplicate-variables-p: Internal generic functions
duplicate-variables-p: Internal generic functions

E
ensure-specialization: Exported functions
ensure-specialization-using-object: Exported generic functions
ensure-specialization-using-object: Exported generic functions
ensure-store: Exported functions
ensure-store-error-object: Internal generic functions
ensure-store-error-object: Internal generic functions
ensure-store-using-object: Exported generic functions
ensure-store-using-object: Exported generic functions
ensure-store-using-object: Exported generic functions
expand-store: Exported generic functions
expand-store: Exported generic functions

F
feature/function-information: Internal functions
feature/variable-type: Internal functions
filter-duplicates: Internal functions
find-store: Exported functions
fixed-arity-rule-index: Exported functions
fixed-arity-rule-p: Internal functions
fixed-arity-rule-type: Exported functions
fixed-arity-rules: Internal functions
fixed-arity-rules-for-index: Internal functions
fixed-arity-specialization-types: Internal functions
fixed-arity-store-parameters-p: Exported functions
fixed-arity-tuple: Internal functions
funcall-store: Exported generic functions
funcall-store: Exported generic functions
Function, %augment-body: Internal functions
Function, %find-store-helper: Internal functions
Function, %make-node: Internal functions
Function, %parameter-dependencies-p: Internal functions
Function, (setf find-store): Exported functions
Function, (setf fixed-arity-rule-index): Exported functions
Function, (setf fixed-arity-rule-type): Exported functions
Function, (setf node-fail): Exported functions
Function, (setf node-pass): Exported functions
Function, (setf node-value): Exported functions
Function, append-knowledge: Internal functions
Function, build-tree: Exported functions
Function, canonicalize-store-name: Internal functions
Function, compare-slot-values: Internal functions
Function, compiler-macro-form-arguments: Exported functions
Function, compiler-macro-form-head: Exported functions
Function, compute-c: Internal functions
Function, copy-fixed-arity-rule: Internal functions
Function, copy-node: Internal functions
Function, deepen-tree: Exported functions
Function, determine-form-multiple-value-type: Exported functions
Function, determine-form-value-type: Exported functions
Function, ensure-specialization: Exported functions
Function, ensure-store: Exported functions
Function, feature/function-information: Internal functions
Function, feature/variable-type: Internal functions
Function, filter-duplicates: Internal functions
Function, find-store: Exported functions
Function, fixed-arity-rule-index: Exported functions
Function, fixed-arity-rule-p: Internal functions
Function, fixed-arity-rule-type: Exported functions
Function, fixed-arity-rules: Internal functions
Function, fixed-arity-rules-for-index: Internal functions
Function, fixed-arity-specialization-types: Internal functions
Function, fixed-arity-store-parameters-p: Exported functions
Function, fixed-arity-tuple: Internal functions
Function, function-information: Internal functions
Function, function-type: Exported functions
Function, generate-init-function-name: Internal functions
Function, generate-interned-symbol: Exported functions
Function, generate-symbol: Exported functions
Function, invalid-ordinary-lambda-list-item: Internal functions
Function, known-type: Internal functions
Function, knownp: Internal functions
Function, leafp: Exported functions
Function, make-accepts-argument-count-rule: Exported functions
Function, make-constantly-rule: Exported functions
Function, make-default-form-types-function: Internal functions
Function, make-default-type-completion-function: Internal functions
Function, make-default-value-completion-function: Internal functions
Function, make-destructuring-environment: Internal functions
Function, make-dispatch-tree: Exported functions
Function, make-final-tree: Internal functions
Function, make-fixed-argument-count-rule: Exported functions
Function, make-fixed-arity-rule: Internal functions
Function, make-function-environment: Internal functions
Function, make-init-function-name-generator: Internal functions
Function, make-initial-dispatch-tree: Exported functions
Function, make-initial-dispatch-tree: Exported functions
Function, make-initial-dispatch-tree: Internal functions
Function, make-keyword-parameter: Exported functions
Function, make-keyword-parameter-type-rule: Exported functions
Function, make-knowledge: Internal functions
Function, make-node: Exported functions
Function, make-optional-parameter: Exported functions
Function, make-positional-parameter-type-rule: Exported functions
Function, make-required-parameter: Exported functions
Function, make-rest-objects-rule: Exported functions
Function, make-rest-parameter: Exported functions
Function, make-set: Exported functions
Function, make-specialized-keyword-parameter: Internal functions
Function, make-specialized-required-parameter: Internal functions
Function, make-specialized-rest-parameter: Internal functions
Function, make-tree-for-set-x: Internal functions
Function, make-tree-for-set-z: Internal functions
Function, map-from-problem: Internal functions
Function, map-to-problem: Internal functions
Function, node-fail: Exported functions
Function, node-p: Internal functions
Function, node-pass: Exported functions
Function, node-value: Exported functions
Function, other-keys-p: Internal functions
Function, parse-lambda-list-error-lambda-list: Exported functions
Function, parse-lambda-list-error-message: Exported functions
Function, parse-ordinary-lambda-list: Internal functions
Function, parse-ordinary-lambda-list/allow-other-keys: Internal functions
Function, parse-ordinary-lambda-list/keys: Internal functions
Function, parse-ordinary-lambda-list/optional: Internal functions
Function, parse-ordinary-lambda-list/required: Internal functions
Function, parse-ordinary-lambda-list/rest: Internal functions
Function, parse-specialization-lambda-list: Exported functions
Function, parse-store-lambda-list: Exported functions
Function, parse-store-object-lambda-list: Exported functions
Function, pretty-print-dispatch-tree: Exported functions
Function, remove-dispatch-tree-tautologies: Exported functions
Function, rewrite-store-function-form: Exported functions
Function, rewrite-store-function-form/with-init-forms: Internal functions
Function, select-specialization: Internal functions
Function, set-arity: Internal functions
Function, set-count: Exported functions
Function, set-specializations: Exported functions
Function, signal-parse-lambda-list-error: Internal functions
Function, specialization-parameters-lower-bound: Exported functions
Function, specialization-parameters-upper-bound: Exported functions
Function, split-leaf: Internal functions
Function, split-set: Internal functions
Function, split-set-z: Internal functions
Function, strict-subtype-p: Internal functions
Function, test-global-function: Internal functions
Function, the-form-p: Internal functions
Function, variable-arity-store-parameters-p: Exported functions
function-information: Internal functions
function-type: Exported functions

G
generate-code: Internal generic functions
generate-code: Internal generic functions
generate-code: Internal generic functions
generate-code: Internal generic functions
generate-code: Internal generic functions
generate-code: Internal generic functions
generate-code: Internal generic functions
generate-code: Internal generic functions
generate-code: Internal generic functions
generate-code: Internal generic functions
generate-code: Internal generic functions
generate-code: Internal generic functions
generate-code: Internal generic functions
generate-code: Internal generic functions
generate-code: Internal generic functions
generate-code: Internal generic functions
generate-code: Internal generic functions
generate-init-function-name: Internal functions
generate-interned-symbol: Exported functions
generate-symbol: Exported functions
Generic Function, (setf specialization-documentation): Exported generic functions
Generic Function, (setf store-documentation): Exported generic functions
Generic Function, (setf store-specializations): Exported generic functions
Generic Function, add-specialization: Exported generic functions
Generic Function, all-parameters: Internal generic functions
Generic Function, allow-other-keys-p: Exported generic functions
Generic Function, apply-store: Exported generic functions
Generic Function, argument-count: Exported generic functions
Generic Function, clear-dispatch-functions: Internal generic functions
Generic Function, compute-dispatch-functions: Internal generic functions
Generic Function, compute-dispatch-lambda-form: Internal generic functions
Generic Function, compute-dispatch-lambda-forms: Internal generic functions
Generic Function, congruent-parameters-p: Exported generic functions
Generic Function, constantly-rule-value: Exported generic functions
Generic Function, define-specialization-using-object: Exported generic functions
Generic Function, defspecialization-using-object: Exported generic functions
Generic Function, defstore-using-class: Exported generic functions
Generic Function, duplicate-keywords-p: Internal generic functions
Generic Function, duplicate-variables-p: Internal generic functions
Generic Function, ensure-specialization-using-object: Exported generic functions
Generic Function, ensure-store-error-object: Internal generic functions
Generic Function, ensure-store-using-object: Exported generic functions
Generic Function, expand-store: Exported generic functions
Generic Function, funcall-store: Exported generic functions
Generic Function, generate-code: Internal generic functions
Generic Function, inapplicable-arguments: Exported generic functions
Generic Function, incongruent-specialization: Exported generic functions
Generic Function, invalid-specialization-class: Exported generic functions
Generic Function, invalid-store-class: Exported generic functions
Generic Function, invalid-store-lamba-list: Internal generic functions
Generic Function, invalid-store-name: Exported generic functions
Generic Function, keyword-parameter-p: Exported generic functions
Generic Function, keyword-parameters: Exported generic functions
Generic Function, keyword-parameters-p: Exported generic functions
Generic Function, make-form-types-lambda-form: Exported generic functions
Generic Function, make-store-unbound: Exported generic functions
Generic Function, make-type-completion-lambda-form: Exported generic functions
Generic Function, make-value-completion-lambda-form: Exported generic functions
Generic Function, optional-parameter-p: Exported generic functions
Generic Function, optional-parameters: Exported generic functions
Generic Function, optional-parameters-p: Exported generic functions
Generic Function, ordinary-lambda-list: Exported generic functions
Generic Function, original-lambda-list: Exported generic functions
Generic Function, parameter-dependencies: Exported generic functions
Generic Function, parameter-each-type: Exported generic functions
Generic Function, parameter-init-form: Exported generic functions
Generic Function, parameter-init-forms-as-global-functions: Exported generic functions
Generic Function, parameter-keyword: Exported generic functions
Generic Function, parameter-lambda-list-specification: Exported generic functions
Generic Function, parameter-position: Exported generic functions
Generic Function, parameter-type: Exported generic functions
Generic Function, parameter-var: Exported generic functions
Generic Function, parameter-varp: Exported generic functions
Generic Function, parameter-vars: Internal generic functions
Generic Function, parameterp: Exported generic functions
Generic Function, parameters-equal: Exported generic functions
Generic Function, positional-parameters-lower-bound: Internal generic functions
Generic Function, positional-parameters-upper-bound: Internal generic functions
Generic Function, remove-rule-tautologies: Exported generic functions
Generic Function, remove-specialization: Exported generic functions
Generic Function, required-parameter-p: Exported generic functions
Generic Function, required-parameters: Exported generic functions
Generic Function, rest-objects-rule-position: Exported generic functions
Generic Function, rest-objects-rule-type: Exported generic functions
Generic Function, rest-parameter: Exported generic functions
Generic Function, rest-parameter-p: Exported generic functions
Generic Function, rule-equal: Exported generic functions
Generic Function, simple-store-error-message: Exported generic functions
Generic Function, specialization-documentation: Exported generic functions
Generic Function, specialization-equal: Exported generic functions
Generic Function, specialization-expand-function: Exported generic functions
Generic Function, specialization-function: Exported generic functions
Generic Function, specialization-lambda-list: Exported generic functions
Generic Function, specialization-name: Exported generic functions
Generic Function, specialization-parameters: Exported generic functions
Generic Function, specialization-value-type: Exported generic functions
Generic Function, store-documentation: Exported generic functions
Generic Function, store-error-store: Exported generic functions
Generic Function, store-lambda-list: Exported generic functions
Generic Function, store-name: Exported generic functions
Generic Function, store-parameters: Exported generic functions
Generic Function, store-specialization-class: Exported generic functions
Generic Function, store-specializations: Exported generic functions
Generic Function, type-declarations: Exported generic functions
Generic Function, update-dispatch-functions: Internal generic functions

I
inapplicable-arguments: Exported generic functions
inapplicable-arguments: Exported generic functions
incongruent-specialization: Exported generic functions
incongruent-specialization: Exported generic functions
invalid-ordinary-lambda-list-item: Internal functions
invalid-specialization-class: Exported generic functions
invalid-specialization-class: Exported generic functions
invalid-store-class: Exported generic functions
invalid-store-class: Exported generic functions
invalid-store-lamba-list: Internal generic functions
invalid-store-lamba-list: Internal generic functions
invalid-store-name: Exported generic functions
invalid-store-name: Exported generic functions

K
keyword-parameter-p: Exported generic functions
keyword-parameter-p: Exported generic functions
keyword-parameter-p: Exported generic functions
keyword-parameters: Exported generic functions
keyword-parameters: Exported generic functions
keyword-parameters-p: Exported generic functions
keyword-parameters-p: Exported generic functions
known-type: Internal functions
knownp: Internal functions

L
leafp: Exported functions

M
Macro, compiler-macro-lambda: Exported macros
Macro, define-specialization: Exported macros
Macro, defspecialization: Exported macros
Macro, defstore: Exported macros
make-accepts-argument-count-rule: Exported functions
make-constantly-rule: Exported functions
make-default-form-types-function: Internal functions
make-default-type-completion-function: Internal functions
make-default-value-completion-function: Internal functions
make-destructuring-environment: Internal functions
make-dispatch-tree: Exported functions
make-final-tree: Internal functions
make-fixed-argument-count-rule: Exported functions
make-fixed-arity-rule: Internal functions
make-form-types-lambda-form: Exported generic functions
make-form-types-lambda-form: Exported generic functions
make-function-environment: Internal functions
make-init-function-name-generator: Internal functions
make-initial-dispatch-tree: Exported functions
make-initial-dispatch-tree: Exported functions
make-initial-dispatch-tree: Internal functions
make-keyword-parameter: Exported functions
make-keyword-parameter-type-rule: Exported functions
make-knowledge: Internal functions
make-node: Exported functions
make-optional-parameter: Exported functions
make-positional-parameter-type-rule: Exported functions
make-required-parameter: Exported functions
make-rest-objects-rule: Exported functions
make-rest-parameter: Exported functions
make-set: Exported functions
make-specialized-keyword-parameter: Internal functions
make-specialized-required-parameter: Internal functions
make-specialized-rest-parameter: Internal functions
make-store-unbound: Exported generic functions
make-store-unbound: Exported generic functions
make-store-unbound: Exported generic functions
make-store-unbound: Exported generic functions
make-tree-for-set-x: Internal functions
make-tree-for-set-z: Internal functions
make-type-completion-lambda-form: Exported generic functions
make-type-completion-lambda-form: Exported generic functions
make-value-completion-lambda-form: Exported generic functions
make-value-completion-lambda-form: Exported generic functions
map-from-problem: Internal functions
map-to-problem: Internal functions
Method, (setf specialization-documentation): Exported generic functions
Method, (setf store-documentation): Exported generic functions
Method, (setf store-specializations): Exported generic functions
Method, add-specialization: Exported generic functions
Method, all-parameters: Internal generic functions
Method, allow-other-keys-p: Exported generic functions
Method, apply-store: Exported generic functions
Method, argument-count: Exported generic functions
Method, argument-count: Exported generic functions
Method, clear-dispatch-functions: Internal generic functions
Method, compute-dispatch-functions: Internal generic functions
Method, compute-dispatch-lambda-form: Internal generic functions
Method, compute-dispatch-lambda-form: Internal generic functions
Method, compute-dispatch-lambda-form: Internal generic functions
Method, compute-dispatch-lambda-form: Internal generic functions
Method, compute-dispatch-lambda-form: Internal generic functions
Method, compute-dispatch-lambda-form: Internal generic functions
Method, compute-dispatch-lambda-forms: Internal generic functions
Method, congruent-parameters-p: Exported generic functions
Method, congruent-parameters-p: Exported generic functions
Method, constantly-rule-value: Exported generic functions
Method, define-specialization-using-object: Exported generic functions
Method, defspecialization-using-object: Exported generic functions
Method, defstore-using-class: Exported generic functions
Method, duplicate-keywords-p: Internal generic functions
Method, duplicate-variables-p: Internal generic functions
Method, ensure-specialization-using-object: Exported generic functions
Method, ensure-store-error-object: Internal generic functions
Method, ensure-store-using-object: Exported generic functions
Method, ensure-store-using-object: Exported generic functions
Method, expand-store: Exported generic functions
Method, funcall-store: Exported generic functions
Method, generate-code: Internal generic functions
Method, generate-code: Internal generic functions
Method, generate-code: Internal generic functions
Method, generate-code: Internal generic functions
Method, generate-code: Internal generic functions
Method, generate-code: Internal generic functions
Method, generate-code: Internal generic functions
Method, generate-code: Internal generic functions
Method, generate-code: Internal generic functions
Method, generate-code: Internal generic functions
Method, generate-code: Internal generic functions
Method, generate-code: Internal generic functions
Method, generate-code: Internal generic functions
Method, generate-code: Internal generic functions
Method, generate-code: Internal generic functions
Method, generate-code: Internal generic functions
Method, inapplicable-arguments: Exported generic functions
Method, incongruent-specialization: Exported generic functions
Method, invalid-specialization-class: Exported generic functions
Method, invalid-store-class: Exported generic functions
Method, invalid-store-lamba-list: Internal generic functions
Method, invalid-store-name: Exported generic functions
Method, keyword-parameter-p: Exported generic functions
Method, keyword-parameter-p: Exported generic functions
Method, keyword-parameters: Exported generic functions
Method, keyword-parameters-p: Exported generic functions
Method, make-form-types-lambda-form: Exported generic functions
Method, make-store-unbound: Exported generic functions
Method, make-store-unbound: Exported generic functions
Method, make-store-unbound: Exported generic functions
Method, make-type-completion-lambda-form: Exported generic functions
Method, make-value-completion-lambda-form: Exported generic functions
Method, optional-parameter-p: Exported generic functions
Method, optional-parameter-p: Exported generic functions
Method, optional-parameters: Exported generic functions
Method, optional-parameters-p: Exported generic functions
Method, ordinary-lambda-list: Exported generic functions
Method, original-lambda-list: Exported generic functions
Method, parameter-dependencies: Exported generic functions
Method, parameter-dependencies: Exported generic functions
Method, parameter-dependencies: Exported generic functions
Method, parameter-each-type: Exported generic functions
Method, parameter-init-form: Exported generic functions
Method, parameter-init-forms-as-global-functions: Exported generic functions
Method, parameter-keyword: Exported generic functions
Method, parameter-keyword: Exported generic functions
Method, parameter-lambda-list-specification: Exported generic functions
Method, parameter-lambda-list-specification: Exported generic functions
Method, parameter-lambda-list-specification: Exported generic functions
Method, parameter-lambda-list-specification: Exported generic functions
Method, parameter-lambda-list-specification: Exported generic functions
Method, parameter-lambda-list-specification: Exported generic functions
Method, parameter-position: Exported generic functions
Method, parameter-type: Exported generic functions
Method, parameter-type: Exported generic functions
Method, parameter-type: Exported generic functions
Method, parameter-type: Exported generic functions
Method, parameter-type: Exported generic functions
Method, parameter-var: Exported generic functions
Method, parameter-varp: Exported generic functions
Method, parameter-vars: Internal generic functions
Method, parameter-vars: Internal generic functions
Method, parameter-vars: Internal generic functions
Method, parameter-vars: Internal generic functions
Method, parameterp: Exported generic functions
Method, parameterp: Exported generic functions
Method, positional-parameters-lower-bound: Internal generic functions
Method, positional-parameters-upper-bound: Internal generic functions
Method, remove-rule-tautologies: Exported generic functions
Method, remove-rule-tautologies: Exported generic functions
Method, remove-rule-tautologies: Exported generic functions
Method, remove-rule-tautologies: Exported generic functions
Method, remove-rule-tautologies: Exported generic functions
Method, remove-specialization: Exported generic functions
Method, required-parameter-p: Exported generic functions
Method, required-parameter-p: Exported generic functions
Method, required-parameters: Exported generic functions
Method, rest-objects-rule-position: Exported generic functions
Method, rest-objects-rule-type: Exported generic functions
Method, rest-parameter: Exported generic functions
Method, rest-parameter-p: Exported generic functions
Method, rest-parameter-p: Exported generic functions
Method, rest-parameter-p: Exported generic functions
Method, rule-equal: Exported generic functions
Method, rule-equal: Exported generic functions
Method, rule-equal: Exported generic functions
Method, rule-equal: Exported generic functions
Method, simple-store-error-message: Exported generic functions
Method, specialization-documentation: Exported generic functions
Method, specialization-equal: Exported generic functions
Method, specialization-expand-function: Exported generic functions
Method, specialization-function: Exported generic functions
Method, specialization-lambda-list: Exported generic functions
Method, specialization-name: Exported generic functions
Method, specialization-parameters: Exported generic functions
Method, specialization-value-type: Exported generic functions
Method, store-documentation: Exported generic functions
Method, store-error-store: Exported generic functions
Method, store-lambda-list: Exported generic functions
Method, store-name: Exported generic functions
Method, store-parameters: Exported generic functions
Method, store-specialization-class: Exported generic functions
Method, store-specializations: Exported generic functions
Method, type-declarations: Exported generic functions
Method, update-dispatch-functions: Internal generic functions

N
node-fail: Exported functions
node-p: Internal functions
node-pass: Exported functions
node-value: Exported functions

O
optional-parameter-p: Exported generic functions
optional-parameter-p: Exported generic functions
optional-parameter-p: Exported generic functions
optional-parameters: Exported generic functions
optional-parameters: Exported generic functions
optional-parameters-p: Exported generic functions
optional-parameters-p: Exported generic functions
ordinary-lambda-list: Exported generic functions
ordinary-lambda-list: Exported generic functions
original-lambda-list: Exported generic functions
original-lambda-list: Exported generic functions
other-keys-p: Internal functions

P
parameter-dependencies: Exported generic functions
parameter-dependencies: Exported generic functions
parameter-dependencies: Exported generic functions
parameter-dependencies: Exported generic functions
parameter-each-type: Exported generic functions
parameter-each-type: Exported generic functions
parameter-init-form: Exported generic functions
parameter-init-form: Exported generic functions
parameter-init-forms-as-global-functions: Exported generic functions
parameter-init-forms-as-global-functions: Exported generic functions
parameter-keyword: Exported generic functions
parameter-keyword: Exported generic functions
parameter-keyword: Exported generic functions
parameter-lambda-list-specification: Exported generic functions
parameter-lambda-list-specification: Exported generic functions
parameter-lambda-list-specification: Exported generic functions
parameter-lambda-list-specification: Exported generic functions
parameter-lambda-list-specification: Exported generic functions
parameter-lambda-list-specification: Exported generic functions
parameter-lambda-list-specification: Exported generic functions
parameter-position: Exported generic functions
parameter-position: Exported generic functions
parameter-type: Exported generic functions
parameter-type: Exported generic functions
parameter-type: Exported generic functions
parameter-type: Exported generic functions
parameter-type: Exported generic functions
parameter-type: Exported generic functions
parameter-var: Exported generic functions
parameter-var: Exported generic functions
parameter-varp: Exported generic functions
parameter-varp: Exported generic functions
parameter-vars: Internal generic functions
parameter-vars: Internal generic functions
parameter-vars: Internal generic functions
parameter-vars: Internal generic functions
parameter-vars: Internal generic functions
parameterp: Exported generic functions
parameterp: Exported generic functions
parameterp: Exported generic functions
parameters-equal: Exported generic functions
parse-lambda-list-error-lambda-list: Exported functions
parse-lambda-list-error-message: Exported functions
parse-ordinary-lambda-list: Internal functions
parse-ordinary-lambda-list/allow-other-keys: Internal functions
parse-ordinary-lambda-list/keys: Internal functions
parse-ordinary-lambda-list/optional: Internal functions
parse-ordinary-lambda-list/required: Internal functions
parse-ordinary-lambda-list/rest: Internal functions
parse-specialization-lambda-list: Exported functions
parse-store-lambda-list: Exported functions
parse-store-object-lambda-list: Exported functions
positional-parameters-lower-bound: Internal generic functions
positional-parameters-lower-bound: Internal generic functions
positional-parameters-upper-bound: Internal generic functions
positional-parameters-upper-bound: Internal generic functions
pretty-print-dispatch-tree: Exported functions

R
remove-dispatch-tree-tautologies: Exported functions
remove-rule-tautologies: Exported generic functions
remove-rule-tautologies: Exported generic functions
remove-rule-tautologies: Exported generic functions
remove-rule-tautologies: Exported generic functions
remove-rule-tautologies: Exported generic functions
remove-rule-tautologies: Exported generic functions
remove-specialization: Exported generic functions
remove-specialization: Exported generic functions
required-parameter-p: Exported generic functions
required-parameter-p: Exported generic functions
required-parameter-p: Exported generic functions
required-parameters: Exported generic functions
required-parameters: Exported generic functions
rest-objects-rule-position: Exported generic functions
rest-objects-rule-position: Exported generic functions
rest-objects-rule-type: Exported generic functions
rest-objects-rule-type: Exported generic functions
rest-parameter: Exported generic functions
rest-parameter: Exported generic functions
rest-parameter-p: Exported generic functions
rest-parameter-p: Exported generic functions
rest-parameter-p: Exported generic functions
rest-parameter-p: Exported generic functions
rewrite-store-function-form: Exported functions
rewrite-store-function-form/with-init-forms: Internal functions
rule-equal: Exported generic functions
rule-equal: Exported generic functions
rule-equal: Exported generic functions
rule-equal: Exported generic functions
rule-equal: Exported generic functions

S
select-specialization: Internal functions
set-arity: Internal functions
set-count: Exported functions
set-specializations: Exported functions
signal-parse-lambda-list-error: Internal functions
simple-store-error-message: Exported generic functions
simple-store-error-message: Exported generic functions
specialization-documentation: Exported generic functions
specialization-documentation: Exported generic functions
specialization-equal: Exported generic functions
specialization-equal: Exported generic functions
specialization-expand-function: Exported generic functions
specialization-expand-function: Exported generic functions
specialization-function: Exported generic functions
specialization-function: Exported generic functions
specialization-lambda-list: Exported generic functions
specialization-lambda-list: Exported generic functions
specialization-name: Exported generic functions
specialization-name: Exported generic functions
specialization-parameters: Exported generic functions
specialization-parameters: Exported generic functions
specialization-parameters-lower-bound: Exported functions
specialization-parameters-upper-bound: Exported functions
specialization-value-type: Exported generic functions
specialization-value-type: Exported generic functions
split-leaf: Internal functions
split-set: Internal functions
split-set-z: Internal functions
store-documentation: Exported generic functions
store-documentation: Exported generic functions
store-error-store: Exported generic functions
store-error-store: Exported generic functions
store-lambda-list: Exported generic functions
store-lambda-list: Exported generic functions
store-name: Exported generic functions
store-name: Exported generic functions
store-parameters: Exported generic functions
store-parameters: Exported generic functions
store-specialization-class: Exported generic functions
store-specialization-class: Exported generic functions
store-specializations: Exported generic functions
store-specializations: Exported generic functions
strict-subtype-p: Internal functions

T
test-global-function: Internal functions
the-form-p: Internal functions
type-declarations: Exported generic functions
type-declarations: Exported generic functions

U
update-dispatch-functions: Internal generic functions
update-dispatch-functions: Internal generic functions

V
variable-arity-store-parameters-p: Exported functions

Jump to:   %   (  
A   B   C   D   E   F   G   I   K   L   M   N   O   P   R   S   T   U   V  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.3 Variables

Jump to:   %   *  
A   C   D   E   F   I   K   L   M   N   O   P   R   S   T   V  
Index Entry  Section

%
%compile-time-function: Exported classes
%form-types-function: Exported classes
%runtime-function: Exported classes
%type-completion-function: Exported classes
%value-completion-function: Exported classes

*
*init-function-name-table*: Internal special variables
*lambda-list*: Internal special variables
*lambda-list-description*: Internal special variables
*parse-lambda-list-error-class*: Internal special variables

A
all-parameters: Exported classes
allow-other-keys-p: Exported classes
allow-others-p: Internal classes
args: Internal classes
args: Internal classes
argument-count: Internal classes
arguments: Exported conditions
arity: Exported classes

C
completed-types: Internal classes
count: Exported classes
count: Exported classes

D
dependencies: Internal classes
documentation: Exported classes
documentation: Exported classes

E
each-type: Internal classes
environment: Internal classes
expand-function: Exported classes

F
fail: Exported structures
fail: Internal classes
form: Internal classes
function: Exported classes

I
index: Exported structures
init-form: Internal classes

K
keyword: Exported classes
keyword: Exported classes
keyword-parameters: Exported classes
keyword-parameters-p: Exported classes
keywords: Internal classes

L
lambda-list: Exported conditions
lambda-list: Exported classes
lambda-list: Exported classes
lambda-list-description: Exported conditions

M
message: Exported conditions
message: Exported conditions

N
name: Exported conditions
name: Exported classes
name: Exported classes

O
object: Exported conditions
optional-parameters: Exported classes
original-lambda-list: Exported classes

P
parameters: Exported classes
parameters: Exported classes
pass: Exported structures
position: Exported classes
position: Exported classes
positional: Internal classes

R
required-parameters: Exported classes
rest-parameter: Exported classes

S
set: Internal classes
Slot, %compile-time-function: Exported classes
Slot, %form-types-function: Exported classes
Slot, %runtime-function: Exported classes
Slot, %type-completion-function: Exported classes
Slot, %value-completion-function: Exported classes
Slot, all-parameters: Exported classes
Slot, allow-other-keys-p: Exported classes
Slot, allow-others-p: Internal classes
Slot, args: Internal classes
Slot, args: Internal classes
Slot, argument-count: Internal classes
Slot, arguments: Exported conditions
Slot, arity: Exported classes
Slot, completed-types: Internal classes
Slot, count: Exported classes
Slot, count: Exported classes
Slot, dependencies: Internal classes
Slot, documentation: Exported classes
Slot, documentation: Exported classes
Slot, each-type: Internal classes
Slot, environment: Internal classes
Slot, expand-function: Exported classes
Slot, fail: Exported structures
Slot, fail: Internal classes
Slot, form: Internal classes
Slot, function: Exported classes
Slot, index: Exported structures
Slot, init-form: Internal classes
Slot, keyword: Exported classes
Slot, keyword: Exported classes
Slot, keyword-parameters: Exported classes
Slot, keyword-parameters-p: Exported classes
Slot, keywords: Internal classes
Slot, lambda-list: Exported conditions
Slot, lambda-list: Exported classes
Slot, lambda-list: Exported classes
Slot, lambda-list-description: Exported conditions
Slot, message: Exported conditions
Slot, message: Exported conditions
Slot, name: Exported conditions
Slot, name: Exported classes
Slot, name: Exported classes
Slot, object: Exported conditions
Slot, optional-parameters: Exported classes
Slot, original-lambda-list: Exported classes
Slot, parameters: Exported classes
Slot, parameters: Exported classes
Slot, pass: Exported structures
Slot, position: Exported classes
Slot, position: Exported classes
Slot, positional: Internal classes
Slot, required-parameters: Exported classes
Slot, rest-parameter: Exported classes
Slot, set: Internal classes
Slot, specialization: Exported conditions
Slot, specialization-class: Exported conditions
Slot, specialization-class: Exported classes
Slot, specializations: Exported classes
Slot, specializations: Exported classes
Slot, store: Exported conditions
Slot, store: Internal classes
Slot, store-class: Exported conditions
Slot, store-lambda-list: Exported conditions
Slot, type: Exported structures
Slot, type: Exported classes
Slot, type: Exported classes
Slot, type: Exported classes
Slot, type: Internal classes
Slot, value: Exported structures
Slot, value: Exported classes
Slot, value-type: Exported classes
Slot, var: Exported classes
Slot, varp: Internal classes
Special Variable, *init-function-name-table*: Internal special variables
Special Variable, *lambda-list*: Internal special variables
Special Variable, *lambda-list-description*: Internal special variables
Special Variable, *parse-lambda-list-error-class*: Internal special variables
specialization: Exported conditions
specialization-class: Exported conditions
specialization-class: Exported classes
specializations: Exported classes
specializations: Exported classes
store: Exported conditions
store: Internal classes
store-class: Exported conditions
store-lambda-list: Exported conditions

T
type: Exported structures
type: Exported classes
type: Exported classes
type: Exported classes
type: Internal classes

V
value: Exported structures
value: Exported classes
value-type: Exported classes
var: Exported classes
varp: Internal classes

Jump to:   %   *  
A   C   D   E   F   I   K   L   M   N   O   P   R   S   T   V  

Previous: , Up: Indexes   [Contents][Index]

A.4 Data types

Jump to:   A   C   D   E   F   I   K   L   N   O   P   R   S   T   V  
Index Entry  Section

A
accepts-argument-count-rule: Exported classes

C
Class, accepts-argument-count-rule: Exported classes
Class, constantly-rule: Exported classes
Class, dispatch-rule: Internal classes
Class, fixed-argument-count-rule: Exported classes
Class, function-environment: Internal classes
Class, keyword-parameter: Exported classes
Class, keyword-parameter-type-rule: Exported classes
Class, keywords-environment: Internal classes
Class, knowledge: Internal classes
Class, optional-parameter: Exported classes
Class, parameter: Exported classes
Class, parameters: Exported classes
Class, positional-environment: Internal classes
Class, positional-parameter-type-rule: Exported classes
Class, required-parameter: Exported classes
Class, rest-objects-rule: Exported classes
Class, rest-parameter: Exported classes
Class, rule: Internal classes
Class, set: Exported classes
Class, specialization-parameters: Exported classes
Class, specialized-keyword-parameter: Internal classes
Class, specialized-required-parameter: Internal classes
Class, specialized-rest-parameter: Internal classes
Class, standard-specialization: Exported classes
Class, standard-specialization-class: Exported classes
Class, standard-store: Exported classes
Class, standard-store-class: Exported classes
Class, store-parameters: Exported classes
Class, type-function-environment: Internal classes
Class, value-function-environment: Internal classes
Class, variable-environment: Internal classes
Class, voluntary-parameter: Internal classes
Condition, duplicate-specialization-error: Internal conditions
Condition, ensure-store-error: Exported conditions
Condition, inapplicable-arguments-error: Exported conditions
Condition, incongruent-specialization-error: Exported conditions
Condition, invalid-specialization-class-error: Exported conditions
Condition, invalid-store-class-error: Exported conditions
Condition, invalid-store-lambda-list-error: Exported conditions
Condition, invalid-store-name-error: Exported conditions
Condition, parse-lambda-list-error: Exported conditions
Condition, parse-specialization-lambda-list-error: Exported conditions
Condition, parse-store-lambda-list-error: Exported conditions
Condition, simple-store-error: Exported conditions
Condition, store-error: Exported conditions
constantly-rule: Exported classes

D
dispatch-rule: Internal classes
duplicate-specialization-error: Internal conditions

E
ensure-store-error: Exported conditions

F
fixed-argument-count-rule: Exported classes
fixed-arity-rule: Exported structures
function-environment: Internal classes

I
inapplicable-arguments-error: Exported conditions
incongruent-specialization-error: Exported conditions
invalid-specialization-class-error: Exported conditions
invalid-store-class-error: Exported conditions
invalid-store-lambda-list-error: Exported conditions
invalid-store-name-error: Exported conditions

K
keyword-parameter: Exported classes
keyword-parameter-type-rule: Exported classes
keywords-environment: Internal classes
knowledge: Internal classes

L
lambda-parameter-count: Internal types

N
node: Exported structures

O
optional-parameter: Exported classes

P
Package, specialization-store: The specialization-store package
Package, specialization-store.dispatch: The specialization-store<dot>dispatch package
Package, specialization-store.dispatch.fixed-arity: The specialization-store<dot>dispatch<dot>fixed-arity package
Package, specialization-store.dispatch.variable-arity: The specialization-store<dot>dispatch<dot>variable-arity package
Package, specialization-store.features: The specialization-store<dot>features package
Package, specialization-store.globals: The specialization-store<dot>globals package
Package, specialization-store.lambda-lists: The specialization-store<dot>lambda-lists package
Package, specialization-store.mop: The specialization-store<dot>mop package
Package, specialization-store.standard-store: The specialization-store<dot>standard-store package
parameter: Exported classes
parameter-dependencies: Exported types
parameters: Exported classes
parse-lambda-list-error: Exported conditions
parse-specialization-lambda-list-error: Exported conditions
parse-store-lambda-list-error: Exported conditions
positional-environment: Internal classes
positional-parameter-type-rule: Exported classes

R
required-parameter: Exported classes
rest-objects-rule: Exported classes
rest-parameter: Exported classes
rule: Internal classes

S
set: Exported classes
simple-store-error: Exported conditions
specialization-parameters: Exported classes
specialization-store: The specialization-store system
specialization-store: The specialization-store package
specialization-store-features: The specialization-store-features system
specialization-store.dispatch: The specialization-store<dot>dispatch package
specialization-store.dispatch.fixed-arity: The specialization-store<dot>dispatch<dot>fixed-arity package
specialization-store.dispatch.variable-arity: The specialization-store<dot>dispatch<dot>variable-arity package
specialization-store.features: The specialization-store<dot>features package
specialization-store.globals: The specialization-store<dot>globals package
specialization-store.lambda-lists: The specialization-store<dot>lambda-lists package
specialization-store.mop: The specialization-store<dot>mop package
specialization-store.standard-store: The specialization-store<dot>standard-store package
specialized-keyword-parameter: Internal classes
specialized-required-parameter: Internal classes
specialized-rest-parameter: Internal classes
standard-specialization: Exported classes
standard-specialization-class: Exported classes
standard-store: Exported classes
standard-store-class: Exported classes
store-error: Exported conditions
store-parameters: Exported classes
Structure, fixed-arity-rule: Exported structures
Structure, node: Exported structures
System, specialization-store: The specialization-store system
System, specialization-store-features: The specialization-store-features system

T
Type, lambda-parameter-count: Internal types
Type, parameter-dependencies: Exported types
type-function-environment: Internal classes

V
value-function-environment: Internal classes
variable-environment: Internal classes
voluntary-parameter: Internal classes

Jump to:   A   C   D   E   F   I   K   L   N   O   P   R   S   T   V