This is the misc-extensions Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Mon Feb 26 17:21:12 2024 GMT+0.
misc-extensions/misc-extensions.asdmisc-extensions/src/defs.lispmisc-extensions/src/new-let.lispmisc-extensions/src/gmap.lispmisc-extensions/src/fn.lispmisc-extensions/src/tests.lispmisc-extensions/src/rev-fun-bind.lispmisc-extensions/src/contexts.lispmisc-extensions/src/context-tests.lispThe main system appears first, followed by any subsystem dependency.
Modules are listed depth-first from the system components tree.
misc-extensions/srcmisc-extensions (system).
defs.lisp (file).
new-let.lisp (file).
gmap.lisp (file).
fn.lisp (file).
tests.lisp (file).
rev-fun-bind.lisp (file).
contexts.lisp (file).
context-tests.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
misc-extensions/misc-extensions.asdmisc-extensions/src/defs.lispmisc-extensions/src/new-let.lispmisc-extensions/src/gmap.lispmisc-extensions/src/fn.lispmisc-extensions/src/tests.lispmisc-extensions/src/rev-fun-bind.lispmisc-extensions/src/contexts.lispmisc-extensions/src/context-tests.lispmisc-extensions/misc-extensions.asdmisc-extensions (system).
misc-extensions/src/new-let.lispdefs.lisp (file).
src (module).
analyze-decls (function).
bcond-build-clause (function).
bcond-clause (function).
bound-decls (function).
expand-new-let (function).
new-let-bound-vars (function).
prune-decls (function).
split-level (function).
type-specifier-name? (function).
misc-extensions/src/gmap.lispnew-let.lisp (file).
src (module).
def-gmap-arg-type (macro).
def-gmap-res-type (macro).
gmap (macro).
*gmap-arg-type-list* (special variable).
*gmap-res-type-list* (special variable).
gmap>arg-spec-lookup (function).
gmap>expand (function).
gmap>funcall (function).
gmap>let-specs (function).
gmap>param (function).
gmap>param>arg (function).
gmap>param>exit-test (function).
gmap>param>multi-let-specs (function).
gmap>param>multi-vars (function).
gmap>res-spec-lookup (function).
gmap>res-spec-lookup-1 (function).
gmap>res>cleanup (function).
gmap>res>init-clauses (function).
gmap>res>next (function).
misc-extensions/src/fn.lispmisc-extensions/src/tests.lispmisc-extensions/src/rev-fun-bind.lisptests.lisp (file).
src (module).
misc-extensions/src/contexts.lisprev-fun-bind.lisp (file).
src (module).
defcontext (macro).
deflex (macro).
deflex-reinit (macro).
isetq (macro).
make-load-form (method).
with-context (macro).
with-contexts (macro).
context (structure).
context-all-fns (reader).
(setf context-all-fns) (writer).
context-all-vars (reader).
(setf context-all-vars) (writer).
context-bind-fns (reader).
(setf context-bind-fns) (writer).
context-bind-vars (reader).
(setf context-bind-vars) (writer).
context-constructor (reader).
(setf context-constructor) (writer).
context-instance-default-element (constant).
context-macros (reader).
(setf context-macros) (writer).
context-name (reader).
(setf context-name) (writer).
context-p (function).
context-parameter-list (reader).
(setf context-parameter-list) (writer).
copy-context (function).
make-context (function).
misc-extensions/src/context-tests.lispcontexts.lisp (file).
src (module).
test-context-0 (function).
test-context-1 (function).
test-context-2 (function).
Packages are listed by definition order.
new-letcommon-lisp.
analyze-decls (function).
bcond-build-clause (function).
bcond-clause (function).
bound-decls (function).
expand-new-let (function).
new-let-bound-vars (function).
prune-decls (function).
split-level (function).
type-specifier-name? (function).
lexical-contextscommon-lisp.
defcontext (macro).
deflex (macro).
deflex-reinit (macro).
isetq (macro).
with-context (macro).
with-contexts (macro).
context (structure).
context-all-fns (reader).
(setf context-all-fns) (writer).
context-all-vars (reader).
(setf context-all-vars) (writer).
context-bind-fns (reader).
(setf context-bind-fns) (writer).
context-bind-vars (reader).
(setf context-bind-vars) (writer).
context-constructor (reader).
(setf context-constructor) (writer).
context-instance-default-element (constant).
context-macros (reader).
(setf context-macros) (writer).
context-name (reader).
(setf context-name) (writer).
context-p (function).
context-parameter-list (reader).
(setf context-parameter-list) (writer).
copy-context (function).
make-context (function).
test-context-0 (function).
test-context-1 (function).
test-context-2 (function).
gmapcommon-lisp.
def-gmap-arg-type (macro).
def-gmap-res-type (macro).
gmap (macro).
*gmap-arg-type-list* (special variable).
*gmap-res-type-list* (special variable).
gmap>arg-spec-lookup (function).
gmap>expand (function).
gmap>funcall (function).
gmap>let-specs (function).
gmap>param (function).
gmap>param>arg (function).
gmap>param>exit-test (function).
gmap>param>multi-let-specs (function).
gmap>param>multi-vars (function).
gmap>res-spec-lookup (function).
gmap>res-spec-lookup-1 (function).
gmap>res>cleanup (function).
gmap>res>init-clauses (function).
gmap>res>next (function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
A generalization of CL:COND that makes it convenient to compute a value in
the predicate expression of a clause and then use that value in the consequent.
If the predicate expression is a LET form, then the scope of the variables bound
by the LET is extended to include the consequent expressions. For example:
(cond ((let ((x (foo)))
(bar x))
(baz x)))
Here the X in (BAZ X) is the one bound to the result of (FOO).
A generalization of CL:COND that makes it convenient to compute a value in
the predicate expression of a clause and then use that value in the consequent.
If the predicate expression is a LET form, then the scope of the variables bound
by the LET is extended to include the consequent expressions. For example:
(cond ((let ((x (foo)))
(bar x))
(baz x)))
Here the X in (BAZ X) is the one bound to the result of (FOO).
Defines a GMap arg-type. Syntax is identical to ‘defun’. The body should
return a list of 1 to 5 elements: (0, "init") the initial value of the
state variable; (1, "exitp"), if non-nil, a function of one argument which
is called on the state variable, a true result causing the iteration to
exit; (2, "argfn"), if non-nil, a function of one argument which is called
on the state variable to get the value to be used on this iteration; (3,
"nextfn"), if non-nil, a function of one argument which is called on the
state variable to get the new value of same; and (4, "let-specs") a list of
clauses for an ‘nlet’ that will wrapped around the entire expansion.
It is also possible for an arg-type to generate multiple arguments. If element 2, "argfn", is of the form ‘(:values N FN)’, FN should be a function returning N values, which will be passed as separate arguments to the function being mapped.
Defines a GMap result-type. Syntax is identical to ‘defun’. The body should
return a list of 2 to 5 elements: (0, "init") the initial value of the state
variable; (1, "resfn") a function of two arguments which is called on the
state variable and the current value of the function being mapped, returning
the new value of the state variable; (2, "cleanup"), if non-nil, a function
of one argument which is called on the final value of the state variable to
get the value of the ‘gmap’ form; (3, "filterp"), if non-nil, a predicate
of one argument which is called on the current value of the function being
mapped, a false value causing "resfn" not to be called on this iteration (and
the state variable to be unchanged); and (4, "let-specs") a list of
clauses for an ‘nlet’ that will wrapped around the entire expansion.
It is also possible for a result-type to consume more than one value of the function being mapped. If element 1, "resfn", is of the form ‘(:consume N FN)’, FN should be a function of N + 1 arguments, and will receive N values from the function being mapped.
Declares ‘var’ as a global lexical variable, and if ‘val’ is supplied and ‘var’ is not already bound, initializes it to ‘val’. ‘doc’, if supplied, is taken as a documentation string. In some implementations (e.g. Scieneer), locally rebinding the same name is not permitted; in most, it is permitted but creates a new lexical variable, with no effect on the global one.
Declares ‘var’ as a global lexical variable, and initializes it to ‘val’. ‘doc’, if supplied, is taken as a documentation string. In some implementations (e.g. Scieneer), locally rebinding the same name is not permitted; in most, it is permitted but creates a new lexical variable, with no effect on the global one.
A variant of the ‘lambda’ with two features: (a) the name is shorter
and (b) it automatically generates an ‘ignore’ declaration for any parameter
whose name begins with an underscore.
Note that
#’(fn ...)
doesn’t work, since CL doesn’t have Zetalisp-style lambda macros; you have
to say just
(fn ...)
This is the modern style anyway, I think.
A generalized mapping macro. Applies ‘fn’ to the successive values generated by the ‘arg-specs’, analagously to ‘mapcar’; that is, on each iteration, each arg-spec yields one value, and ‘fn’ is called with these values as arguments. The values returned by ‘fn’ are accumulated into a result according to ‘res-spec’. The ‘res-spec’ is either a list whose car is a predefined result type, or a list whose car is ‘nil’ and whose cdr has the same form as the value of a result type expander (see ‘def-gmap-res-type’); or, the ‘res-spec’ can be a symbol, which is shorthand for a list of that symbol; or, it can be a list whose car is ‘:values’ and whose cdr is a list of result-specs. Similarly, each of the ‘arg-specs’ is either a list whose car is a predefined arg type, or a list whose car is ‘nil’ and whose cdr has the same form as the value of an arg type expander (see ‘def-gmap-arg-type’).
"Interactive ‘setq’": can be used on previously-undeclared variables without getting ugly warnings or causing the variable to be declared special. Not to be used in code!!!
A generalization of CL:LET that better supports nested bindings and multiple
values. Syntax: (let (<clause>*) <body>). The <clause> syntax is more general
than for CL:LET:
<clause> ::= <symbol> ; binds to NIL
| ( <symbol> ) ; likewise
| <clause1>
<clause1> ::= ( <symbol>+ <form> ) ; binding
| ( <clause1>+ ) ; nesting
When a clause begins with more than one variable name, they are to be bound to
successive values of the form. The nesting of clauses indicates sequencing of
bindings; more deeply nested clauses may reference bindings of shallower clauses.
All bindings at a given depth are done in parallel. This allows arbitrary
combinations of parallel and sequential binding. Standard declarations at the
head of BODY are handled correctly, though nonstandard ones may not be. If two
variables of the same name are bound at different levels, any declaration
applies to the inner one.
A generalization of CL:LET that better supports nested bindings and multiple
values. Syntax: (let (<clause>*) <body>). The <clause> syntax is more general
than for CL:LET:
<clause> ::= <symbol> ; binds to NIL
| ( <symbol> ) ; likewise
| <clause1>
<clause1> ::= ( <symbol>+ <form> ) ; binding
| ( <clause1>+ ) ; nesting
When a clause begins with more than one variable name, they are to be bound to
successive values of the form. The nesting of clauses indicates sequencing of
bindings; more deeply nested clauses may reference bindings of shallower clauses.
All bindings at a given depth are done in parallel. This allows arbitrary
combinations of parallel and sequential binding. Standard declarations at the
head of BODY are handled correctly, though nonstandard ones may not be. If two
variables of the same name are bound at different levels, any declaration
applies to the inner one.
Just like ‘flet’ except that the first subform is the form that computes the value, and the remaining subforms are the binding clauses.
Just like ‘labels’ except that the first subform is the form that computes the value, and the remaining subforms are the binding clauses.
Just like ‘macrolet’ except that the first subform is the form that computes the value, and the remaining subforms are the binding clauses.
An attempt to give the user a clue if they run into this.
A list of all GMAP arg types that have been defined.
A list of all GMAP result types that have been defined.
Returns two values. The first value is a cons of: (a) for the bound declarations at the head of ‘body’, an alist from variable name to a list of declarations affecting that variable; (b) a list of the remaining (free) declarations. The second value is ‘body’ with the declarations stripped off.
name.
structure-object.
| Jump to: | (
A B C D E F G I L M N P R S T W |
|---|
| Jump to: | (
A B C D E F G I L M N P R S T W |
|---|
| Jump to: | *
A B C M N P S |
|---|
| Jump to: | *
A B C M N P S |
|---|
| Jump to: | C D F G L M N P R S T |
|---|
| Jump to: | C D F G L M N P R S T |
|---|