The polymorphic-functions Reference Manual

This is the polymorphic-functions Reference Manual, version 0.2.4, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Jan 15 07:25:02 2023 GMT+0.

Table of Contents


1 Introduction


2 Systems

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


2.1 polymorphic-functions

Type based dispatch for Common Lisp

Author

<>

License

MIT

Version

0.2.4

Dependencies
  • alexandria (system).
  • closer-mop (system).
  • compiler-macro-notes (system).
  • extensible-compound-types-cl (system)., for feature :extensible-compound-types
  • ctype (system)., for feature (:not :extensible-compound-types)
  • fiveam (system).
  • cl-form-types (system).
  • introspect-environment (system).
  • optima (system).
  • split-sequence (system).
  • trivial-garbage (system).
Source

polymorphic-functions.asd.

Child Components

3 Modules

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


3.1 polymorphic-functions/extended-types

Dependency

package.lisp (file).

Source

polymorphic-functions.asd.

Parent Component

polymorphic-functions (system).

Child Components

3.2 polymorphic-functions/lambda-lists

Dependencies
Source

polymorphic-functions.asd.

Parent Component

polymorphic-functions (system).

Child Components

4 Files

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


4.1 Lisp


4.1.1 polymorphic-functions/polymorphic-functions.asd

Source

polymorphic-functions.asd.

Parent Component

polymorphic-functions (system).

ASDF Systems

polymorphic-functions.


4.1.2 polymorphic-functions/pre-package.lisp

Source

polymorphic-functions.asd.

Parent Component

polymorphic-functions (system).

Packages

polymorphic-functions.defpackage.

Public Interface

defpackage (macro).


4.1.3 polymorphic-functions/package.lisp

Dependency

pre-package.lisp (file).

Source

polymorphic-functions.asd.

Parent Component

polymorphic-functions (system).

Packages
Public Interface

cl-type-specifier-p (function).

Internals

4.1.4 polymorphic-functions/types.lisp

Dependency

package.lisp (file).

Source

polymorphic-functions.asd.

Parent Component

polymorphic-functions (system).

Public Interface
Internals

4.1.6 polymorphic-functions/extended-types/ensure-type-form.lisp

Dependency

parametric-types.lisp (file).

Source

polymorphic-functions.asd.

Parent Component

extended-types (module).

Internals

4.1.7 polymorphic-functions/extended-types/core.lisp

Dependency

parametric-types.lisp (file).

Source

polymorphic-functions.asd.

Parent Component

extended-types (module).

Public Interface
Internals

4.1.8 polymorphic-functions/extended-types/deparameterize-type.lisp

Dependency

parametric-types.lisp (file).

Source

polymorphic-functions.asd.

Parent Component

extended-types (module).

Public Interface

%deparameterize-type (generic function).

Internals

4.1.9 polymorphic-functions/extended-types/supertypep.lisp

Dependency

core.lisp (file).

Source

polymorphic-functions.asd.

Parent Component

extended-types (module).

Public Interface
Internals

4.1.10 polymorphic-functions/extended-types/type=.lisp

Dependency

core.lisp (file).

Source

polymorphic-functions.asd.

Parent Component

extended-types (module).

Public Interface
Internals

4.1.11 polymorphic-functions/extended-types/subtypep.lisp

Dependency

core.lisp (file).

Source

polymorphic-functions.asd.

Parent Component

extended-types (module).

Public Interface
Internals

4.1.14 polymorphic-functions/lambda-lists/base.lisp

Dependencies
Source

polymorphic-functions.asd.

Parent Component

lambda-lists (module).

Internals

4.1.16 polymorphic-functions/lambda-lists/required-optional.lisp

Dependency

base.lisp (file).

Source

polymorphic-functions.asd.

Parent Component

lambda-lists (module).

Internals

4.1.19 polymorphic-functions/polymorphic-function.lisp

Dependencies
Source

polymorphic-functions.asd.

Parent Component

polymorphic-functions (system).

Public Interface
Internals

4.1.20 polymorphic-functions/conditions.lisp

Dependency

extended-types (module).

Source

polymorphic-functions.asd.

Parent Component

polymorphic-functions (system).

Public Interface
Internals

4.1.21 polymorphic-functions/compiler-macro.lisp

Dependencies
Source

polymorphic-functions.asd.

Parent Component

polymorphic-functions (system).

Public Interface
Internals

4.1.22 polymorphic-functions/sbcl-transform.lisp

Dependencies
Source

polymorphic-functions.asd.

Parent Component

polymorphic-functions (system).

Internals

4.1.23 polymorphic-functions/dispatch.lisp

Dependencies
Source

polymorphic-functions.asd.

Parent Component

polymorphic-functions (system).

Public Interface
Internals

4.1.25 polymorphic-functions/misc-tests.lisp

Dependency

dispatch.lisp (file).

Source

polymorphic-functions.asd.

Parent Component

polymorphic-functions (system).

Internals

4.1.26 polymorphic-functions/benchmark.lisp

Dependency

misc-tests.lisp (file).

Source

polymorphic-functions.asd.

Parent Component

polymorphic-functions (system).

Internals

5 Packages

Packages are listed by definition order.


5.1 polymorphic-functions

Source

package.lisp.

Use List
  • alexandria.
  • common-lisp.
Public Interface
Internals

5.2 polymorphic-functions.nonuser

Package for internal use by POLYMORPHIC-FUNCTIONS not intended for direct use by users.

Source

package.lisp.

Internals

5.3 polymorphic-functions.extended-types

Source

package.lisp.

Use List
  • common-lisp.
  • ctype.
Public Interface
Internals

5.4 polymorphic-functions.defpackage

Source

pre-package.lisp.

Use List
  • alexandria.
  • common-lisp.
Public Interface

defpackage (macro).


6 Definitions

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


6.1 Public Interface


6.1.1 Special variables

Special Variable: *compiler-macro-expanding-p*

Bound to T inside the DEFINE-COMPILER-MACRO defined in DEFINE-POLYMORPH

Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Special Variable: *disable-static-dispatch*

If value at the time of compilation of the call-site is non-NIL,
the polymorphic-function being called at the call-site is dispatched dynamically.

Package

polymorphic-functions.

Source

compiler-macro.lisp.

Special Variable: *extended-subtypep-functions*

A list of function-designators that will be called by EXTENDED-SUBTYPEP.

Package

polymorphic-functions.extended-types.

Source

core.lisp.

Special Variable: *parametric-type-symbol-predicates*

A type-specifier in the type-list of a polymorph qualifies as parametric-type-specifier if there exists a symbol in the list, which when tested against the functions (predicates) in this list, returns non-NIL for at least one predicate

Package

polymorphic-functions.

Source

parametric-types.lisp.

Special Variable: *subtypep-alist*

An ALIST mapping a (CONS TYPE1 TYPE2) to a boolean indicating whether TYPE1 is a subtype of TYPE2.

Package

polymorphic-functions.extended-types.

Source

core.lisp.


6.1.2 Macros

Macro: define-polymorphic-function (name untyped-lambda-list &key overwrite documentation default)

Define a function named NAME that can then be used for DEFPOLYMORPH
for specializing on various argument types.

If OVERWRITE is T, all the existing polymorphs associated with NAME are deleted, and new polymorphs will be ready to be installed.
If OVERWRITE is NIL, a continuable error is raised if the LAMBDA-LIST has changed.

DEFAULT should be a FUNCTION that can be called with two arguments at run-time and compile-time in case no polymorph is applicable.
- the first of these arguments is the NAME, while
- the second argument is the argument list with which the polymorphic-function was called or compiled.
At compile-time *COMPILER-MACRO-EXPANDING-P* is bound to non-NIL.

Package

polymorphic-functions.

Source

dispatch.lisp.

Macro: defpackage (package &body options)

Like CL:DEFPACKAGE but provides a (:SHADOWING-IMPORT-EXPORTED-SYMBOLS {package}*) option. Expects such package to be already defined.

Package

polymorphic-functions.defpackage.

Source

pre-package.lisp.

Macro: defpolymorph (name typed-lambda-list return-type &body body)

Expects OPTIONAL or KEY args to be in the form

((A TYPE) DEFAULT-VALUE) or ((A TYPE) DEFAULT-VALUE AP).

- NAME could also be
(NAME &KEY (INLINE T) STATIC-DISPATCH-NAME MORE-OPTIMAL-TYPE-LIST SUBOPTIMAL-NOTE)
- Possible values for INLINE are T, NIL and :MAYBE
- STATIC-DISPATCH-NAME could be useful for tracing or profiling
- SUBOPTIMAL-NOTE and MORE-OPTIMAL-TYPE-LIST are useful for signalling that the POLYMORPH chosen for static-dispatch, inlining, or compiler-macro is not the most optimal. It is recommended that SUBOPTIMAL-NOTE should be the name of a subclass of SUBOPTIMAL-POLYMORPH-NOTE - the condition class should have a slot to accept the TYPE-LIST of the currently chosen POLYMORPH

**Note**:
- INLINE T or :MAYBE can result in infinite expansions for recursive polymorphs.
Proceed at your own risk.
- Also, because inlining results in type declaration upgradation for purposes
of subtype polymorphism, it is recommended to not mutate the variables used
in the lambda list; the consequences of mutation are undefined.

Package

polymorphic-functions.

Source

dispatch.lisp.

Macro: defpolymorph-compiler-macro (name type-list compiler-macro-lambda-list &body body)

Example TYPE-LISTs: (NUMBER NUMBER)
(STRING &OPTIONAL INTEGER) (STRING &KEY (:ARG INTEGER)) (NUMBER &REST)

Package

polymorphic-functions.

Source

dispatch.lisp.

Macro: pflet (bindings &body body)

Like LET but when expanded inside PF-COMPILER-MACRO, this uses information in *DEPARAMETERIZER-ALIST* to deparameterize types.

Package

polymorphic-functions.

Source

compiler-macro.lisp.

Macro: pflet* (bindings &body body)

Like LET* but when expanded inside PF-COMPILER-MACRO, this uses information in *DEPARAMETERIZER-ALIST* to deparameterize types.

Package

polymorphic-functions.

Source

compiler-macro.lisp.

Macro: specializing (vars &body body)

Analogous to SPECIALIZED-FUNCTION:SPECIALIZING.

At runtime, compiles and caches a function corresponding to the
runtime types of VARS, with (OPTIMIZE SPEED) declaration.
Uses SPECIALIZING-TYPE-OF to avoid overspecializing types.
The function is compiled in a null lexical environment, with
only access to variables specified in VARS.

POLYMORPHIC-FUNCTIONS> (defun dot-original (a b c)
(declare (optimize (speed 3))) (loop
for ai across a
for bi across b
do (incf c (* ai bi))) c)
DOT-ORIGINAL
POLYMORPHIC-FUNCTIONS> (let ((a (aops:rand* ’single-float 10000))
(b (aops:rand* ’single-float 10000)))
(time (loop repeat 1000 do (dot-original a b 0.0f0)))) Evaluation took:
0.516 seconds of real time
0.515704 seconds of total run time (0.515704 user, 0.000000 system)
100.00% CPU
1,138,873,226 processor cycles
0 bytes consed

NIL
POLYMORPHIC-FUNCTIONS> (defun dot-specialized (a b c)
(specializing (a b c)
(declare (optimize (speed 3))) (loop
for ai across a
for bi across b
do (incf c (* ai bi))) c))
DOT-SPECIALIZED
POLYMORPHIC-FUNCTIONS> (let ((a (aops:rand* ’single-float 10000))
(b (aops:rand* ’single-float 10000)))
(time (loop repeat 1000 do (dot-specialized a b 0.0f0)))) Evaluation took:
0.076 seconds of real time
0.076194 seconds of total run time (0.076194 user, 0.000000 system)
100.00% CPU
4 forms interpreted
27 lambdas converted
168,267,912 processor cycles
1,502,576 bytes consed ; runtime compilation overhead on first call

NIL
POLYMORPHIC-FUNCTIONS> (let ((a (aops:rand* ’single-float 10000))
(b (aops:rand* ’single-float 10000)))
(time (loop repeat 1000 do (dot-specialized a b 0.0f0)))) Evaluation took:
0.080 seconds of real time
0.078954 seconds of total run time (0.078954 user, 0.000000 system)
98.75% CPU
174,478,140 processor cycles
0 bytes consed

NIL

Note that as of this writing, compiling a specialized variant still
requires at least one runtime dispatch to take place; as such this
is only useful if the specialized variant offsets the cost of dispatch,
and may not be useful for wrapping around simple functions such as addition
of two numbers, but only for more expensive functions such as element-wise addition of two 10000-sized vectors.

In addition, this is not suitable for mutating variables outside the
SPECIALIZING form.

Package

polymorphic-functions.

Source

specializing.lisp.


6.1.3 Compiler macros

Function: specializing-type-of (form &optional env)
Package

polymorphic-functions.

Alias for

pf-compiler-macro.

Compiler Macro: subtypep (type1-form type2-form &optional env-form)
Package

polymorphic-functions.extended-types.

Source

core.lisp.

Compiler Macro: supertypep (type1 type2 &optional environment)
Package

polymorphic-functions.extended-types.

Source

core.lisp.

Compiler Macro: typep (object type &optional env-form)
Package

polymorphic-functions.extended-types.

Source

core.lisp.


6.1.4 Ordinary functions

Function: cl-type-specifier-p (type-specifier)

Returns true if TYPE-SPECIFIER is a valid type specfiier.

Package

polymorphic-functions.extended-types.

Source

package.lisp.

Function: definitive-subtypep (type1 type2 &optional environment)

Like POLYMORPHIC-FUNCTIONS.EXTENDED-TYPES:SUBTYPEP but uses *SUBTYPEP-ALIST* and *EXTENDED-SUBTYPEP-FUNCTIONS* and when the second value is NIL raises a restartable error to allow the user to specify whether the TYPE1 is
a definite subtype of TYPE2.

While using non-interactively, recommended way is to modify *SUBTYPEP-ALIST* and *EXTENDED-SUBTYPEP-FUNCTIONS* rather than invoking-restarts.

The function-order for determining the SUBTYPEP functions is undefined.

Package

polymorphic-functions.extended-types.

Source

core.lisp.

Function: extended-type-specifier-p (object &optional env)

Returns T if OBJECT is a type specifier implemented using CTYPE and is a tree containing a list starting with an element in *EXTENDED-TYPE-SPECIFIERS*

Package

polymorphic-functions.extended-types.

Source

core.lisp.

Function: find-polymorph (name type-list)

Returns two values:
If a POLYMORPHIC-FUNCTION by NAME does not exist, returns NIL NIL.
If it exists, the second value is T and the first value is a possibly empty list of POLYMORPHs associated with NAME.

Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Function: no-applicable-polymorph (name env args &optional arg-types)
Package

polymorphic-functions.

Source

conditions.lisp.

Function: polymorph-apropos-list-type (type &key name package)
Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Function: polymorphic-function-type-lists (polymorphic-function)
Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Function: subtypep (type1 type2 &optional environment)

Like CL:SUBTYPEP but allows PARAMETRIC-TYPE-SPECIFIER as well as EXTENDED-TYPE-SPECIFIERs COMPILER-MACROEXPANDs to CL:SUBTYPEP if both types are constant objects and
neither is a EXTENDED-TYPE-SPECIFIER.

Package

polymorphic-functions.extended-types.

Source

core.lisp.

Function: supertypep (type1 type2 &optional environment)
Package

polymorphic-functions.extended-types.

Source

core.lisp.

Function: type-pair-= (type-pair-1 type-pair-2 &optional env)

Each pair is a CONS of two types.

Package

polymorphic-functions.extended-types.

Source

core.lisp.

Function: type-specifier-p (object &optional env)
Package

