This is the inlined-generic-function Reference Manual, version 0.1, generated automatically by Declt version 4.0 beta 2 "William Riker" on Fri Sep 15 05:24:05 2023 GMT+0.
The main system appears first, followed by any subsystem dependency.
inlined-generic-functionMOP implementation of the fast inlinable generic functions dispatched in compile-time
Masataro Asai
LLGPL
0.1
trivia (system).
closer-mop (system).
alexandria (system).
iterate (system).
introspect-environment (system).
src/0.package.lisp (file).
src/1.mop.lisp (file).
src/2.compiler.lisp (file).
src/3.invalid-branch.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
inlined-generic-function/inlined-generic-function.asdinlined-generic-function/src/0.package.lispinlined-generic-function/src/1.mop.lispinlined-generic-function/src/2.compiler.lispinlined-generic-function/src/3.invalid-branch.lispinlined-generic-function/inlined-generic-function.asdinlined-generic-function (system).
inlined-generic-function/src/0.package.lispinlined-generic-function (system).
inlined-generic-function/src/1.mop.lispsrc/0.package.lisp (file).
inlined-generic-function (system).
ensure-generic-function-using-class (method).
inlined-generic-function (class).
inlined-method (class).
make-method-lambda (method).
method-lambda-expression (reader method).
(setf method-lambda-expression) (writer method).
method-lambda-expression* (reader method).
(setf method-lambda-expression*) (writer method).
break+ (macro).
inlined-generic-function/src/2.compiler.lispsrc/1.mop.lisp (file).
inlined-generic-function (system).
inline-generic-function (function).
%call-method (function).
%compile-generic-function (function).
%compute-applicable-methods (function).
%matcher-body (function).
%matcher-clause (function).
%matcher-pattern (function).
*current-gf* (special variable).
*current-inline-form* (special variable).
compile-generic-function (function).
dummy (generic function).
improve-readability (function).
inline-discriminating-function (function).
lambda-list-atoms (function).
reorder-to-precedence (function).
specializer< (function).
take-while (function).
inlined-generic-function/src/3.invalid-branch.lispsrc/2.compiler.lisp (file).
inlined-generic-function (system).
*invalid-branch-warning-level* (special variable).
invalid-branch (function).
Packages are listed by definition order.
inlined-generic-functioninlined-gf
inline-generic-function (function).
inlined-generic-function (class).
inlined-method (class).
invalid-branch (function).
method-lambda-expression (generic reader).
(setf method-lambda-expression) (generic writer).
method-lambda-expression* (generic reader).
(setf method-lambda-expression*) (generic writer).
inlined-generic-function.implalexandria.
closer-common-lisp.
inlined-generic-function.
introspect-environment.
iterate.
trivia.level2.
*invalid-branch-warning-level* (special variable).
%call-method (function).
%compile-generic-function (function).
%compute-applicable-methods (function).
%matcher-body (function).
%matcher-clause (function).
%matcher-pattern (function).
*current-gf* (special variable).
*current-inline-form* (special variable).
break+ (macro).
compile-generic-function (function).
dummy (generic function).
improve-readability (function).
inline-discriminating-function (function).
lambda-expression (slot).
lambda-expression* (slot).
lambda-list-atoms (function).
reorder-to-precedence (function).
specializer< (function).
take-while (function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
A flag controlling the level of compile-time warning signaled when
compiling a call to INVALID-BRANCH.
This does not affect the behavior of INVALID-BRANCH, which always signals an error.
Returns an inlined form which is equivalent to calling the generic function.
This function mark a specific part of the code to be invalid.
It MUST NOT be used in a valid code.
On supported implementations (currently SBCL only),
the compiler signals a warning,style-warning or error
(depending on the value of *INVALID-BRANCH-WARNING-LEVEL*)
when the compiler fails to eliminiate it as a dead-code.
This is useful to detect a specific kind of errors,
e.g. type errors, infinite loops, infinite recursion and so on.
When it happens, you should fix the code, add a type restriction etc.
in order to make it compile.
On unsupported implementations, this function has no compile-time effect
and just signals an error.
Supported implementations:
SBCL:
This feature is tested against all patch versions in the latest minor version,
as well as the most recent patches in the past two minor versions.
inlined-method)) ¶inlined-method)) ¶original lambda expression w/o decoration e.g. call-next-method
inlined-method)) ¶inlined-method)) ¶Cached result of make-method-lambda
inlined-generic-function) fun-name &rest rest &key &allow-other-keys) ¶This method is called while the compilation results of defgeneric form is being loaded. It sets up the compiler macro for this generic function.
sb-mop.
inlined-generic-function) (m inlined-method) lambda-expression environment) ¶Appends an additional keyword argument to the secondary value, which is passed to make-instance and sets the value
sb-mop.
A metaobject representing inlinable generic function.
standard-generic-function.
| Initarg | Value |
|---|---|
:method-class | (find-class (quote inlined-method)) |
A metaobject representing inlinable method.
standard-method.
original lambda expression w/o decoration e.g. call-next-method
:method-lambda-expression
Cached result of make-method-lambda
:method-lambda-expression*
Corresponds to compute-discriminating-function in AMOP
return true if some specializer of m1, checked in an precedence order, is a subtype of the specializer of m2
| Jump to: | %
(
B C D E F G I L M R S T |
|---|
| Jump to: | %
(
B C D E F G I L M R S T |
|---|
| Jump to: | *
L S |
|---|
| Jump to: | *
L S |
|---|
| Jump to: | C F I P S |
|---|
| Jump to: | C F I P S |
|---|