This is the inlined-generic-function Reference Manual, version 0.1, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Dec 15 06:28:23 2024 GMT+0.
The main system appears first, followed by any subsystem dependency.
inlined-generic-function
MOP 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.asd
inlined-generic-function/src/0.package.lisp
inlined-generic-function/src/1.mop.lisp
inlined-generic-function/src/2.compiler.lisp
inlined-generic-function/src/3.invalid-branch.lisp
inlined-generic-function/inlined-generic-function.asd
inlined-generic-function
(system).
inlined-generic-function/src/0.package.lisp
inlined-generic-function
(system).
inlined-generic-function/src/1.mop.lisp
src/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.lisp
src/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.lisp
src/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-function
inlined-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.impl
alexandria
.
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 |
---|