This is the restricted-functions Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Tue Jul 15 06:34:05 2025 GMT+0.
restricted-functions/restricted-functions.asdrestricted-functions/packages.lisprestricted-functions/function-lambda-lists.lisprestricted-functions/generic-functions.lisprestricted-functions/strategies.lisprestricted-functions/restricted-function.lisprestricted-functions/default-methods.lisprestricted-functions/type-inference-rules/numbers.lispThe main system appears first, followed by any subsystem dependency.
restricted-functionsReasoning about functions with restricted argument types.
Marco Heisig <marco.heisig@fau.de>
MIT
alexandria (system).
closer-mop (system).
simplified-types (system).
trivia (system).
trivial-arguments (system).
trivial-garbage (system).
packages.lisp (file).
function-lambda-lists.lisp (file).
generic-functions.lisp (file).
strategies.lisp (file).
restricted-function.lisp (file).
default-methods.lisp (file).
type-inference-rules (module).
Modules are listed depth-first from the system components tree.
restricted-functions/type-inference-rulesdefault-methods.lisp (file).
restricted-functions (system).
numbers.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
restricted-functions/restricted-functions.asdrestricted-functions/packages.lisprestricted-functions/function-lambda-lists.lisprestricted-functions/generic-functions.lisprestricted-functions/strategies.lisprestricted-functions/restricted-function.lisprestricted-functions/default-methods.lisprestricted-functions/type-inference-rules/numbers.lisprestricted-functions/restricted-functions.asdrestricted-functions (system).
restricted-functions/packages.lisprestricted-functions (system).
restricted-functions/function-lambda-lists.lisppackages.lisp (file).
restricted-functions (system).
check-arity (function).
function-arity (function).
function-lambda-list (function).
lambda-list-arity (function).
restricted-functions/generic-functions.lispfunction-lambda-lists.lisp (file).
restricted-functions (system).
argument-types (generic function).
arity (generic function).
function-type (generic function).
infer-type (generic function).
mandatory-values (generic function).
name (generic reader).
nth-argument-type (generic function).
nth-value-type (generic function).
optional-values (generic function).
original-function (generic function).
rest-values-p (generic function).
restrict (generic function).
values-type (generic function).
restricted-functions/strategies.lispgeneric-functions.lisp (file).
restricted-functions (system).
argument-type-simplification-around-infer-type (class).
argument-type-simplification-around-restrict (class).
default-type-inference (class).
infer-type (method).
infer-type (method).
restrict (method).
restrict (method).
restricted-function-caching (class).
*default-strategy-for-infer-type* (special variable).
*default-strategy-for-restrict* (special variable).
*type-inference-functions* (special variable).
default-strategy-for-infer-type (class).
default-strategy-for-restrict (class).
define-type-inference-rule (macro).
restricted-function-cache (reader method).
type-inference-function (macro).
restricted-functions/restricted-function.lispstrategies.lisp (file).
restricted-functions (system).
arity (method).
mandatory-values (reader method).
name (reader method).
nth-argument-type (method).
nth-value-type (method).
optional-values (reader method).
original-function (reader method).
print-object (method).
rest-values-p (reader method).
restricted-function (class).
atypes (reader method).
compute-compiler-macro-function (function).
generate-restricted-function-name (function).
genstring (function).
parse-values-type (function).
rtypes (reader method).
restricted-functions/default-methods.lisprestricted-function.lisp (file).
restricted-functions (system).
argument-types (method).
arity (method).
function-type (method).
infer-type (method).
infer-type (method).
mandatory-values (method).
nth-argument-type (method).
nth-value-type (method).
optional-values (method).
original-function (method).
rest-values-p (method).
restrict (method).
restrict (method).
values-type (method).
restricted-functions/type-inference-rules/numbers.lisptype-inference-rules (module).
bounded-integer-type-p (function).
numeric-contagion (function).
numeric-contagion/atomic (function).
parse-number-type (function).
unparse-number-type (function).
Packages are listed by definition order.
restricted-functionscloser-common-lisp.
argument-type-simplification-around-infer-type (class).
argument-type-simplification-around-restrict (class).
argument-types (generic function).
arity (generic function).
default-type-inference (class).
function-type (generic function).
infer-type (generic function).
mandatory-values (generic function).
name (generic reader).
nth-argument-type (generic function).
nth-value-type (generic function).
optional-values (generic function).
original-function (generic function).
rest-values-p (generic function).
restrict (generic function).
restricted-function (class).
restricted-function-caching (class).
values-type (generic function).
*default-strategy-for-infer-type* (special variable).
*default-strategy-for-restrict* (special variable).
*type-inference-functions* (special variable).
atypes (generic reader).
bounded-integer-type-p (function).
check-arity (function).
compute-compiler-macro-function (function).
default-strategy-for-infer-type (class).
default-strategy-for-restrict (class).
define-type-inference-rule (macro).
function-arity (function).
function-lambda-list (function).
generate-restricted-function-name (function).
genstring (function).
lambda-list-arity (function).
numeric-contagion (function).
numeric-contagion/atomic (function).
parse-number-type (function).
parse-values-type (function).
restricted-function-cache (generic reader).
rtypes (generic reader).
type-inference-function (macro).
unparse-number-type (function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
Returns a list of the types of all mandatory arguments of FUNCTION.
function)) ¶Returns the number of arguments of FUNCTION.
function)) ¶restricted-function)) ¶Returns a type specifier describing FUNCTION.
function)) ¶Returns a values type specifier, describing the possible values of FUNCTION when called with arguments of the given ARGUMENT-TYPES.
function) &rest argument-types) ¶null) (function function) &rest argument-types) ¶default-type-inference) (function function) &rest argument-types) ¶argument-type-simplification-around-infer-type) (function function) &rest argument-types) ¶Returns the number of mandatory values returned by FUNCTION.
function)) ¶restricted-function)) ¶automatically generated reader method
Returns a symbol that is the name of FUNCTION.
restricted-function)) ¶automatically generated reader method
Returns a type specifier that describes the set of permissible values for the Nth argument of FUNCTION.
integer) (function function)) ¶integer) (rf restricted-function)) ¶Returns a type specifier that describes the Nth value returned by FUNCTION.
integer) (function function)) ¶integer) (rf restricted-function)) ¶Returns the number of optional values returned by FUNCTION.
function)) ¶restricted-function)) ¶automatically generated reader method
Returns the function upon which FUNCTION specializes.
function)) ¶restricted-function)) ¶automatically generated reader method
Returns whether FUNCTION may return any number of values.
function)) ¶restricted-function)) ¶automatically generated reader method
Returns a restricted function that is equivalent to FUNCTION, but only
applicable to arguments of the given ARGUMENT-TYPES. This restricted
function can the either be called directly, or queried for a variety of
information, such as the type of the values it returns. Internally,
RESTRICT calls INFER-TYPE on the same arguments to determine the type of
the possible values of FUNCTION.
The first argument, STRATEGY, influences how fast or precise type inference
ought to be done, or whether to use caching or not. The default
strategy (used when STRATEGY is NIL), simplifies all argument types before
use and caches restricted functions unconditionally.
New strategies can be defined by the user by specializing on RESTRICT and INFER-TYPE.
function) &rest argument-types) ¶null) (function function) &rest argument-types) ¶restricted-function-caching) (function function) &rest argument-types) ¶argument-type-simplification-around-restrict) (function function) &rest argument-types) ¶Returns a values type specifier that describes the multiple values that will be returned when FUNCTION is called with valid arguments.
function)) ¶funcallable-standard-object.
:original-function
This slot is read-only.
:mandatory-values
This slot is read-only.
:optional-values
This slot is read-only.
:rest-values-p
This slot is read-only.
(make-hash-table :test (function equal))
This slot is read-only.
Return the lambda list of FUNCTION, or an approximation thereof.
Return two values:
1. the number of mandatory arguments
2. the maximal number of permissible arguments
restricted-function)) ¶automatically generated reader method
restricted-function-caching)) ¶automatically generated reader method
restricted-function)) ¶automatically generated reader method
| Jump to: | A B C D F G I L M N O P R T U V |
|---|
| Jump to: | A B C D F G I L M N O P R T U V |
|---|
| Jump to: | %
*
S |
|---|
| Jump to: | %
*
S |
|---|
| Jump to: | A C D F G M N P R S T |
|---|
| Jump to: | A C D F G M N P R S T |
|---|