polymorphic-functions.extended-types.

Source

core.lisp.

Function: type= (type1 type2 &optional env)
Package

polymorphic-functions.extended-types.

Source

core.lisp.

Function: typep (object type &optional environment)

Like CL:TYPEP but allows TYPE to be a PARAMETRIC-TYPE-SPECIFIER or EXTENDED-TYPE-SPECIFIER. COMPILER-MACROEXPANDs to CL:TYPEP if TYPE is a constant object not a EXTENDED-TYPE-SPECIFIER.

Package

polymorphic-functions.extended-types.

Source

core.lisp.

Function: undefine-polymorphic-function (name)

Remove the POLYMORPH(-WRAPPER) defined by DEFINE-POLYMORPH

Package

polymorphic-functions.

Source

dispatch.lisp.

Function: undefpolymorph (name type-list)

Remove the POLYMORPH associated with NAME with TYPE-LIST

Package

polymorphic-functions.

Source

dispatch.lisp.

Function: upgrade-extended-type (extended-type-specifier &optional env)
Package

polymorphic-functions.extended-types.

Source

core.lisp.


6.1.5 Generic functions

Generic Function: %deparameterize-type (type-specifier-car type-specifier &optional env)

%DEPARAMETERIZE-TYPE is called when the argument to DEPARAMETERIZE-TYPE is a list.

Package

polymorphic-functions.

Source

deparameterize-type.lisp.

Methods
Method: %deparameterize-type ((car (eql function)) fun-type-specifier &optional env)
Method: %deparameterize-type ((car (eql values)) type-specifier &optional env)
Method: %deparameterize-type ((car (eql member)) type-specifier &optional env)
Method: %deparameterize-type ((car (eql eql)) type-specifier &optional env)
Method: %deparameterize-type ((car (eql or)) type-specifier &optional env)
Method: %deparameterize-type ((car (eql and)) type-specifier &optional env)
Method: %deparameterize-type (car-type-specifier type-specifier &optional env)
Generic Function: parametric-type-compile-time-lambda-body (type-car type-cdr type-parameter)

Users are expected to specialize on the TYPE-CAR using an (EQL symbol) specializer. TYPE-CAR and TYPE-CDR together make up the parametric-type, while TYPE-PARAMETER
is one of the type parameter in the parametric-type.

The methods implemented should return a one-argument lambda-*expression* (not function). The expression will be compiled to a function and called with the appropriate *form-type* at compile-time. The function should return the value of the TYPE-PARAMETER corresponding to the parametric-type in the *form-type*.

If the *form-type* does not match the parametric-type, then NIL may be returned.

Package

polymorphic-functions.

Source

parametric-types.lisp.

Methods
Method: parametric-type-compile-time-lambda-body ((type-car (eql simple-array)) type-cdr parameter)
Method: parametric-type-compile-time-lambda-body ((type-car (eql array)) type-cdr parameter)
Generic Function: parametric-type-run-time-lambda-body (type-car type-cdr type-parameter)

Users are expected to specialize on the TYPE-CAR using an (EQL symbol) specializer. TYPE-CAR and TYPE-CDR together make up the parametric-type, while TYPE-PARAMETER
is one of the type parameter in the parametric-type.

The methods implemented should return a one-argument lambda-*expression* (not function). The expression will be compiled to a function and called with the appropriate *object* at run-time. The function should return the value of the TYPE-PARAMETER corresponding to the *object* and the parametric type.

Package

polymorphic-functions.

Source

parametric-types.lisp.

Methods
Method: parametric-type-run-time-lambda-body ((type-car (eql simple-array)) type-cdr parameter)
Method: parametric-type-run-time-lambda-body ((type-car (eql array)) type-cdr parameter)

6.1.6 Standalone methods

Method: conjoin/2 ((ct1 ctype=) (ct2 ctype=))
Package

ctype.

Source

type=.lisp.

Method: conjoin/2 ((ct1 csupertypep) (ct2 csupertypep))
Package

ctype.

Source

supertypep.lisp.

Method: ctype= ((ct1 ctype=) (ct2 ctype=))
Package

ctype.

Source

type=.lisp.

Method: ctype= ((ct1 csubtypep) (ct2 csubtypep))
Package

ctype.

Source

subtypep.lisp.

Method: ctype= ((ct1 csupertypep) (ct2 csupertypep))
Package

ctype.

Source

supertypep.lisp.

Method: ctypep (object (ct ctype=))
Package

ctype.

Source

type=.lisp.

Method: ctypep (object (ct csubtypep))
Package

ctype.

Source

subtypep.lisp.

Method: ctypep (object (ct csupertypep))
Package

ctype.

Source

supertypep.lisp.

Method: print-object ((o polymorphic-function) stream)
Source

types.lisp.

Method: print-object ((o polymorph) stream)
Source

types.lisp.

Method: subctypep ((ct1 ctype=) ct2)
Package

ctype.

Source

type=.lisp.

Method: subctypep ((ct1 ctype=) (ct2 (eql #<ctype:conjunction t>)))
Package

ctype.

Source

type=.lisp.

Method: subctypep ((ct1 cmember) (ct2 ctype=))
Package

ctype.

Source

type=.lisp.

Method: subctypep ((ct1 ctype=) (ct2 disjunction))
Package

ctype.

Source

type=.lisp.

Method: subctypep ((ct1 ctype=) (ct2 ctype=))
Package

ctype.

Source

type=.lisp.

Method: subctypep ((ct1 csubtypep) ct2)
Package

ctype.

Source

subtypep.lisp.

Method: subctypep ((ct1 csubtypep) (ct2 (eql #<ctype:conjunction t>)))
Package

ctype.

Source

subtypep.lisp.

Method: subctypep ((ct1 cmember) (ct2 csubtypep))
Package

ctype.

Source

subtypep.lisp.

Method: subctypep ((ct1 csubtypep) (ct2 csubtypep))
Package

ctype.

Source

subtypep.lisp.

Method: subctypep ((ct1 csupertypep) ct2)
Package

ctype.

Source

supertypep.lisp.

Method: subctypep ((ct1 csupertypep) (ct2 (eql #<ctype:conjunction t>)))
Package

ctype.

Source

supertypep.lisp.

Method: subctypep ((ct1 cmember) (ct2 csupertypep))
Package

ctype.

Source

supertypep.lisp.

Method: subctypep ((ct1 csupertypep) (ct2 disjunction))
Package

ctype.

Source

supertypep.lisp.

Method: subctypep ((ct1 csupertypep) (ct2 csupertypep))
Package

ctype.

Source

supertypep.lisp.

Method: unparse ((ct ctype=))
Package

ctype.

Source

type=.lisp.

Method: unparse ((ct csubtypep))
Package

ctype.

Source

subtypep.lisp.

Method: unparse ((ct csupertypep))
Package

ctype.

Source

supertypep.lisp.


6.1.7 Conditions

Condition: more-optimal-polymorph-inapplicable
Package

polymorphic-functions.

Source

conditions.lisp.

Direct superclasses

suboptimal-polymorph-note.

Direct methods

more-optimal-type-list.

Direct slots
Slot: more-optimal-type-list
Initform

(quote (error "more-optimal-type-list not specified"))

Initargs

:more-optimal-type-list

Readers

more-optimal-type-list.

Writers

This slot is read-only.

Condition: no-applicable-polymorph
Package

polymorphic-functions.

Source

conditions.lisp.

Direct superclasses

condition.

Direct subclasses
Direct methods
Direct slots
Slot: name
Initform

(quote (error "name not specified"))

Initargs

:name

Readers

name.

Writers

This slot is read-only.

Slot: args
Initform

(quote (error "args not specified"))

Initargs

:args

Readers

args.

Writers

This slot is read-only.

Slot: arg-types
Initargs

:arg-types

Readers

arg-types.

Writers

This slot is read-only.

Slot: effective-type-lists
Initform

(quote (error "effective-type-lists not specified"))

Initargs

:effective-type-lists

Readers

effective-type-lists.

Writers

This slot is read-only.

Condition: suboptimal-polymorph-note
Package

polymorphic-functions.

Source

conditions.lisp.

Direct superclasses

optimization-failure-note.

Direct subclasses

more-optimal-polymorph-inapplicable.

Direct methods

type-list.

Direct slots
Slot: type-list
Initargs

:type-list

Readers

type-list.

Writers

This slot is read-only.


6.1.8 Structures

Structure: polymorph

- If RUNTIME-APPLICABLE-P-FORM returns true when evaluated inside the lexical environment of the polymorphic-function, then the dispatch is done on LAMBDA. The prioritization
is done by ADD-OR-UPDATE-POLYMORPH so that a more specialized polymorph is checked
for compatibility before a less specialized polymorph.
- The PF-COMPILER-MACRO calls the COMPILER-APPLICABLE-P-LAMBDA with the FORM-TYPEs
of the arguments derived at compile time. The compiler macro dispatches on the polymorph at compile time if the COMPILER-APPLICABLE-P-LAMBDA returns true.

- If this POLYMORPH is used for INLINE-ing or STATIC-DISPATCH and if MORE-OPTIMAL-TYPE-LIST or SUBOPTIMAL-NOTE is non-NIL, then emits a OPTIMIZATION-FAILURE-NOTE

Package

polymorphic-functions.

Source

types.lisp.

Direct superclasses

structure-object.

Direct methods

print-object.

Direct slots
Slot: documentation
Package

common-lisp.

Type

(or null string)

Readers

polymorph-documentation.

Writers

(setf polymorph-documentation).

Slot: name
Initform

(error "name must be supplied!")

Readers

polymorph-name.

Writers

(setf polymorph-name).

Slot: source
Readers

polymorph-source.

Writers

(setf polymorph-source).

Slot: return-type
Readers

polymorph-return-type.

Writers

(setf polymorph-return-type).

Slot: type-list
Readers

polymorph-type-list.

Writers

(setf polymorph-type-list).

Slot: lambda-list-type
Readers

polymorph-lambda-list-type.

Writers

(setf polymorph-lambda-list-type).

Slot: typed-lambda-list
Readers

polymorph-typed-lambda-list.

Writers

(setf polymorph-typed-lambda-list).

Slot: effective-type-list
Readers

polymorph-effective-type-list.

Writers

(setf polymorph-effective-type-list).

Slot: more-optimal-type-list
Readers

polymorph-more-optimal-type-list.

Writers

(setf polymorph-more-optimal-type-list).

Slot: suboptimal-note
Readers

polymorph-suboptimal-note.

Writers

(setf polymorph-suboptimal-note).

Slot: compiler-applicable-p-lambda
Readers

polymorph-compiler-applicable-p-lambda.

Writers

(setf polymorph-compiler-applicable-p-lambda).

Slot: runtime-applicable-p-form
Readers

polymorph-runtime-applicable-p-form.

Writers

(setf polymorph-runtime-applicable-p-form).

Slot: inline-p
Readers

polymorph-inline-p.

Writers

(setf polymorph-inline-p).

Slot: inline-lambda-body
Readers

polymorph-inline-lambda-body.

Writers

(setf polymorph-inline-lambda-body).

Slot: static-dispatch-name
Readers

polymorph-static-dispatch-name.

Writers

(setf polymorph-static-dispatch-name).

Slot: compiler-macro-lambda
Readers

polymorph-compiler-macro-lambda.

Writers

(setf polymorph-compiler-macro-lambda).

Slot: compiler-macro-source
Readers

polymorph-compiler-macro-source.

Writers

(setf polymorph-compiler-macro-source).

Slot: parameters
Type

polymorphic-functions::polymorph-parameters

Initform

(error "polymorph-parameters must be supplied")

Readers

polymorph-parameters.

Writers

(setf polymorph-parameters).


6.1.9 Classes

Class: polymorphic-function
Package

polymorphic-functions.

Source

types.lisp.

Direct superclasses

funcallable-standard-object.

Direct methods
Direct slots
Slot: name
Initform

(error "name must be supplied.")

Initargs

:name

Readers

polymorphic-function-name.

Writers

This slot is read-only.

Slot: source
Initargs

:source

Readers

polymorphic-function-source.

Writers

This slot is read-only.

Slot: lambda-list
Type

list

Initform

(error "lambda-list must be supplied.")

Initargs

:lambda-list

Readers

polymorphic-function-lambda-list.

Writers

This slot is read-only.

Slot: effective-lambda-list
Type

list

Initform

(error "effective-lambda-list must be supplied.")

Initargs

:effective-lambda-list

Readers

polymorphic-function-effective-lambda-list.

Writers

This slot is read-only.

Slot: lambda-list-type
Type

polymorphic-functions::lambda-list-type

Initform

(error "lambda-list-type must be supplied.")

Initargs

:lambda-list-type

Readers

polymorphic-function-lambda-list-type.

Writers

This slot is read-only.

Slot: default
Type

function

Initform

(error ":default must be supplied")

Initargs

:default

Readers

polymorphic-function-default.

Writers

This slot is read-only.

Slot: polymorphs
Readers

polymorphic-function-polymorphs.

Writers

(setf polymorphic-function-polymorphs).

Slot: documentation
Package

common-lisp.

Type

(or string null)

Initargs

:documentation

Readers

polymorphic-function-documentation.

Writers

(setf polymorphic-function-documentation).

Slot: invalidated-p
Readers

polymorphic-function-invalidated-p.

Writers

(setf polymorphic-function-invalidated-p).

Slot: %lock
Initform

(sb-thread:make-mutex :name "gf lock")

Readers

gf-lock.

Writers

This slot is read-only.


6.2 Internals


6.2.1 Constants

Constant: +compute-effective-lambda-list-doc+
Package

polymorphic-functions.

Source

doc.lisp.

Constant: +compute-polymorphic-function-lambda-body-doc+
Package

polymorphic-functions.

Source

doc.lisp.

Constant: +effective-lambda-list-doc-helper+
Package

polymorphic-functions.

Source

doc.lisp.

Constant: +lambda-declarations-doc+
Package

polymorphic-functions.

Source

doc.lisp.

Constant: +lambda-list-type-doc+
Package

polymorphic-functions.

Source

doc.lisp.

Constant: +lambda-list-types+
Package

polymorphic-functions.

Source

types.lisp.

Constant: +optimize-speed-or-compilation-speed+
Package

polymorphic-functions.

Source

base.lisp.

Constant: +sbcl-transform-arg-lvars-from-lambda-list-form+
Package

polymorphic-functions.

Source

doc.lisp.

Constant: +type-list-intersection-null-p+
Package

polymorphic-functions.

Source

doc.lisp.

Constant: +type-list-more-specific-p+
Package

polymorphic-functions.

Source

doc.lisp.


6.2.2 Special variables

Special Variable: *deparameterizer-alist*

(Re)Bound in PF-COMPILER-MACRO, modified by ENHANCED-LAMBDA-DECLARATIONS.

Package

polymorphic-functions.

Source

deparameterize-type.lisp.

Special Variable: *environment*

Bound inside the DEFINE-COMPILER-MACRO defined in DEFINE-POLYMORPH for use by functions like TYPE-LIST-APPLICABLE-P

Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Special Variable: *extended-type-specifiers*
Package

polymorphic-functions.extended-types.

Source

core.lisp.

Special Variable: *lambda-list*

LAMBDA-LIST of the typed function being compiled. Bound inside the functions defined by POLYMORPHS::DEFINE-LAMBDA-LIST-HELPER

Package

polymorphic-functions.

Source

base.lisp.

Special Variable: *lambda-list-typed-p*

Is T if the *LAMBDA-LIST* being processed is to be treated as if it had type specifiers. Bound inside the functions defined by POLYMORPHS::DEFINE-LAMBDA-LIST-HELPER

Package

polymorphic-functions.

Source

base.lisp.

Special Variable: *name*

NAME of the typed function being compiled. Bound inside DEFINE-POLYMORPH

Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Special Variable: *potential-type*

POTENTIAL-TYPE of the LAMBDA-LIST of the typed function being compiled. Bound inside the functions defined by POLYMORPHS::DEFINE-LAMBDA-LIST-HELPER

Package

polymorphic-functions.

Source

base.lisp.

Special Variable: *specialization-count*
Package

polymorphic-functions.

Source

specializing.lisp.

Special Variable: *specialization-table*

A weak-hash-table mapping a global specialization-idx counter to a CONS containing the specialization-dispatcher-lambda as the CAR and the specializations as the CDR.

Package

polymorphic-functions.

Source

specializing.lisp.


6.2.3 Symbol macros

Symbol Macro: optim-debug
Package

polymorphic-functions.

Source

package.lisp.

Symbol Macro: optim-safety
Package

polymorphic-functions.

Source

package.lisp.

Symbol Macro: optim-slight-speed
Package

polymorphic-functions.

Source

package.lisp.

Symbol Macro: optim-speed
Package

polymorphic-functions.

Source

package.lisp.


6.2.4 Macros

Macro: catch-condition (form)
Package

polymorphic-functions.

Source

package.lisp.

Macro: define-compiled-function (name lambda-list &body body)
Package

polymorphic-functions.

Source

misc-tests.lisp.

Macro: define-lambda-list-helper ((outer-name outer-documentation) (inner-name inner-documentation) &body action-form)

ACTION-FORM should be defined in terms of *POTENTIAL-TYPE* and *LAMBDA-LIST* variables.

Package

polymorphic-functions.

Source

base.lisp.

Macro: ignoring-error-output (&body body)
Package

polymorphic-functions.

Source

misc-tests.lisp.

Macro: is-error (form)
Package

polymorphic-functions.

Source

package.lisp.

Macro: list-named-lambda (name package lambda-list &body body)
Package

polymorphic-functions.

Source

package.lisp.

Macro: time-it (&body body)
Package

polymorphic-functions.

Source

benchmark.lisp.

Macro: time-it/normalize (&body body)
Package

polymorphic-functions.

Source

benchmark.lisp.

Macro: with-muffled-compilation-warnings (&body body)
Package

polymorphic-functions.

Source

dispatch.lisp.


6.2.5 Ordinary functions

Function: (polymorph⎵specializing-type-of⎵((signed-byte⎵32))) (object)
Package

polymorphic-functions.nonuser.

Source

specializing.lisp.

Function: (polymorph⎵specializing-type-of⎵(array)) (object)
Package

polymorphic-functions.nonuser.

Source

specializing.lisp.

Function: (polymorph⎵specializing-type-of⎵(fixnum)) (object)
Package

polymorphic-functions.nonuser.

Source

specializing.lisp.

Function: (polymorph⎵specializing-type-of⎵(simple-array)) (object)
Package

polymorphic-functions.nonuser.

Source

specializing.lisp.

Function: (polymorph⎵specializing-type-of⎵(t)) (object)
Package

polymorphic-functions.nonuser.

Source

specializing.lisp.

Function: accepts-argument-of-type-p (polymorph-parameters type)
Package

polymorphic-functions.

Source

parameters.lisp.

Function: add-or-update-polymorph (polymorphic-function polymorph)

Returns T if the POLYMOMRPH with identical effective-type-list existed, otherwise returns NIL.

Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Function: add-specialization (new-specialization table &rest arg-values)

NEW-SPECIALIZATION should be a list of two elements TYPE-LIST SPECIALIZED-LAMBDA

Package

polymorphic-functions.

Source

specializing.lisp.

Function: array-type-dimensions (type)
Package

polymorphic-functions.

Source

parametric-types.lisp.

Function: array-type-element-type (type)
Package

polymorphic-functions.

Source

parametric-types.lisp.

Function: array-type-rank (type)
Package

polymorphic-functions.

Source

parametric-types.lisp.

Function: blockify-name (name)
Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Function: compiler-applicable-p-lambda-body (polymorph-parameters)
Package

polymorphic-functions.

Source

parameters.lisp.

Function: compiler-retrieve-polymorph (name &rest arg-types-alist)
Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Function: copy-polymorph (instance)
Package

polymorphic-functions.

Source

types.lisp.

Function: copy-polymorph-parameter (instance)
Package

polymorphic-functions.

Source

types.lisp.

Function: copy-polymorph-parameters (instance)
Package

polymorphic-functions.

Source

types.lisp.

Function: copy-type-parameter (instance)
Package

polymorphic-functions.

Source

types.lisp.

Function: csubtypep (type)
Package

polymorphic-functions.extended-types.

Source

subtypep.lisp.

Function: csupertypep (type)
Package

polymorphic-functions.extended-types.

Source

supertypep.lisp.

Function: ctype= (type)
Package

polymorphic-functions.extended-types.

Source

type=.lisp.

Function: definitive-intersection-null-p (type1 type2 &optional env)
Package

polymorphic-functions.

Source

base.lisp.

Function: deparameterize-type (type-specifier)
Package

polymorphic-functions.

Source

deparameterize-type.lisp.

Function: enhanced-lambda-declarations (polymorph-parameters arg-types &optional return-type)
Package

polymorphic-functions.

Source

parameters.lisp.

Function: ensure-type-form (type form &optional env)

Returns two values: a form that has ASSERTs with SIMPLE-TYPE-ERROR to check the type as well as the type enhanced using TYPE.

Package

polymorphic-functions.

Source

ensure-type-form.lisp.

Function: ensure-unambiguous-call (name type-list effective-type-list)
Package

polymorphic-functions.

Source

dispatch.lisp.

Function: extended-subtypep (type1 type2 &optional environment)
Package

polymorphic-functions.

Source

core.lisp.

Function: extended-type-list-p (list)
Package

polymorphic-functions.

Source

types.lisp.

Function: extract-declarations (body &key documentation)

Returns two values: DECLARATIONS and remaining BODY
If DOCUMENTATION is non-NIL, returns three values: DECLARATIONS and remaining BODY and DOC-STRING

Package

polymorphic-functions.

Source

dispatch.lisp.

Function: form-type (form env &key return-default-type expand-compiler-macros constant-eql-types)
Package

polymorphic-functions.

Source

package.lisp.

Function: ftype-for-static-dispatch (static-dispatch-name effective-type-list return-type env)
Package

polymorphic-functions.

Source

base.lisp.

Function: invalidate-polymorphic-function-lambda (polymorphic-function)
Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Function: lambda-declarations (polymorph-parameters)
Package

polymorphic-functions.

Source

parameters.lisp.

Function: lambda-list-type (lambda-list &key typed)

Returns the type of LAMBDA-LIST from amongst +LAMBDA-LIST-TYPES+. Raises an ERROR otherwise.

Package

polymorphic-functions.

Source

base.lisp.

Function: lambda-list-type-p (object)

Checks whhether the OBJECT is in +LAMBDA-LIST-TYPES+

Package

polymorphic-functions.

Source

types.lisp.

Function: macroexpand-all (form &optional env)
Package

polymorphic-functions.

Source

package.lisp.

Function: make-polymorph (&key documentation name source return-type type-list lambda-list-type typed-lambda-list effective-type-list more-optimal-type-list suboptimal-note compiler-applicable-p-lambda runtime-applicable-p-form inline-p inline-lambda-body static-dispatch-name compiler-macro-lambda compiler-macro-source parameters)
Package

polymorphic-functions.

Source

types.lisp.

Function: make-polymorph-parameter (&key local-name form-in-pf value-type default-value-form supplied-p-name type-parameters value-effective-type)
Package

polymorphic-functions.

Source

types.lisp.

Function: make-polymorph-parameters (&key required optional rest keyword min-args max-args validator-form)
Package

polymorphic-functions.

Source

types.lisp.

Function: make-polymorph-parameters-from-lambda-lists (polymorphic-function-lambda-list polymorph-lambda-list)
Package

polymorphic-functions.

Source

parameters.lisp.

Function: make-sbcl-transform-body (name typed-lambda-list inline-lambda-body polymorph-parameters)
Package

polymorphic-functions.

Source

sbcl-transform.lisp.

Function: make-type-parameter (&key name run-time-deparameterizer-lambda-body compile-time-deparameterizer-lambda compile-time-deparameterizer-lambda-body)
Package

polymorphic-functions.

Source

types.lisp.

Function: map-polymorph-parameters (polymorph-parameters &key required optional keyword rest)
Package

polymorphic-functions.

Source

parameters.lisp.

Function: most-specialized-applicable-transform-p (name arg-types-alist type-list)
Package

polymorphic-functions.

Source

sbcl-transform.lisp.

Function: normalize-typed-lambda-list (typed-lambda-list)
Package

polymorphic-functions.

Source

parameters.lisp.

Function: normalize-untyped-lambda-list (untyped-lambda-list)
Package

polymorphic-functions.

Source

parameters.lisp.

Function: note-no-inline (form datum &rest arguments)
Package

polymorphic-functions.

Source

conditions.lisp.

Function: note-null-env (form datum &rest arguments)
Package

polymorphic-functions.

Source

conditions.lisp.

Function: nth-form-type (form env &optional n constant-eql-types expand-compiler-macros return-default-type)
Package

polymorphic-functions.

Source

package.lisp.

Function: null-env-compilation-warnings (lambda-form)
Package

polymorphic-functions.

Source

dispatch.lisp.

Function: parametric-type-compile-time-lambda-body-for-array (type-car type-cdr parameter)
Package

polymorphic-functions.

Source

parametric-types.lisp.

Function: parametric-type-parameters (parametric-type-spec)
Package

polymorphic-functions.

Source

parametric-types.lisp.

Function: parametric-type-run-time-lambda-body-for-array (type-car type-cdr parameter)
Package

polymorphic-functions.

Source

parametric-types.lisp.

Function: parametric-type-specifier-p (type-specifier)
Package

polymorphic-functions.

Source

parametric-types.lisp.

Function: parametric-type-specifiers (type-list)
Package

polymorphic-functions.

Source

parametric-types.lisp.

Function: parametric-type-specifiers-are-significant-p (type-list)

Returns T if there exist at least two parametric-type-specifiers in the type-list which have type parameters that depend on each other.

Package

polymorphic-functions.

Source

parametric-types.lisp.

Function: parametric-type-symbol-p (atom)
Package

polymorphic-functions.

Source

parametric-types.lisp.

Function: pf-compiler-macro (form &optional env)
Package

polymorphic-functions.

Source

compiler-macro.lisp.

Function: pf-compiler-macro-function (form &optional env)
Package

polymorphic-functions.

Source

compiler-macro.lisp.

Function: policy-quality (quality &optional env)
Package

polymorphic-functions.

Source

package.lisp.

Reader: polymorph-compiler-applicable-p-lambda (instance)
Writer: (setf polymorph-compiler-applicable-p-lambda) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

compiler-applicable-p-lambda.

Reader: polymorph-compiler-macro-lambda (instance)
Writer: (setf polymorph-compiler-macro-lambda) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

compiler-macro-lambda.

Reader: polymorph-compiler-macro-source (instance)
Writer: (setf polymorph-compiler-macro-source) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

compiler-macro-source.

Reader: polymorph-documentation (instance)
Writer: (setf polymorph-documentation) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

documentation.

Function: polymorph-effective-lambda-list (polymorph-parameters)

Returns 3 values:
- The first value is the LAMBDA-LIST suitable for constructing polymorph’s lambda - The second value is the TYPE-LIST corresponding to the polymorph
- The third value is the EFFECTIVE-TYPE-LIST corresponding to the polymorph

Package

polymorphic-functions.

Source

parameters.lisp.

Reader: polymorph-effective-type-list (instance)
Writer: (setf polymorph-effective-type-list) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

effective-type-list.

Reader: polymorph-inline-lambda-body (instance)
Writer: (setf polymorph-inline-lambda-body) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

inline-lambda-body.

Reader: polymorph-inline-p (instance)
Writer: (setf polymorph-inline-p) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

inline-p.

Reader: polymorph-lambda-list-type (instance)
Writer: (setf polymorph-lambda-list-type) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

lambda-list-type.

Reader: polymorph-more-optimal-type-list (instance)
Writer: (setf polymorph-more-optimal-type-list) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

more-optimal-type-list.

Reader: polymorph-name (instance)
Writer: (setf polymorph-name) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

name.

Function: polymorph-p (object)
Package

polymorphic-functions.

Source

types.lisp.

Function: polymorph-parameter-p (object)
Package

polymorphic-functions.

Source

types.lisp.

Reader: polymorph-parameters (instance)
Writer: (setf polymorph-parameters) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

parameters.

Reader: polymorph-parameters-keyword (instance)
Writer: (setf polymorph-parameters-keyword) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

keyword.

Reader: polymorph-parameters-max-args (instance)
Writer: (setf polymorph-parameters-max-args) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

max-args.

Reader: polymorph-parameters-min-args (instance)
Writer: (setf polymorph-parameters-min-args) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

min-args.

Reader: polymorph-parameters-optional (instance)
Writer: (setf polymorph-parameters-optional) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

optional.

Function: polymorph-parameters-p (object)
Package

polymorphic-functions.

Source

types.lisp.

Reader: polymorph-parameters-required (instance)
Writer: (setf polymorph-parameters-required) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

required.

Reader: polymorph-parameters-rest (instance)
Writer: (setf polymorph-parameters-rest) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

rest.

Reader: polymorph-parameters-validator-form (instance)
Writer: (setf polymorph-parameters-validator-form) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

validator-form.

Reader: polymorph-return-type (instance)
Writer: (setf polymorph-return-type) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

return-type.

Reader: polymorph-runtime-applicable-p-form (instance)
Writer: (setf polymorph-runtime-applicable-p-form) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

runtime-applicable-p-form.

Reader: polymorph-source (instance)
Writer: (setf polymorph-source) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

source.

Reader: polymorph-static-dispatch-name (instance)
Writer: (setf polymorph-static-dispatch-name) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

static-dispatch-name.

Reader: polymorph-suboptimal-note (instance)
Writer: (setf polymorph-suboptimal-note) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

suboptimal-note.

Reader: polymorph-type-list (instance)
Writer: (setf polymorph-type-list) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

type-list.

Reader: polymorph-typed-lambda-list (instance)
Writer: (setf polymorph-typed-lambda-list) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

typed-lambda-list.

Function: polymorphic-function-effective-type-lists (polymorphic-function)
Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Function: polymorphic-function-make-effective-lambda-list (untyped-lambda-list)
Package

polymorphic-functions.

Source

parameters.lisp.

Function: potential-type-of-lambda-list (lambda-list)
Package

polymorphic-functions.

Source

base.lisp.

Reader: pp-default-value-form (instance)
Writer: (setf pp-default-value-form) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

default-value-form.

Reader: pp-form-in-pf (instance)
Writer: (setf pp-form-in-pf) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

form-in-pf.

Reader: pp-local-name (instance)
Writer: (setf pp-local-name) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

local-name.

Reader: pp-supplied-p-name (instance)
Writer: (setf pp-supplied-p-name) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

supplied-p-name.

Reader: pp-type-parameters (instance)
Writer: (setf pp-type-parameters) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

type-parameters.

Reader: pp-value-effective-type (instance)
Writer: (setf pp-value-effective-type) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

value-effective-type.

Reader: pp-value-type (instance)
Writer: (setf pp-value-type) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

value-type.

Function: recursive-function-p (name body)
Package

polymorphic-functions.

Source

dispatch.lisp.

Function: register-polymorph (name inline-p documentation typed-lambda-list type-list effective-type-list more-optimal-type-list suboptimal-note return-type inline-lambda-body static-dispatch-name lambda-list-type runtime-applicable-p-form compiler-applicable-p-lambda &optional source-location)
Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Function: register-polymorph-compiler-macro (name type-list lambda &optional source)
Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Function: register-polymorphic-function (name untyped-lambda-list documentation default &key overwrite source)
Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Function: remove-polymorph (name type-list)
Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Function: retrieve-polymorph-compiler-macro (name &rest arg-list)
Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Function: run-time-applicable-p-form (polymorph-parameters)
Package

polymorphic-functions.

Source

parameters.lisp.

Function: sbcl-transform-arg-lvars-from-lambda-list-form (lambda-list &key typed)

Returns a FORM that can process the parameters of SB-C:DEFTRANSFORM to form an argument lvar alist list suitable for further processing.

Package

polymorphic-functions.

Source

base.lisp.

Function: setf-function-name-p (object)
Package

polymorphic-functions.

Source

package.lisp.

Function: simple-deparameterize-type (type-specifier &optional env)
Package

polymorphic-functions.

Source

deparameterize-type.lisp.

Function: subtypep-using-subtypep-alist (type1 type2 &optional environment)
Package

polymorphic-functions.

Source

core.lisp.

Function: translate-body (body translation-alist)
Package

polymorphic-functions.

Source

core.lisp.

Function: traverse-tree (tree &optional function)

Traverses TREE and calls function on each subtree and node of TREE. If FUNCTION returns a list, then traversing the list can be avoided if the second return value is non-NIL. If FUNCTION returns a list, traverses the list only if the second return value is NIL.

Package

polymorphic-functions.

Source

core.lisp.

Function: type-list-compatible-p (lambda-list-type type-list effective-untyped-lambda-list)

Returns T if the given TYPE-LIST is compatible with the given UNTYPED-LAMBDA-LIST.

Package

polymorphic-functions.

Source

base.lisp.

Function: type-list-intersection-null-p (type-list-1 type-list-2)

Returns T if there exist argument lists that are compatible with both TYPE-LIST-1 and TYPE-LIST-2

Package

polymorphic-functions.

Source

base.lisp.

Function: type-list-more-specific-p (type-list-1 type-list-2)

Returns T if TYPE-LIST-1 is more specialized than TYPE-LIST-2

Package

polymorphic-functions.

Source

base.lisp.

Function: type-list-order-keywords (type-list)
Package

polymorphic-functions.

Source

types.lisp.

Function: type-list-p (list)
Package

polymorphic-functions.

Source

types.lisp.

Reader: type-parameter-compile-time-deparameterizer-lambda (instance)
Writer: (setf type-parameter-compile-time-deparameterizer-lambda) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

compile-time-deparameterizer-lambda.

Reader: type-parameter-compile-time-deparameterizer-lambda-body (instance)
Writer: (setf type-parameter-compile-time-deparameterizer-lambda-body) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

compile-time-deparameterizer-lambda-body.

Reader: type-parameter-name (instance)
Writer: (setf type-parameter-name) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

name.

Function: type-parameter-p (object)
Package

polymorphic-functions.

Source

types.lisp.

Reader: type-parameter-run-time-deparameterizer-lambda-body (instance)
Writer: (setf type-parameter-run-time-deparameterizer-lambda-body) (instance)
Package

polymorphic-functions.

Source

types.lisp.

Target Slot

run-time-deparameterizer-lambda-body.

Function: type-parameters-from-parametric-type (parametric-type-spec)

Returns a list oF TYPE-PARAMETERS

Package

polymorphic-functions.

Source

parametric-types.lisp.

Function: typed-lambda-list-p (lambda-list)
Package

polymorphic-functions.

Source

types.lisp.

Function: typexpand (type-specifier &optional env)
Package

polymorphic-functions.

Source

package.lisp.

Function: untyped-lambda-list (normalized-typed-lambda-list)
Package

polymorphic-functions.

Source

parameters.lisp.

Function: untyped-lambda-list-p (lambda-list)
Package

polymorphic-functions.

Source

types.lisp.

Function: update-polymorphic-function-documentation (name)
Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Function: update-polymorphic-function-lambda (polymorphic-function &optional invalidate)
Package

polymorphic-functions.

Source

polymorphic-function.lisp.

Function: valid-parameter-name-p (name)
Package

polymorphic-functions.

Source

base.lisp.


6.2.6 Generic functions

Generic Function: %lambda-list-type (potential-lambda-list-type lambda-list)

Checks whether LAMBDA-LIST is of type POTENTIAL-LAMBDA-LIST-TYPE

Package

polymorphic-functions.

Source

base.lisp.

Methods
Method: %lambda-list-type ((type (eql rest)) (lambda-list list))
Source

rest.lisp.

Method: %lambda-list-type ((type (eql polymorphic-functions::required-key)) (lambda-list list))
Source

required-key.lisp.

Method: %lambda-list-type ((type (eql polymorphic-functions::required-optional)) (lambda-list list))
Source

required-optional.lisp.

Method: %lambda-list-type ((type (eql polymorphic-functions::required)) (lambda-list list))
Source

required.lisp.

Method: %lambda-list-type (type lambda-list)
Generic Function: %sbcl-transform-arg-lvars-from-lambda-list-form (potential-lambda-list-type lambda-list)

Returns a FORM that can process the parameters of SB-C:DEFTRANSFORM to form an argument lvar alist list suitable for further processing.

Package

polymorphic-functions.

Source

base.lisp.

Methods
Method: %sbcl-transform-arg-lvars-from-lambda-list-form ((type (eql rest)) (untyped-lambda-list list))
Source

rest.lisp.

Method: %sbcl-transform-arg-lvars-from-lambda-list-form ((type (eql polymorphic-functions::required-key)) (untyped-lambda-list list))
Source

required-key.lisp.

Method: %sbcl-transform-arg-lvars-from-lambda-list-form ((type (eql polymorphic-functions::required-optional)) (untyped-lambda-list list))
Source

required-optional.lisp.

Method: %sbcl-transform-arg-lvars-from-lambda-list-form ((type (eql polymorphic-functions::required)) (untyped-lambda-list list))
Source

required.lisp.

Method: %sbcl-transform-arg-lvars-from-lambda-list-form (type lambda-list)
Generic Function: %type-list-compatible-p (potential-lambda-list-type type-list untyped-lambda-list)
Package

polymorphic-functions.

Source

base.lisp.

Methods
Method: %type-list-compatible-p ((type (eql rest)) (type-list list) (untyped-lambda-list list))
Source

rest.lisp.

Method: %type-list-compatible-p ((type (eql polymorphic-functions::required-key)) (type-list list) (untyped-lambda-list list))
Source

required-key.lisp.

Method: %type-list-compatible-p ((type (eql polymorphic-functions::required-optional)) (type-list list) (untyped-lambda-list list))
Source

required-optional.lisp.

Method: %type-list-compatible-p ((type (eql polymorphic-functions::required)) (type-list list) (untyped-lambda-list list))
Source

required.lisp.

Method: %type-list-compatible-p (type type-list untyped-lambda-list)
Generic Function: %type-list-intersection-null-p (type-1 type-2 type-list-1 type-list-2)

Returns T if there exist argument lists that are compatible with both TYPE-LIST-1 and TYPE-LIST-2

Package

polymorphic-functions.

Source

base.lisp.

Methods
Method: %type-list-intersection-null-p ((type-1 (eql polymorphic-functions::required-key)) (type-2 (eql polymorphic-functions::required)) list-1 list-2)
Source

rest.lisp.

Method: %type-list-intersection-null-p ((type-1 (eql polymorphic-functions::required-key)) (type-2 (eql rest)) list-1 list-2)
Source

rest.lisp.

Method: %type-list-intersection-null-p ((type-1 (eql polymorphic-functions::required)) (type-2 (eql rest)) list-1 list-2)
Source

rest.lisp.

Method: %type-list-intersection-null-p ((type-1 (eql polymorphic-functions::required)) (type-2 (eql polymorphic-functions::required-key)) list-1 list-2)
Source

rest.lisp.

Method: %type-list-intersection-null-p ((type-1 (eql rest)) (type-2 (eql polymorphic-functions::required-key)) list-1 list-2)
Source

rest.lisp.

Method: %type-list-intersection-null-p ((type-1 (eql rest)) (type-2 (eql polymorphic-functions::required)) list-1 list-2)
Source

rest.lisp.

Method: %type-list-intersection-null-p ((type-1 (eql rest)) (type-2 (eql rest)) list-1 list-2)
Source

rest.lisp.

Method: %type-list-intersection-null-p ((type-1 (eql polymorphic-functions::required-key)) (type-2 (eql polymorphic-functions::required-key)) list-1 list-2)
Source

required-key.lisp.

Method: %type-list-intersection-null-p ((type-1 (eql polymorphic-functions::required-optional)) (type-2 (eql polymorphic-functions::required-optional)) list-1 list-2)
Source

required-optional.lisp.

Method: %type-list-intersection-null-p ((type-1 (eql polymorphic-functions::required)) (type-2 (eql polymorphic-functions::required)) list-1 list-2)
Source

required.lisp.

Generic Function: %type-list-more-specific-p (type-1 type-2 type-list-1 type-list-2)

Returns T if TYPE-LIST-1 is more specialized than TYPE-LIST-2

Package

polymorphic-functions.

Source

base.lisp.

Methods
Method: %type-list-more-specific-p ((type-1 (eql polymorphic-functions::required)) (type-2 (eql polymorphic-functions::required-key)) list-1 list-2)
Source

rest.lisp.

Method: %type-list-more-specific-p ((type-1 (eql polymorphic-functions::required-key)) (type-2 (eql polymorphic-functions::required)) list-1 list-2)
Source

rest.lisp.

Method: %type-list-more-specific-p ((type-1 (eql polymorphic-functions::required-key)) (type-2 (eql rest)) list-1 list-2)
Source

rest.lisp.

Method: %type-list-more-specific-p ((type-1 (eql rest)) (type-2 (eql polymorphic-functions::required-key)) list-1 list-2)
Source

rest.lisp.

Method: %type-list-more-specific-p ((type-1 (eql polymorphic-functions::required)) (type-2 (eql rest)) list-1 list-2)
Source

rest.lisp.

Method: %type-list-more-specific-p ((type-1 (eql rest)) (type-2 (eql polymorphic-functions::required)) list-1 list-2)
Source

rest.lisp.

Method: %type-list-more-specific-p ((type-1 (eql rest)) (type-2 (eql rest)) list-1 list-2)
Source

rest.lisp.

Method: %type-list-more-specific-p ((type-1 (eql polymorphic-functions::required-key)) (type-2 (eql polymorphic-functions::required-key)) list-1 list-2)
Source

required-key.lisp.

Method: %type-list-more-specific-p ((type-1 (eql polymorphic-functions::required-optional)) (type-2 (eql polymorphic-functions::required-optional)) list-1 list-2)
Source

required-optional.lisp.

Method: %type-list-more-specific-p ((type-1 (eql polymorphic-functions::required)) (type-2 (eql polymorphic-functions::required)) list-1 list-2)
Source

required.lisp.

Generic Reader: arg-types (condition)
Package

polymorphic-functions.

Methods
Reader Method: arg-types ((condition no-applicable-polymorph))
Source

conditions.lisp.

Target Slot

arg-types.

Generic Reader: args (condition)
Package

polymorphic-functions.

Methods
Reader Method: args ((condition no-applicable-polymorph))
Source

conditions.lisp.

Target Slot

args.

Generic Function: compute-polymorphic-function-lambda-body (lambda-list-type effective-untyped-lambda-list &optional invalidated-p)

Processes LAMBDA-LIST to return the body for the lambda constructed in UPDATE-POLYMORPHIC-FUNCTION-LAMBDA.
Raises an error if %LAMBDA-LIST-TYPE fails on *POTENTIAL-TYPE*.
If INVALIDATED-P is non-NIL, then emits a dummy body that will first call UPDATE-POLYMORPHIC-FUNCTION-LAMBDA with INVALIDATE as NIL, and then recall the function. Can contain CTYPE::CTYPE objects that are not expected dumped.

Package

polymorphic-functions.

Source

base.lisp.

Methods
Method: compute-polymorphic-function-lambda-body ((type (eql rest)) (untyped-lambda-list list) &optional invalidated-p)
Source

rest.lisp.

Method: compute-polymorphic-function-lambda-body ((type (eql polymorphic-functions::required-key)) (untyped-lambda-list list) &optional invalidated-p)
Source

required-key.lisp.

Method: compute-polymorphic-function-lambda-body ((type (eql polymorphic-functions::required-optional)) (effective-lambda-list list) &optional invalidated-p)
Source

required-optional.lisp.

Method: compute-polymorphic-function-lambda-body ((type (eql polymorphic-functions::required)) (untyped-lambda-list list) &optional invalidated-p)
Source

required.lisp.

Generic Reader: condition-datum (condition)
Package

polymorphic-functions.

Methods
Reader Method: condition-datum ((condition defpolymorph-note))
Source

conditions.lisp.

Target Slot

datum.

Generic Reader: csubtypep-type (object)
Package

polymorphic-functions.extended-types.

Methods
Reader Method: csubtypep-type ((csubtypep csubtypep))

automatically generated reader method

Source

subtypep.lisp.

Target Slot

%type.

Generic Reader: csupertypep-type (object)
Package

polymorphic-functions.extended-types.

Methods
Reader Method: csupertypep-type ((csupertypep csupertypep))

automatically generated reader method

Source

supertypep.lisp.

Target Slot

%type.

Generic Reader: ctype=-type (object)
Package

polymorphic-functions.extended-types.

Methods
Reader Method: ctype=-type ((ctype= ctype=))

automatically generated reader method

Source

type=.lisp.

Target Slot

%type.

Generic Reader: effective-type-lists (condition)
Package

polymorphic-functions.

Methods
Reader Method: effective-type-lists ((condition no-applicable-polymorph))
Source

conditions.lisp.

Target Slot

effective-type-lists.

Generic Reader: form (condition)
Package

polymorphic-functions.

Methods
Reader Method: form ((condition form-type-failure))
Source

conditions.lisp.

Target Slot

form.

Generic Reader: more-optimal-type-list (condition)
Package

polymorphic-functions.

Methods
Reader Method: more-optimal-type-list ((condition more-optimal-polymorph-inapplicable))
Source

conditions.lisp.

Target Slot

more-optimal-type-list.

Generic Reader: name (condition)
Package

polymorphic-functions.

Methods
Reader Method: name ((condition polymorph-has-no-inline-lambda-body))
Source

conditions.lisp.

Target Slot

name.

Reader Method: name ((condition no-applicable-polymorph))
Source

conditions.lisp.

Target Slot

name.

Reader Method: name ((condition not-a-ahp))
Source

conditions.lisp.

Target Slot

name.

Reader Method: name ((condition lambda-list-has-changed))
Source

conditions.lisp.

Target Slot

name.

Generic Reader: new-lambda-list (condition)
Package

polymorphic-functions.

Methods
Reader Method: new-lambda-list ((condition lambda-list-has-changed))
Source

conditions.lisp.

Target Slot

new-lambda-list.

Generic Reader: polymorphic-function-default (object)
Package

polymorphic-functions.

Methods
Reader Method: polymorphic-function-default ((polymorphic-function polymorphic-function))

automatically generated reader method

Source

types.lisp.

Target Slot

default.

Generic Reader: polymorphic-function-documentation (object)
Package

polymorphic-functions.

Methods
Reader Method: polymorphic-function-documentation ((polymorphic-function polymorphic-function))

automatically generated reader method

Source

types.lisp.

Target Slot

documentation.

Generic Writer: (setf polymorphic-function-documentation) (object)
Package

polymorphic-functions.

Methods
Writer Method: (setf polymorphic-function-documentation) ((polymorphic-function polymorphic-function))

automatically generated writer method

Source

types.lisp.

Target Slot

documentation.

Generic Reader: polymorphic-function-effective-lambda-list (object)
Package

polymorphic-functions.

Methods
Reader Method: polymorphic-function-effective-lambda-list ((polymorphic-function polymorphic-function))

automatically generated reader method

Source

types.lisp.

Target Slot

effective-lambda-list.

Generic Reader: polymorphic-function-invalidated-p (object)
Package

polymorphic-functions.

Methods
Reader Method: polymorphic-function-invalidated-p ((polymorphic-function polymorphic-function))

automatically generated reader method

Source

types.lisp.

Target Slot

invalidated-p.

Generic Writer: (setf polymorphic-function-invalidated-p) (object)
Package

polymorphic-functions.

Methods
Writer Method: (setf polymorphic-function-invalidated-p) ((polymorphic-function polymorphic-function))

automatically generated writer method

Source

types.lisp.

Target Slot

invalidated-p.

Generic Reader: polymorphic-function-lambda-list (object)
Package

polymorphic-functions.

Methods
Reader Method: polymorphic-function-lambda-list ((polymorphic-function polymorphic-function))

automatically generated reader method

Source

types.lisp.

Target Slot

lambda-list.

Generic Reader: polymorphic-function-lambda-list-type (object)
Package

polymorphic-functions.

Methods
Reader Method: polymorphic-function-lambda-list-type ((polymorphic-function polymorphic-function))

automatically generated reader method

Source

types.lisp.

Target Slot

lambda-list-type.

Generic Reader: polymorphic-function-name (object)
Package

polymorphic-functions.

Methods
Reader Method: polymorphic-function-name ((polymorphic-function polymorphic-function))

automatically generated reader method

Source

types.lisp.

Target Slot

name.

Generic Reader: polymorphic-function-polymorphs (object)
Package

polymorphic-functions.

Methods
Reader Method: polymorphic-function-polymorphs ((polymorphic-function polymorphic-function))

automatically generated reader method

Source

types.lisp.

Target Slot

polymorphs.

Generic Writer: (setf polymorphic-function-polymorphs) (object)
Package

polymorphic-functions.

Methods
Writer Method: (setf polymorphic-function-polymorphs) ((polymorphic-function polymorphic-function))

automatically generated writer method

Source

types.lisp.

Target Slot

polymorphs.

Generic Reader: polymorphic-function-source (object)
Package

polymorphic-functions.

Methods
Reader Method: polymorphic-function-source ((polymorphic-function polymorphic-function))

automatically generated reader method

Source

types.lisp.

Target Slot

source.

Generic Reader: type-list (condition)
Package

polymorphic-functions.

Methods
Reader Method: type-list ((condition suboptimal-polymorph-note))
Source

conditions.lisp.

Target Slot

type-list.

Reader Method: type-list ((condition polymorph-has-no-inline-lambda-body))
Source

conditions.lisp.

Target Slot

type-list.

Generic Function: upgraded-extended-type (type-car)

Used within POLYMORPHIC-FUNCTIONS to prepare a (CL:DECLARE (CL:TYPE ...)) statement for further type-based optimization by the compiler. This is similar to CL:UPGRADED-ARRAY-ELEMENT-TYPE.

Package

polymorphic-functions.extended-types.

Source

core.lisp.

Methods
Method: upgraded-extended-type ((type-car (eql polymorphic-functions.extended-types:subtypep)))
Source

subtypep.lisp.

Method: upgraded-extended-type ((type-car (eql polymorphic-functions.extended-types:type=)))
Source

type=.lisp.

Method: upgraded-extended-type ((type-car (eql polymorphic-functions.extended-types:supertypep)))
Source

supertypep.lisp.

Method: upgraded-extended-type ((type-car (eql polymorphic-functions::type-like)))

6.2.7 Standalone methods

Reader Method: gf-lock ((polymorphic-function polymorphic-function))

automatically generated reader method

Package

sb-pcl.

Source

types.lisp.

Target Slot

%lock.


6.2.8 Conditions

Condition: defpolymorph-note
Package

polymorphic-functions.

Source

conditions.lisp.

Direct superclasses

note.

Direct methods

condition-datum.

Direct slots
Slot: datum
Initargs

:datum

Readers

condition-datum.

Writers

This slot is read-only.

Condition: form-type-failure
Package

polymorphic-functions.

Source

conditions.lisp.

Direct superclasses

optimization-failure-note.

Direct methods

form.

Direct slots
Slot: form
Initform

(quote (error "form not specified"))

Initargs

:form

Readers

form.

Writers

This slot is read-only.

Condition: lambda-list-has-changed
Package

polymorphic-functions.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods
Direct slots
Slot: name
Initform

(quote (error "name must be supplied!"))

Initargs

:name

Readers

name.

Writers

This slot is read-only.

Slot: new-lambda-list
Initform

(quote (error "new lambda list must be supplied!"))

Initargs

:new-lambda-list

Readers

new-lambda-list.

Writers

This slot is read-only.

Condition: no-applicable-polymorph/compiler-note
Package

polymorphic-functions.

Source

conditions.lisp.

Direct superclasses
Condition: no-applicable-polymorph/error
Package

polymorphic-functions.

Source

conditions.lisp.

Direct superclasses
Condition: not-a-ahp
Package

polymorphic-functions.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

name.

Direct slots
Slot: name
Initform

(quote (error "name must be supplied!"))

Initargs

:name

Readers

name.

Writers

This slot is read-only.

Condition: polymorph-has-no-inline-lambda-body
Package

polymorphic-functions.

Source

conditions.lisp.

Direct superclasses

optimization-failure-note.

Direct methods
Direct slots
Slot: name
Initform

(quote (error "name not specified"))

Initargs

:name

Readers

name.

Writers

This slot is read-only.

Slot: type-list
Initform

(quote (error "type-list not specified"))

Initargs

:type-list

Readers

type-list.

Writers

This slot is read-only.

Condition: return-type-count-mismatch
Package

polymorphic-functions.

Source

ensure-type-form.lisp.

Direct superclasses

condition.

Direct subclasses

return-type-count-mismatch/warning.

Direct slots
Slot: min
Package

common-lisp.

Initargs

:min

Slot: max
Package

common-lisp.

Initargs

:max

Slot: actual
Initargs

:actual

Condition: return-type-count-mismatch/warning
Package

polymorphic-functions.

Source

ensure-type-form.lisp.

Direct superclasses
Condition: return-type-mismatch
Package

polymorphic-functions.

Source

ensure-type-form.lisp.

Direct superclasses

condition.

Direct subclasses
Direct slots
Slot: actual
Initargs

:actual

Slot: index
Initargs

:index

Condition: return-type-mismatch/error
Package

polymorphic-functions.

Source

ensure-type-form.lisp.

Direct superclasses
Direct slots
Slot: expected
Initargs

:expected

Condition: return-type-mismatch/warning
Package

polymorphic-functions.

Source

ensure-type-form.lisp.

Direct superclasses
Direct slots
Slot: declared
Initargs

:declared

Condition: subtypep-not-known
Package

polymorphic-functions.

Source

core.lisp.

Direct superclasses

condition.

Direct slots
Slot: type1
Initargs

:type1

Slot: type2
Initargs

:type2


6.2.9 Structures

Structure: polymorph-parameter

LOCAL-NAME : Name inside the body of the polymorph
FORM-IN-PF : The form which yields the parameter’s value inside the lexical environment of the polymorphic-function

Note: Only LOCAL-NAME and FORM-IN-PF are relevant for &REST parameter

Package

polymorphic-functions.

Source

types.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: local-name
Readers

pp-local-name.

Writers

(setf pp-local-name).

Slot: form-in-pf
Readers

pp-form-in-pf.

Writers

(setf pp-form-in-pf).

Slot: value-type
Readers

pp-value-type.

Writers

(setf pp-value-type).

Slot: default-value-form
Readers

pp-default-value-form.

Writers

(setf pp-default-value-form).

Slot: supplied-p-name
Readers

pp-supplied-p-name.

Writers

(setf pp-supplied-p-name).

Slot: type-parameters
Readers

pp-type-parameters.

Writers

(setf pp-type-parameters).

Slot: value-effective-type
Readers

pp-value-effective-type.

Writers

(setf pp-value-effective-type).

Structure: polymorph-parameters
Package

polymorphic-functions.

Source

types.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: required
Readers

polymorph-parameters-required.

Writers

(setf polymorph-parameters-required).

Slot: optional
Readers

polymorph-parameters-optional.

Writers

(setf polymorph-parameters-optional).

Slot: rest
Package

common-lisp.

Readers

polymorph-parameters-rest.

Writers

(setf polymorph-parameters-rest).

Slot: keyword
Package

common-lisp.

Readers

polymorph-parameters-keyword.

Writers

(setf polymorph-parameters-keyword).

Slot: min-args
Readers

polymorph-parameters-min-args.

Writers

(setf polymorph-parameters-min-args).

Slot: max-args
Readers

polymorph-parameters-max-args.

Writers

(setf polymorph-parameters-max-args).

Slot: validator-form
Readers

polymorph-parameters-validator-form.

Writers

(setf polymorph-parameters-validator-form).

Structure: type-parameter

RUN-TIME-DEPARAMETERIZERS-LAMBDA-BODY :
A lambda *expression*, which when compiled produces a one argument function. The function is called at run-time with the value bound to the parameter (not type-parameter) to obtain the value of the TYPE-PARAMETER. COMPILE-TIME-DEPARAMETERIZER-LAMBDA-BODY :
A lambda *expression*, which when compiled produces a one argument function. The function is called at compile-time with the type of the value bound
to the parameter (not type-parameter) to obtain the value of the TYPE-PARAMETER.

Package

polymorphic-functions.

Source

types.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: name
Readers

type-parameter-name.

Writers

(setf type-parameter-name).

Slot: run-time-deparameterizer-lambda-body
Readers

type-parameter-run-time-deparameterizer-lambda-body.

Writers

(setf type-parameter-run-time-deparameterizer-lambda-body).

Slot: compile-time-deparameterizer-lambda
Readers

type-parameter-compile-time-deparameterizer-lambda.

Writers

(setf type-parameter-compile-time-deparameterizer-lambda).

Slot: compile-time-deparameterizer-lambda-body
Readers

type-parameter-compile-time-deparameterizer-lambda-body.

Writers

(setf type-parameter-compile-time-deparameterizer-lambda-body).


6.2.10 Classes

Class: csubtypep
Package

polymorphic-functions.extended-types.

Source

subtypep.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %type
Type

ctype:ctype

Initargs

:type

Readers

csubtypep-type.

Writers

This slot is read-only.

Class: csupertypep
Package

polymorphic-functions.extended-types.

Source

supertypep.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %type
Type

ctype:ctype

Initargs

:type

Readers

csupertypep-type.

Writers

This slot is read-only.

Class: ctype=
Package

polymorphic-functions.extended-types.

Source

type=.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %type
Type

ctype:ctype

Initargs

:type

Readers

ctype=-type.

Writers

This slot is read-only.


6.2.11 Types

Type: extended-type-specifier ()

These type specifiers are implemented using CTYPE and are a tree containing a list starting with an element in *EXTENDED-TYPE-SPECIFIERS*

Package

polymorphic-functions.

Source

core.lisp.

Type: function-name ()

Ref: http://www.lispworks.com/documentation/HyperSpec/Body/26_glo_f.htm#function_name

Package

polymorphic-functions.

Source

package.lisp.

Type: lambda-list-type ()
Package

polymorphic-functions.

Source

types.lisp.

Type: parametric-type-specifier ()
Package

polymorphic-functions.

Source

parametric-types.lisp.

Type: type-list ()
Package

polymorphic-functions.

Source

types.lisp.

Type: typed-lambda-list ()

Examples:
((a integer) (b integer))
((a integer) &optional ((b integer) 0 b-supplied-p))

Package

polymorphic-functions.

Source

types.lisp.

Type: untyped-lambda-list ()

Examples:
(a b)
(a b &optional c) Non-examples: ((a string))

Package

polymorphic-functions.

Source

types.lisp.


Appendix A Indexes


A.1 Concepts


A.2 Functions

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

%
%deparameterize-type: Public generic functions
%deparameterize-type: Public generic functions
%deparameterize-type: Public generic functions
%deparameterize-type: Public generic functions
%deparameterize-type: Public generic functions
%deparameterize-type: Public generic functions
%deparameterize-type: Public generic functions
%deparameterize-type: Public generic functions
%lambda-list-type: Private generic functions
%lambda-list-type: Private generic functions
%lambda-list-type: Private generic functions
%lambda-list-type: Private generic functions
%lambda-list-type: Private generic functions
%lambda-list-type: Private generic functions
%sbcl-transform-arg-lvars-from-lambda-list-form: Private generic functions
%sbcl-transform-arg-lvars-from-lambda-list-form: Private generic functions
%sbcl-transform-arg-lvars-from-lambda-list-form: Private generic functions
%sbcl-transform-arg-lvars-from-lambda-list-form: Private generic functions
%sbcl-transform-arg-lvars-from-lambda-list-form: Private generic functions
%sbcl-transform-arg-lvars-from-lambda-list-form: Private generic functions
%type-list-compatible-p: Private generic functions
%type-list-compatible-p: Private generic functions
%type-list-compatible-p: Private generic functions
%type-list-compatible-p: Private generic functions
%type-list-compatible-p: Private generic functions
%type-list-compatible-p: Private generic functions
%type-list-intersection-null-p: Private generic functions
%type-list-intersection-null-p: Private generic functions
%type-list-intersection-null-p: Private generic functions
%type-list-intersection-null-p: Private generic functions
%type-list-intersection-null-p: Private generic functions
%type-list-intersection-null-p: Private generic functions
%type-list-intersection-null-p: Private generic functions
%type-list-intersection-null-p: Private generic functions
%type-list-intersection-null-p: Private generic functions
%type-list-intersection-null-p: Private generic functions
%type-list-intersection-null-p: Private generic functions
%type-list-more-specific-p: Private generic functions
%type-list-more-specific-p: Private generic functions
%type-list-more-specific-p: Private generic functions
%type-list-more-specific-p: Private generic functions
%type-list-more-specific-p: Private generic functions
%type-list-more-specific-p: Private generic functions
%type-list-more-specific-p: Private generic functions
%type-list-more-specific-p: Private generic functions
%type-list-more-specific-p: Private generic functions
%type-list-more-specific-p: Private generic functions
%type-list-more-specific-p: Private generic functions

(
(polymorph⎵specializing-type-of⎵((signed-byte⎵32))): Private ordinary functions
(polymorph⎵specializing-type-of⎵(array)): Private ordinary functions
(polymorph⎵specializing-type-of⎵(fixnum)): Private ordinary functions
(polymorph⎵specializing-type-of⎵(simple-array)): Private ordinary functions
(polymorph⎵specializing-type-of⎵(t)): Private ordinary functions
(setf polymorph-compiler-applicable-p-lambda): Private ordinary functions
(setf polymorph-compiler-macro-lambda): Private ordinary functions
(setf polymorph-compiler-macro-source): Private ordinary functions
(setf polymorph-documentation): Private ordinary functions
(setf polymorph-effective-type-list): Private ordinary functions
(setf polymorph-inline-lambda-body): Private ordinary functions
(setf polymorph-inline-p): Private ordinary functions
(setf polymorph-lambda-list-type): Private ordinary functions
(setf polymorph-more-optimal-type-list): Private ordinary functions
(setf polymorph-name): Private ordinary functions
(setf polymorph-parameters): Private ordinary functions
(setf polymorph-parameters-keyword): Private ordinary functions
(setf polymorph-parameters-max-args): Private ordinary functions
(setf polymorph-parameters-min-args): Private ordinary functions
(setf polymorph-parameters-optional): Private ordinary functions
(setf polymorph-parameters-required): Private ordinary functions
(setf polymorph-parameters-rest): Private ordinary functions
(setf polymorph-parameters-validator-form): Private ordinary functions
(setf polymorph-return-type): Private ordinary functions
(setf polymorph-runtime-applicable-p-form): Private ordinary functions
(setf polymorph-source): Private ordinary functions
(setf polymorph-static-dispatch-name): Private ordinary functions
(setf polymorph-suboptimal-note): Private ordinary functions
(setf polymorph-type-list): Private ordinary functions
(setf polymorph-typed-lambda-list): Private ordinary functions
(setf polymorphic-function-documentation): Private generic functions
(setf polymorphic-function-documentation): Private generic functions
(setf polymorphic-function-invalidated-p): Private generic functions
(setf polymorphic-function-invalidated-p): Private generic functions
(setf polymorphic-function-polymorphs): Private generic functions
(setf polymorphic-function-polymorphs): Private generic functions
(setf pp-default-value-form): Private ordinary functions
(setf pp-form-in-pf): Private ordinary functions
(setf pp-local-name): Private ordinary functions
(setf pp-supplied-p-name): Private ordinary functions
(setf pp-type-parameters): Private ordinary functions
(setf pp-value-effective-type): Private ordinary functions
(setf pp-value-type): Private ordinary functions
(setf type-parameter-compile-time-deparameterizer-lambda): Private ordinary functions
(setf type-parameter-compile-time-deparameterizer-lambda-body): Private ordinary functions
(setf type-parameter-name): Private ordinary functions
(setf type-parameter-run-time-deparameterizer-lambda-body): Private ordinary functions

A
accepts-argument-of-type-p: Private ordinary functions
add-or-update-polymorph: Private ordinary functions
add-specialization: Private ordinary functions
arg-types: Private generic functions
arg-types: Private generic functions
args: Private generic functions
args: Private generic functions
array-type-dimensions: Private ordinary functions
array-type-element-type: Private ordinary functions
array-type-rank: Private ordinary functions

B
blockify-name: Private ordinary functions

C
catch-condition: Private macros
cl-type-specifier-p: Public ordinary functions
Compiler Macro, subtypep: Public compiler macros
Compiler Macro, supertypep: Public compiler macros
Compiler Macro, typep: Public compiler macros
compiler-applicable-p-lambda-body: Private ordinary functions
compiler-retrieve-polymorph: Private ordinary functions
compute-polymorphic-function-lambda-body: Private generic functions
compute-polymorphic-function-lambda-body: Private generic functions
compute-polymorphic-function-lambda-body: Private generic functions
compute-polymorphic-function-lambda-body: Private generic functions
compute-polymorphic-function-lambda-body: Private generic functions
condition-datum: Private generic functions
condition-datum: Private generic functions
conjoin/2: Public standalone methods
conjoin/2: Public standalone methods
copy-polymorph: Private ordinary functions
copy-polymorph-parameter: Private ordinary functions
copy-polymorph-parameters: Private ordinary functions
copy-type-parameter: Private ordinary functions
csubtypep: Private ordinary functions
csubtypep-type: Private generic functions
csubtypep-type: Private generic functions
csupertypep: Private ordinary functions
csupertypep-type: Private generic functions
csupertypep-type: Private generic functions
ctype=: Public standalone methods
ctype=: Public standalone methods
ctype=: Public standalone methods
ctype=: Private ordinary functions
ctype=-type: Private generic functions
ctype=-type: Private generic functions
ctypep: Public standalone methods
ctypep: Public standalone methods
ctypep: Public standalone methods

D
define-compiled-function: Private macros
define-lambda-list-helper: Private macros
define-polymorphic-function: Public macros
definitive-intersection-null-p: Private ordinary functions
definitive-subtypep: Public ordinary functions
defpackage: Public macros
defpolymorph: Public macros
defpolymorph-compiler-macro: Public macros
deparameterize-type: Private ordinary functions

E
effective-type-lists: Private generic functions
effective-type-lists: Private generic functions
enhanced-lambda-declarations: Private ordinary functions
ensure-type-form: Private ordinary functions
ensure-unambiguous-call: Private ordinary functions
extended-subtypep: Private ordinary functions
extended-type-list-p: Private ordinary functions
extended-type-specifier-p: Public ordinary functions
extract-declarations: Private ordinary functions

F
find-polymorph: Public ordinary functions
form: Private generic functions
form: Private generic functions
form-type: Private ordinary functions
ftype-for-static-dispatch: Private ordinary functions
Function, (polymorph⎵specializing-type-of⎵((signed-byte⎵32))): Private ordinary functions
Function, (polymorph⎵specializing-type-of⎵(array)): Private ordinary functions
Function, (polymorph⎵specializing-type-of⎵(fixnum)): Private ordinary functions
Function, (polymorph⎵specializing-type-of⎵(simple-array)): Private ordinary functions
Function, (polymorph⎵specializing-type-of⎵(t)): Private ordinary functions
Function, (setf polymorph-compiler-applicable-p-lambda): Private ordinary functions
Function, (setf polymorph-compiler-macro-lambda): Private ordinary functions
Function, (setf polymorph-compiler-macro-source): Private ordinary functions
Function, (setf polymorph-documentation): Private ordinary functions
Function, (setf polymorph-effective-type-list): Private ordinary functions
Function, (setf polymorph-inline-lambda-body): Private ordinary functions
Function, (setf polymorph-inline-p): Private ordinary functions
Function, (setf polymorph-lambda-list-type): Private ordinary functions
Function, (setf polymorph-more-optimal-type-list): Private ordinary functions
Function, (setf polymorph-name): Private ordinary functions
Function, (setf polymorph-parameters): Private ordinary functions
Function, (setf polymorph-parameters-keyword): Private ordinary functions
Function, (setf polymorph-parameters-max-args): Private ordinary functions
Function, (setf polymorph-parameters-min-args): Private ordinary functions
Function, (setf polymorph-parameters-optional): Private ordinary functions
Function, (setf polymorph-parameters-required): Private ordinary functions
Function, (setf polymorph-parameters-rest): Private ordinary functions
Function, (setf polymorph-parameters-validator-form): Private ordinary functions
Function, (setf polymorph-return-type): Private ordinary functions
Function, (setf polymorph-runtime-applicable-p-form): Private ordinary functions
Function, (setf polymorph-source): Private ordinary functions
Function, (setf polymorph-static-dispatch-name): Private ordinary functions
Function, (setf polymorph-suboptimal-note): Private ordinary functions
Function, (setf polymorph-type-list): Private ordinary functions
Function, (setf polymorph-typed-lambda-list): Private ordinary functions
Function, (setf pp-default-value-form): Private ordinary functions
Function, (setf pp-form-in-pf): Private ordinary functions
Function, (setf pp-local-name): Private ordinary functions
Function, (setf pp-supplied-p-name): Private ordinary functions
Function, (setf pp-type-parameters): Private ordinary functions
Function, (setf pp-value-effective-type): Private ordinary functions
Function, (setf pp-value-type): Private ordinary functions
Function, (setf type-parameter-compile-time-deparameterizer-lambda): Private ordinary functions
Function, (setf type-parameter-compile-time-deparameterizer-lambda-body): Private ordinary functions
Function, (setf type-parameter-name): Private ordinary functions
Function, (setf type-parameter-run-time-deparameterizer-lambda-body): Private ordinary functions
Function, accepts-argument-of-type-p: Private ordinary functions
Function, add-or-update-polymorph: Private ordinary functions
Function, add-specialization: Private ordinary functions
Function, array-type-dimensions: Private ordinary functions
Function, array-type-element-type: Private ordinary functions
Function, array-type-rank: Private ordinary functions
Function, blockify-name: Private ordinary functions
Function, cl-type-specifier-p: Public ordinary functions
Function, compiler-applicable-p-lambda-body: Private ordinary functions
Function, compiler-retrieve-polymorph: Private ordinary functions
Function, copy-polymorph: Private ordinary functions
Function, copy-polymorph-parameter: Private ordinary functions
Function, copy-polymorph-parameters: Private ordinary functions
Function, copy-type-parameter: Private ordinary functions
Function, csubtypep: Private ordinary functions
Function, csupertypep: Private ordinary functions
Function, ctype=: Private ordinary functions
Function, definitive-intersection-null-p: Private ordinary functions
Function, definitive-subtypep: Public ordinary functions
Function, deparameterize-type: Private ordinary functions
Function, enhanced-lambda-declarations: Private ordinary functions
Function, ensure-type-form: Private ordinary functions
Function, ensure-unambiguous-call: Private ordinary functions
Function, extended-subtypep: Private ordinary functions
Function, extended-type-list-p: Private ordinary functions
Function, extended-type-specifier-p: Public ordinary functions
Function, extract-declarations: Private ordinary functions
Function, find-polymorph: Public ordinary functions
Function, form-type: Private ordinary functions
Function, ftype-for-static-dispatch: Private ordinary functions
Function, invalidate-polymorphic-function-lambda: Private ordinary functions
Function, lambda-declarations: Private ordinary functions
Function, lambda-list-type: Private ordinary functions
Function, lambda-list-type-p: Private ordinary functions
Function, macroexpand-all: Private ordinary functions
Function, make-polymorph: Private ordinary functions
Function, make-polymorph-parameter: Private ordinary functions
Function, make-polymorph-parameters: Private ordinary functions
Function, make-polymorph-parameters-from-lambda-lists: Private ordinary functions
Function, make-sbcl-transform-body: Private ordinary functions
Function, make-type-parameter: Private ordinary functions
Function, map-polymorph-parameters: Private ordinary functions
Function, most-specialized-applicable-transform-p: Private ordinary functions
Function, no-applicable-polymorph: Public ordinary functions
Function, normalize-typed-lambda-list: Private ordinary functions
Function, normalize-untyped-lambda-list: Private ordinary functions
Function, note-no-inline: Private ordinary functions
Function, note-null-env: Private ordinary functions
Function, nth-form-type: Private ordinary functions
Function, null-env-compilation-warnings: Private ordinary functions
Function, parametric-type-compile-time-lambda-body-for-array: Private ordinary functions
Function, parametric-type-parameters: Private ordinary functions
Function, parametric-type-run-time-lambda-body-for-array: Private ordinary functions
Function, parametric-type-specifier-p: Private ordinary functions
Function, parametric-type-specifiers: Private ordinary functions
Function, parametric-type-specifiers-are-significant-p: Private ordinary functions
Function, parametric-type-symbol-p: Private ordinary functions
Function, pf-compiler-macro: Private ordinary functions
Function, pf-compiler-macro-function: Private ordinary functions
Function, policy-quality: Private ordinary functions
Function, polymorph-apropos-list-type: Public ordinary functions
Function, polymorph-compiler-applicable-p-lambda: Private ordinary functions
Function, polymorph-compiler-macro-lambda: Private ordinary functions
Function, polymorph-compiler-macro-source: Private ordinary functions
Function, polymorph-documentation: Private ordinary functions
Function, polymorph-effective-lambda-list: Private ordinary functions
Function, polymorph-effective-type-list: Private ordinary functions
Function, polymorph-inline-lambda-body: Private ordinary functions
Function, polymorph-inline-p: Private ordinary functions
Function, polymorph-lambda-list-type: Private ordinary functions
Function, polymorph-more-optimal-type-list: Private ordinary functions
Function, polymorph-name: Private ordinary functions
Function, polymorph-p: Private ordinary functions
Function, polymorph-parameter-p: Private ordinary functions
Function, polymorph-parameters: Private ordinary functions
Function, polymorph-parameters-keyword: Private ordinary functions
Function, polymorph-parameters-max-args: Private ordinary functions
Function, polymorph-parameters-min-args: Private ordinary functions
Function, polymorph-parameters-optional: Private ordinary functions
Function, polymorph-parameters-p: Private ordinary functions
Function, polymorph-parameters-required: Private ordinary functions
Function, polymorph-parameters-rest: Private ordinary functions
Function, polymorph-parameters-validator-form: Private ordinary functions
Function, polymorph-return-type: Private ordinary functions
Function, polymorph-runtime-applicable-p-form: Private ordinary functions
Function, polymorph-source: Private ordinary functions
Function, polymorph-static-dispatch-name: Private ordinary functions
Function, polymorph-suboptimal-note: Private ordinary functions
Function, polymorph-type-list: Private ordinary functions
Function, polymorph-typed-lambda-list: Private ordinary functions
Function, polymorphic-function-effective-type-lists: Private ordinary functions
Function, polymorphic-function-make-effective-lambda-list: Private ordinary functions
Function, polymorphic-function-type-lists: Public ordinary functions
Function, potential-type-of-lambda-list: Private ordinary functions
Function, pp-default-value-form: Private ordinary functions
Function, pp-form-in-pf: Private ordinary functions
Function, pp-local-name: Private ordinary functions
Function, pp-supplied-p-name: Private ordinary functions
Function, pp-type-parameters: Private ordinary functions
Function, pp-value-effective-type: Private ordinary functions
Function, pp-value-type: Private ordinary functions
Function, recursive-function-p: Private ordinary functions
Function, register-polymorph: Private ordinary functions
Function, register-polymorph-compiler-macro: Private ordinary functions
Function, register-polymorphic-function: Private ordinary functions
Function, remove-polymorph: Private ordinary functions
Function, retrieve-polymorph-compiler-macro: Private ordinary functions
Function, run-time-applicable-p-form: Private ordinary functions
Function, sbcl-transform-arg-lvars-from-lambda-list-form: Private ordinary functions
Function, setf-function-name-p: Private ordinary functions
Function, simple-deparameterize-type: Private ordinary functions
Function, specializing-type-of: Public compiler macros
Function, subtypep: Public ordinary functions
Function, subtypep-using-subtypep-alist: Private ordinary functions
Function, supertypep: Public ordinary functions
Function, translate-body: Private ordinary functions
Function, traverse-tree: Private ordinary functions
Function, type-list-compatible-p: Private ordinary functions
Function, type-list-intersection-null-p: Private ordinary functions
Function, type-list-more-specific-p: Private ordinary functions
Function, type-list-order-keywords: Private ordinary functions
Function, type-list-p: Private ordinary functions
Function, type-pair-=: Public ordinary functions
Function, type-parameter-compile-time-deparameterizer-lambda: Private ordinary functions
Function, type-parameter-compile-time-deparameterizer-lambda-body: Private ordinary functions
Function, type-parameter-name: Private ordinary functions
Function, type-parameter-p: Private ordinary functions
Function, type-parameter-run-time-deparameterizer-lambda-body: Private ordinary functions
Function, type-parameters-from-parametric-type: Private ordinary functions
Function, type-specifier-p: Public ordinary functions
Function, type=: Public ordinary functions
Function, typed-lambda-list-p: Private ordinary functions
Function, typep: Public ordinary functions
Function, typexpand: Private ordinary functions
Function, undefine-polymorphic-function: Public ordinary functions
Function, undefpolymorph: Public ordinary functions
Function, untyped-lambda-list: Private ordinary functions
Function, untyped-lambda-list-p: Private ordinary functions
Function, update-polymorphic-function-documentation: Private ordinary functions
Function, update-polymorphic-function-lambda: Private ordinary functions
Function, upgrade-extended-type: Public ordinary functions
Function, valid-parameter-name-p: Private ordinary functions

G
Generic Function, %deparameterize-type: Public generic functions
Generic Function, %lambda-list-type: Private generic functions
Generic Function, %sbcl-transform-arg-lvars-from-lambda-list-form: Private generic functions
Generic Function, %type-list-compatible-p: Private generic functions
Generic Function, %type-list-intersection-null-p: Private generic functions
Generic Function, %type-list-more-specific-p: Private generic functions
Generic Function, (setf polymorphic-function-documentation): Private generic functions
Generic Function, (setf polymorphic-function-invalidated-p): Private generic functions
Generic Function, (setf polymorphic-function-polymorphs): Private generic functions
Generic Function, arg-types: Private generic functions
Generic Function, args: Private generic functions
Generic Function, compute-polymorphic-function-lambda-body: Private generic functions
Generic Function, condition-datum: Private generic functions
Generic Function, csubtypep-type: Private generic functions
Generic Function, csupertypep-type: Private generic functions
Generic Function, ctype=-type: Private generic functions
Generic Function, effective-type-lists: Private generic functions
Generic Function, form: Private generic functions
Generic Function, more-optimal-type-list: Private generic functions
Generic Function, name: Private generic functions
Generic Function, new-lambda-list: Private generic functions
Generic Function, parametric-type-compile-time-lambda-body: Public generic functions
Generic Function, parametric-type-run-time-lambda-body: Public generic functions
Generic Function, polymorphic-function-default: Private generic functions
Generic Function, polymorphic-function-documentation: Private generic functions
Generic Function, polymorphic-function-effective-lambda-list: Private generic functions
Generic Function, polymorphic-function-invalidated-p: Private generic functions
Generic Function, polymorphic-function-lambda-list: Private generic functions
Generic Function, polymorphic-function-lambda-list-type: Private generic functions
Generic Function, polymorphic-function-name: Private generic functions
Generic Function, polymorphic-function-polymorphs: Private generic functions
Generic Function, polymorphic-function-source: Private generic functions
Generic Function, type-list: Private generic functions
Generic Function, upgraded-extended-type: Private generic functions
gf-lock: Private standalone methods

I
ignoring-error-output: Private macros
invalidate-polymorphic-function-lambda: Private ordinary functions
is-error: Private macros

L
lambda-declarations: Private ordinary functions
lambda-list-type: Private ordinary functions
lambda-list-type-p: Private ordinary functions
list-named-lambda: Private macros

M
Macro, catch-condition: Private macros
Macro, define-compiled-function: Private macros
Macro, define-lambda-list-helper: Private macros
Macro, define-polymorphic-function: Public macros
Macro, defpackage: Public macros
Macro, defpolymorph: Public macros
Macro, defpolymorph-compiler-macro: Public macros
Macro, ignoring-error-output: Private macros
Macro, is-error: Private macros
Macro, list-named-lambda: Private macros
Macro, pflet: Public macros
Macro, pflet*: Public macros
Macro, specializing: Public macros
Macro, time-it: Private macros
Macro, time-it/normalize: Private macros
Macro, with-muffled-compilation-warnings: Private macros
macroexpand-all: Private ordinary functions
make-polymorph: Private ordinary functions
make-polymorph-parameter: Private ordinary functions
make-polymorph-parameters: Private ordinary functions
make-polymorph-parameters-from-lambda-lists: Private ordinary functions
make-sbcl-transform-body: Private ordinary functions
make-type-parameter: Private ordinary functions
map-polymorph-parameters: Private ordinary functions
Method, %deparameterize-type: Public generic functions
Method, %deparameterize-type: Public generic functions
Method, %deparameterize-type: Public generic functions
Method, %deparameterize-type: Public generic functions
Method, %deparameterize-type: Public generic functions
Method, %deparameterize-type: Public generic functions
Method, %deparameterize-type: Public generic functions
Method, %lambda-list-type: Private generic functions
Method, %lambda-list-type: Private generic functions
Method, %lambda-list-type: Private generic functions
Method, %lambda-list-type: Private generic functions
Method, %lambda-list-type: Private generic functions
Method, %sbcl-transform-arg-lvars-from-lambda-list-form: Private generic functions
Method, %sbcl-transform-arg-lvars-from-lambda-list-form: Private generic functions
Method, %sbcl-transform-arg-lvars-from-lambda-list-form: Private generic functions
Method, %sbcl-transform-arg-lvars-from-lambda-list-form: Private generic functions
Method, %sbcl-transform-arg-lvars-from-lambda-list-form: Private generic functions
Method, %type-list-compatible-p: Private generic functions
Method, %type-list-compatible-p: Private generic functions
Method, %type-list-compatible-p: Private generic functions
Method, %type-list-compatible-p: Private generic functions
Method, %type-list-compatible-p: Private generic functions
Method, %type-list-intersection-null-p: Private generic functions
Method, %type-list-intersection-null-p: Private generic functions
Method, %type-list-intersection-null-p: Private generic functions
Method, %type-list-intersection-null-p: Private generic functions
Method, %type-list-intersection-null-p: Private generic functions
Method, %type-list-intersection-null-p: Private generic functions
Method, %type-list-intersection-null-p: Private generic functions
Method, %type-list-intersection-null-p: Private generic functions
Method, %type-list-intersection-null-p: Private generic functions
Method, %type-list-intersection-null-p: Private generic functions
Method, %type-list-more-specific-p: Private generic functions
Method, %type-list-more-specific-p: Private generic functions
Method, %type-list-more-specific-p: Private generic functions
Method, %type-list-more-specific-p: Private generic functions
Method, %type-list-more-specific-p: Private generic functions
Method, %type-list-more-specific-p: Private generic functions
Method, %type-list-more-specific-p: Private generic functions
Method, %type-list-more-specific-p: Private generic functions
Method, %type-list-more-specific-p: Private generic functions
Method, %type-list-more-specific-p: Private generic functions
Method, (setf polymorphic-function-documentation): Private generic functions
Method, (setf polymorphic-function-invalidated-p): Private generic functions
Method, (setf polymorphic-function-polymorphs): Private generic functions
Method, arg-types: Private generic functions
Method, args: Private generic functions
Method, compute-polymorphic-function-lambda-body: Private generic functions
Method, compute-polymorphic-function-lambda-body: Private generic functions
Method, compute-polymorphic-function-lambda-body: Private generic functions
Method, compute-polymorphic-function-lambda-body: Private generic functions
Method, condition-datum: Private generic functions
Method, conjoin/2: Public standalone methods
Method, conjoin/2: Public standalone methods
Method, csubtypep-type: Private generic functions
Method, csupertypep-type: Private generic functions
Method, ctype=: Public standalone methods
Method, ctype=: Public standalone methods
Method, ctype=: Public standalone methods
Method, ctype=-type: Private generic functions
Method, ctypep: Public standalone methods
Method, ctypep: Public standalone methods
Method, ctypep: Public standalone methods
Method, effective-type-lists: Private generic functions
Method, form: Private generic functions
Method, gf-lock: Private standalone methods
Method, more-optimal-type-list: Private generic functions
Method, name: Private generic functions
Method, name: Private generic functions
Method, name: Private generic functions
Method, name: Private generic functions
Method, new-lambda-list: Private generic functions
Method, parametric-type-compile-time-lambda-body: Public generic functions
Method, parametric-type-compile-time-lambda-body: Public generic functions
Method, parametric-type-run-time-lambda-body: Public generic functions
Method, parametric-type-run-time-lambda-body: Public generic functions
Method, polymorphic-function-default: Private generic functions
Method, polymorphic-function-documentation: Private generic functions
Method, polymorphic-function-effective-lambda-list: Private generic functions
Method, polymorphic-function-invalidated-p: Private generic functions
Method, polymorphic-function-lambda-list: Private generic functions
Method, polymorphic-function-lambda-list-type: Private generic functions
Method, polymorphic-function-name: Private generic functions
Method, polymorphic-function-polymorphs: Private generic functions
Method, polymorphic-function-source: Private generic functions
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, subctypep: Public standalone methods
Method, subctypep: Public standalone methods
Method, subctypep: Public standalone methods
Method, subctypep: Public standalone methods
Method, subctypep: Public standalone methods
Method, subctypep: Public standalone methods
Method, subctypep: Public standalone methods
Method, subctypep: Public standalone methods
Method, subctypep: Public standalone methods
Method, subctypep: Public standalone methods
Method, subctypep: Public standalone methods
Method, subctypep: Public standalone methods
Method, subctypep: Public standalone methods
Method, subctypep: Public standalone methods
Method, type-list: Private generic functions
Method, type-list: Private generic functions
Method, unparse: Public standalone methods
Method, unparse: Public standalone methods
Method, unparse: Public standalone methods
Method, upgraded-extended-type: Private generic functions
Method, upgraded-extended-type: Private generic functions
Method, upgraded-extended-type: Private generic functions
Method, upgraded-extended-type: Private generic functions
more-optimal-type-list: Private generic functions
more-optimal-type-list: Private generic functions
most-specialized-applicable-transform-p: Private ordinary functions

N
name: Private generic functions
name: Private generic functions
name: Private generic functions
name: Private generic functions
name: Private generic functions
new-lambda-list: Private generic functions
new-lambda-list: Private generic functions
no-applicable-polymorph: Public ordinary functions
normalize-typed-lambda-list: Private ordinary functions
normalize-untyped-lambda-list: Private ordinary functions
note-no-inline: Private ordinary functions
note-null-env: Private ordinary functions
nth-form-type: Private ordinary functions
null-env-compilation-warnings: Private ordinary functions

P
parametric-type-compile-time-lambda-body: Public generic functions
parametric-type-compile-time-lambda-body: Public generic functions
parametric-type-compile-time-lambda-body: Public generic functions
parametric-type-compile-time-lambda-body-for-array: Private ordinary functions
parametric-type-parameters: Private ordinary functions
parametric-type-run-time-lambda-body: Public generic functions
parametric-type-run-time-lambda-body: Public generic functions
parametric-type-run-time-lambda-body: Public generic functions
parametric-type-run-time-lambda-body-for-array: Private ordinary functions
parametric-type-specifier-p: Private ordinary functions
parametric-type-specifiers: Private ordinary functions
parametric-type-specifiers-are-significant-p: Private ordinary functions
parametric-type-symbol-p: Private ordinary functions
pf-compiler-macro: Private ordinary functions
pf-compiler-macro-function: Private ordinary functions
pflet: Public macros
pflet*: Public macros
policy-quality: Private ordinary functions
polymorph-apropos-list-type: Public ordinary functions
polymorph-compiler-applicable-p-lambda: Private ordinary functions
polymorph-compiler-macro-lambda: Private ordinary functions
polymorph-compiler-macro-source: Private ordinary functions
polymorph-documentation: Private ordinary functions
polymorph-effective-lambda-list: Private ordinary functions
polymorph-effective-type-list: Private ordinary functions
polymorph-inline-lambda-body: Private ordinary functions
polymorph-inline-p: Private ordinary functions
polymorph-lambda-list-type: Private ordinary functions
polymorph-more-optimal-type-list: Private ordinary functions
polymorph-name: Private ordinary functions
polymorph-p: Private ordinary functions
polymorph-parameter-p: Private ordinary functions
polymorph-parameters: Private ordinary functions
polymorph-parameters-keyword: Private ordinary functions
polymorph-parameters-max-args: Private ordinary functions
polymorph-parameters-min-args: Private ordinary functions
polymorph-parameters-optional: Private ordinary functions
polymorph-parameters-p: Private ordinary functions
polymorph-parameters-required: Private ordinary functions
polymorph-parameters-rest: Private ordinary functions
polymorph-parameters-validator-form: Private ordinary functions
polymorph-return-type: Private ordinary functions
polymorph-runtime-applicable-p-form: Private ordinary functions
polymorph-source: Private ordinary functions
polymorph-static-dispatch-name: Private ordinary functions
polymorph-suboptimal-note: Private ordinary functions
polymorph-type-list: Private ordinary functions
polymorph-typed-lambda-list: Private ordinary functions
polymorphic-function-default: Private generic functions
polymorphic-function-default: Private generic functions
polymorphic-function-documentation: Private generic functions
polymorphic-function-documentation: Private generic functions
polymorphic-function-effective-lambda-list: Private generic functions
polymorphic-function-effective-lambda-list: Private generic functions
polymorphic-function-effective-type-lists: Private ordinary functions
polymorphic-function-invalidated-p: Private generic functions
polymorphic-function-invalidated-p: Private generic functions
polymorphic-function-lambda-list: Private generic functions
polymorphic-function-lambda-list: Private generic functions
polymorphic-function-lambda-list-type: Private generic functions
polymorphic-function-lambda-list-type: Private generic functions
polymorphic-function-make-effective-lambda-list: Private ordinary functions
polymorphic-function-name: Private generic functions
polymorphic-function-name: Private generic functions
polymorphic-function-polymorphs: Private generic functions
polymorphic-function-polymorphs: Private generic functions
polymorphic-function-source: Private generic functions
polymorphic-function-source: Private generic functions
polymorphic-function-type-lists: Public ordinary functions
potential-type-of-lambda-list: Private ordinary functions
pp-default-value-form: Private ordinary functions
pp-form-in-pf: Private ordinary functions
pp-local-name: Private ordinary functions
pp-supplied-p-name: Private ordinary functions
pp-type-parameters: Private ordinary functions
pp-value-effective-type: Private ordinary functions
pp-value-type: Private ordinary functions
print-object: Public standalone methods
print-object: Public standalone methods

R
recursive-function-p: Private ordinary functions
register-polymorph: Private ordinary functions
register-polymorph-compiler-macro: Private ordinary functions
register-polymorphic-function: Private ordinary functions
remove-polymorph: Private ordinary functions
retrieve-polymorph-compiler-macro: Private ordinary functions
run-time-applicable-p-form: Private ordinary functions

S
sbcl-transform-arg-lvars-from-lambda-list-form: Private ordinary functions
setf-function-name-p: Private ordinary functions
simple-deparameterize-type: Private ordinary functions
specializing: Public macros
specializing-type-of: Public compiler macros
subctypep: Public standalone methods
subctypep: Public standalone methods
subctypep: Public standalone methods
subctypep: Public standalone methods
subctypep: Public standalone methods
subctypep: Public standalone methods
subctypep: Public standalone methods
subctypep: Public standalone methods
subctypep: Public standalone methods
subctypep: Public standalone methods
subctypep: Public standalone methods
subctypep: Public standalone methods
subctypep: Public standalone methods
subctypep: Public standalone methods
subtypep: Public compiler macros
subtypep: Public ordinary functions
subtypep-using-subtypep-alist: Private ordinary functions
supertypep: Public compiler macros
supertypep: Public ordinary functions

T
time-it: Private macros
time-it/normalize: Private macros
translate-body: Private ordinary functions
traverse-tree: Private ordinary functions
type-list: Private generic functions
type-list: Private generic functions
type-list: Private generic functions
type-list-compatible-p: Private ordinary functions
type-list-intersection-null-p: Private ordinary functions
type-list-more-specific-p: Private ordinary functions
type-list-order-keywords: Private ordinary functions
type-list-p: Private ordinary functions
type-pair-=: Public ordinary functions
type-parameter-compile-time-deparameterizer-lambda: Private ordinary functions
type-parameter-compile-time-deparameterizer-lambda-body: Private ordinary functions
type-parameter-name: Private ordinary functions
type-parameter-p: Private ordinary functions
type-parameter-run-time-deparameterizer-lambda-body: Private ordinary functions
type-parameters-from-parametric-type: Private ordinary functions
type-specifier-p: Public ordinary functions
type=: Public ordinary functions
typed-lambda-list-p: Private ordinary functions
typep: Public compiler macros
typep: Public ordinary functions
typexpand: Private ordinary functions

U
undefine-polymorphic-function: Public ordinary functions
undefpolymorph: Public ordinary functions
unparse: Public standalone methods
unparse: Public standalone methods
unparse: Public standalone methods
untyped-lambda-list: Private ordinary functions
untyped-lambda-list-p: Private ordinary functions
update-polymorphic-function-documentation: Private ordinary functions
update-polymorphic-function-lambda: Private ordinary functions
upgrade-extended-type: Public ordinary functions
upgraded-extended-type: Private generic functions
upgraded-extended-type: Private generic functions
upgraded-extended-type: Private generic functions
upgraded-extended-type: Private generic functions
upgraded-extended-type: Private generic functions

V
valid-parameter-name-p: Private ordinary functions

W
with-muffled-compilation-warnings: Private macros


A.3 Variables

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

%
%lock: Public classes
%type: Private classes
%type: Private classes
%type: Private classes

*
*compiler-macro-expanding-p*: Public special variables
*deparameterizer-alist*: Private special variables
*disable-static-dispatch*: Public special variables
*environment*: Private special variables
*extended-subtypep-functions*: Public special variables
*extended-type-specifiers*: Private special variables
*lambda-list*: Private special variables
*lambda-list-typed-p*: Private special variables
*name*: Private special variables
*parametric-type-symbol-predicates*: Public special variables
*potential-type*: Private special variables
*specialization-count*: Private special variables
*specialization-table*: Private special variables
*subtypep-alist*: Public special variables

+
+compute-effective-lambda-list-doc+: Private constants
+compute-polymorphic-function-lambda-body-doc+: Private constants
+effective-lambda-list-doc-helper+: Private constants
+lambda-declarations-doc+: Private constants
+lambda-list-type-doc+: Private constants
+lambda-list-types+: Private constants
+optimize-speed-or-compilation-speed+: Private constants
+sbcl-transform-arg-lvars-from-lambda-list-form+: Private constants
+type-list-intersection-null-p+: Private constants
+type-list-more-specific-p+: Private constants

A
actual: Private conditions
actual: Private conditions
arg-types: Public conditions
args: Public conditions

C
compile-time-deparameterizer-lambda: Private structures
compile-time-deparameterizer-lambda-body: Private structures
compiler-applicable-p-lambda: Public structures
compiler-macro-lambda: Public structures
compiler-macro-source: Public structures
Constant, +compute-effective-lambda-list-doc+: Private constants
Constant, +compute-polymorphic-function-lambda-body-doc+: Private constants
Constant, +effective-lambda-list-doc-helper+: Private constants
Constant, +lambda-declarations-doc+: Private constants
Constant, +lambda-list-type-doc+: Private constants
Constant, +lambda-list-types+: Private constants
Constant, +optimize-speed-or-compilation-speed+: Private constants
Constant, +sbcl-transform-arg-lvars-from-lambda-list-form+: Private constants
Constant, +type-list-intersection-null-p+: Private constants
Constant, +type-list-more-specific-p+: Private constants

D
datum: Private conditions
declared: Private conditions
default: Public classes
default-value-form: Private structures
documentation: Public structures
documentation: Public classes

E
effective-lambda-list: Public classes
effective-type-list: Public structures
effective-type-lists: Public conditions
expected: Private conditions

F
form: Private conditions
form-in-pf: Private structures

I
index: Private conditions
inline-lambda-body: Public structures
inline-p: Public structures
invalidated-p: Public classes

K
keyword: Private structures

L
lambda-list: Public classes
lambda-list-type: Public structures
lambda-list-type: Public classes
local-name: Private structures

M
max: Private conditions
max-args: Private structures
min: Private conditions
min-args: Private structures
more-optimal-type-list: Public conditions
more-optimal-type-list: Public structures

N
name: Public conditions
name: Public structures
name: Public classes
name: Private conditions
name: Private conditions
name: Private conditions
name: Private structures
new-lambda-list: Private conditions

O
optim-debug: Private symbol macros
optim-safety: Private symbol macros
optim-slight-speed: Private symbol macros
optim-speed: Private symbol macros
optional: Private structures

P
parameters: Public structures
polymorphs: Public classes

R
required: Private structures
rest: Private structures
return-type: Public structures
run-time-deparameterizer-lambda-body: Private structures
runtime-applicable-p-form: Public structures

S
Slot, %lock: Public classes
Slot, %type: Private classes
Slot, %type: Private classes
Slot, %type: Private classes
Slot, actual: Private conditions
Slot, actual: Private conditions
Slot, arg-types: Public conditions
Slot, args: Public conditions
Slot, compile-time-deparameterizer-lambda: Private structures
Slot, compile-time-deparameterizer-lambda-body: Private structures
Slot, compiler-applicable-p-lambda: Public structures
Slot, compiler-macro-lambda: Public structures
Slot, compiler-macro-source: Public structures
Slot, datum: Private conditions
Slot, declared: Private conditions
Slot, default: Public classes
Slot, default-value-form: Private structures
Slot, documentation: Public structures
Slot, documentation: Public classes
Slot, effective-lambda-list: Public classes
Slot, effective-type-list: Public structures
Slot, effective-type-lists: Public conditions
Slot, expected: Private conditions
Slot, form: Private conditions
Slot, form-in-pf: Private structures
Slot, index: Private conditions
Slot, inline-lambda-body: Public structures
Slot, inline-p: Public structures
Slot, invalidated-p: Public classes
Slot, keyword: Private structures
Slot, lambda-list: Public classes
Slot, lambda-list-type: Public structures
Slot, lambda-list-type: Public classes
Slot, local-name: Private structures
Slot, max: Private conditions
Slot, max-args: Private structures
Slot, min: Private conditions
Slot, min-args: Private structures
Slot, more-optimal-type-list: Public conditions
Slot, more-optimal-type-list: Public structures
Slot, name: Public conditions
Slot, name: Public structures
Slot, name: Public classes
Slot, name: Private conditions
Slot, name: Private conditions
Slot, name: Private conditions
Slot, name: Private structures
Slot, new-lambda-list: Private conditions
Slot, optional: Private structures
Slot, parameters: Public structures
Slot, polymorphs: Public classes
Slot, required: Private structures
Slot, rest: Private structures
Slot, return-type: Public structures
Slot, run-time-deparameterizer-lambda-body: Private structures
Slot, runtime-applicable-p-form: Public structures
Slot, source: Public structures
Slot, source: Public classes
Slot, static-dispatch-name: Public structures
Slot, suboptimal-note: Public structures
Slot, supplied-p-name: Private structures
Slot, type-list: Public conditions
Slot, type-list: Public structures
Slot, type-list: Private conditions
Slot, type-parameters: Private structures
Slot, type1: Private conditions
Slot, type2: Private conditions
Slot, typed-lambda-list: Public structures
Slot, validator-form: Private structures
Slot, value-effective-type: Private structures
Slot, value-type: Private structures
source: Public structures
source: Public classes
Special Variable, *compiler-macro-expanding-p*: Public special variables
Special Variable, *deparameterizer-alist*: Private special variables
Special Variable, *disable-static-dispatch*: Public special variables
Special Variable, *environment*: Private special variables
Special Variable, *extended-subtypep-functions*: Public special variables
Special Variable, *extended-type-specifiers*: Private special variables
Special Variable, *lambda-list*: Private special variables
Special Variable, *lambda-list-typed-p*: Private special variables
Special Variable, *name*: Private special variables
Special Variable, *parametric-type-symbol-predicates*: Public special variables
Special Variable, *potential-type*: Private special variables
Special Variable, *specialization-count*: Private special variables
Special Variable, *specialization-table*: Private special variables
Special Variable, *subtypep-alist*: Public special variables
static-dispatch-name: Public structures
suboptimal-note: Public structures
supplied-p-name: Private structures
Symbol Macro, optim-debug: Private symbol macros
Symbol Macro, optim-safety: Private symbol macros
Symbol Macro, optim-slight-speed: Private symbol macros
Symbol Macro, optim-speed: Private symbol macros

T
type-list: Public conditions
type-list: Public structures
type-list: Private conditions
type-parameters: Private structures
type1: Private conditions
type2: Private conditions
typed-lambda-list: Public structures

V
validator-form: Private structures
value-effective-type: Private structures
value-type: Private structures


A.4 Data types

Jump to:   B   C   D   E   F   L   M   N   P   R   S   T   U  
Index Entry  Section

B
base.lisp: The polymorphic-functions/lambda-lists/base․lisp file
benchmark.lisp: The polymorphic-functions/benchmark․lisp file

C
Class, csubtypep: Private classes
Class, csupertypep: Private classes
Class, ctype=: Private classes
Class, polymorphic-function: Public classes
compiler-macro.lisp: The polymorphic-functions/compiler-macro․lisp file
Condition, defpolymorph-note: Private conditions
Condition, form-type-failure: Private conditions
Condition, lambda-list-has-changed: Private conditions
Condition, more-optimal-polymorph-inapplicable: Public conditions
Condition, no-applicable-polymorph: Public conditions
Condition, no-applicable-polymorph/compiler-note: Private conditions
Condition, no-applicable-polymorph/error: Private conditions
Condition, not-a-ahp: Private conditions
Condition, polymorph-has-no-inline-lambda-body: Private conditions
Condition, return-type-count-mismatch: Private conditions
Condition, return-type-count-mismatch/warning: Private conditions
Condition, return-type-mismatch: Private conditions
Condition, return-type-mismatch/error: Private conditions
Condition, return-type-mismatch/warning: Private conditions
Condition, suboptimal-polymorph-note: Public conditions
Condition, subtypep-not-known: Private conditions
conditions.lisp: The polymorphic-functions/conditions․lisp file
core.lisp: The polymorphic-functions/extended-types/core․lisp file
csubtypep: Private classes
csupertypep: Private classes
ctype=: Private classes

D
defpolymorph-note: Private conditions
deparameterize-type.lisp: The polymorphic-functions/extended-types/deparameterize-type․lisp file
dispatch.lisp: The polymorphic-functions/dispatch․lisp file
doc.lisp: The polymorphic-functions/lambda-lists/doc․lisp file

E
ensure-type-form.lisp: The polymorphic-functions/extended-types/ensure-type-form․lisp file
extended-type-specifier: Private types
extended-types: The polymorphic-functions/extended-types module

F
File, base.lisp: The polymorphic-functions/lambda-lists/base․lisp file
File, benchmark.lisp: The polymorphic-functions/benchmark․lisp file
File, compiler-macro.lisp: The polymorphic-functions/compiler-macro․lisp file
File, conditions.lisp: The polymorphic-functions/conditions․lisp file
File, core.lisp: The polymorphic-functions/extended-types/core․lisp file
File, deparameterize-type.lisp: The polymorphic-functions/extended-types/deparameterize-type․lisp file
File, dispatch.lisp: The polymorphic-functions/dispatch․lisp file
File, doc.lisp: The polymorphic-functions/lambda-lists/doc․lisp file
File, ensure-type-form.lisp: The polymorphic-functions/extended-types/ensure-type-form․lisp file
File, misc-tests.lisp: The polymorphic-functions/misc-tests․lisp file
File, package.lisp: The polymorphic-functions/package․lisp file
File, parameters.lisp: The polymorphic-functions/lambda-lists/parameters․lisp file
File, parametric-types.lisp: The polymorphic-functions/extended-types/parametric-types․lisp file
File, polymorphic-function.lisp: The polymorphic-functions/polymorphic-function․lisp file
File, polymorphic-functions.asd: The polymorphic-functions/polymorphic-functions․asd file
File, pre-package.lisp: The polymorphic-functions/pre-package․lisp file
File, required-key.lisp: The polymorphic-functions/lambda-lists/required-key․lisp file
File, required-optional.lisp: The polymorphic-functions/lambda-lists/required-optional․lisp file
File, required.lisp: The polymorphic-functions/lambda-lists/required․lisp file
File, rest.lisp: The polymorphic-functions/lambda-lists/rest․lisp file
File, sbcl-transform.lisp: The polymorphic-functions/sbcl-transform․lisp file
File, specializing.lisp: The polymorphic-functions/specializing․lisp file
File, subtypep.lisp: The polymorphic-functions/extended-types/subtypep․lisp file
File, supertypep.lisp: The polymorphic-functions/extended-types/supertypep․lisp file
File, type=.lisp: The polymorphic-functions/extended-types/type=․lisp file
File, types.lisp: The polymorphic-functions/types․lisp file
form-type-failure: Private conditions
function-name: Private types

L
lambda-list-has-changed: Private conditions
lambda-list-type: Private types
lambda-lists: The polymorphic-functions/lambda-lists module

M
misc-tests.lisp: The polymorphic-functions/misc-tests․lisp file
Module, extended-types: The polymorphic-functions/extended-types module
Module, lambda-lists: The polymorphic-functions/lambda-lists module
more-optimal-polymorph-inapplicable: Public conditions

N
no-applicable-polymorph: Public conditions
no-applicable-polymorph/compiler-note: Private conditions
no-applicable-polymorph/error: Private conditions
not-a-ahp: Private conditions

P
Package, polymorphic-functions: The polymorphic-functions package
Package, polymorphic-functions.defpackage: The polymorphic-functions․defpackage package
Package, polymorphic-functions.extended-types: The polymorphic-functions․extended-types package
Package, polymorphic-functions.nonuser: The polymorphic-functions․nonuser package
package.lisp: The polymorphic-functions/package․lisp file
parameters.lisp: The polymorphic-functions/lambda-lists/parameters․lisp file
parametric-type-specifier: Private types
parametric-types.lisp: The polymorphic-functions/extended-types/parametric-types․lisp file
polymorph: Public structures
polymorph-has-no-inline-lambda-body: Private conditions
polymorph-parameter: Private structures
polymorph-parameters: Private structures
polymorphic-function: Public classes
polymorphic-function.lisp: The polymorphic-functions/polymorphic-function․lisp file
polymorphic-functions: The polymorphic-functions system
polymorphic-functions: The polymorphic-functions package
polymorphic-functions.asd: The polymorphic-functions/polymorphic-functions․asd file
polymorphic-functions.defpackage: The polymorphic-functions․defpackage package
polymorphic-functions.extended-types: The polymorphic-functions․extended-types package
polymorphic-functions.nonuser: The polymorphic-functions․nonuser package
pre-package.lisp: The polymorphic-functions/pre-package․lisp file

R
required-key.lisp: The polymorphic-functions/lambda-lists/required-key․lisp file
required-optional.lisp: The polymorphic-functions/lambda-lists/required-optional․lisp file
required.lisp: The polymorphic-functions/lambda-lists/required․lisp file
rest.lisp: The polymorphic-functions/lambda-lists/rest․lisp file
return-type-count-mismatch: Private conditions
return-type-count-mismatch/warning: Private conditions
return-type-mismatch: Private conditions
return-type-mismatch/error: Private conditions
return-type-mismatch/warning: Private conditions

S
sbcl-transform.lisp: The polymorphic-functions/sbcl-transform․lisp file
specializing.lisp: The polymorphic-functions/specializing․lisp file
Structure, polymorph: Public structures
Structure, polymorph-parameter: Private structures
Structure, polymorph-parameters: Private structures
Structure, type-parameter: Private structures
suboptimal-polymorph-note: Public conditions
subtypep-not-known: Private conditions
subtypep.lisp: The polymorphic-functions/extended-types/subtypep․lisp file
supertypep.lisp: The polymorphic-functions/extended-types/supertypep․lisp file
System, polymorphic-functions: The polymorphic-functions system

T
Type, extended-type-specifier: Private types
Type, function-name: Private types
Type, lambda-list-type: Private types
Type, parametric-type-specifier: Private types
Type, type-list: Private types
Type, typed-lambda-list: Private types
Type, untyped-lambda-list: Private types
type-list: Private types
type-parameter: Private structures
type=.lisp: The polymorphic-functions/extended-types/type=․lisp file
typed-lambda-list: Private types
types.lisp: The polymorphic-functions/types․lisp file

U
untyped-lambda-list: Private types