The cl-environments Reference Manual

4.1.1 cl-environments/cl-environments.asd

Source

cl-environments.asd.

Parent Component

cl-environments (system).

ASDF Systems

cl-environments.

4.1.2 cl-environments/src/common/package.lisp

Source

cl-environments.asd.

Parent Component

common (module).

Packages

cl-environments.util.

4.1.3 cl-environments/src/common/let-over-lambda.lisp

Dependency

package.lisp (file).

Source

cl-environments.asd.

Parent Component

common (module).

Public Interface

defmacro! (macro).

Internals

• defmacro/g! (macro).
• defun! (macro).
• g!-symbol-p (function).
• group (function).
• lol-flatten (function).
• mkstr (function).
• o!-symbol-p (function).
• o!-symbol-to-g!-symbol (function).
• symb (function).

4.1.4 cl-environments/src/common/util.lisp

Dependency

let-over-lambda.lisp (file).

Source

cl-environments.asd.

Parent Component

common (module).

Public Interface

• let-if (macro).
• reexport-all-symbols (function).
• slot-values (macro).

Internals

gensyms (function).

4.1.5 cl-environments/src/common/macro-util.lisp

Dependency

util.lisp (file).

Source

cl-environments.asd.

Parent Component

common (module).

Public Interface

match-state (macro).

4.1.6 cl-environments/src/other/sbcl.lisp

If Feature

:sbcl

Dependency

common (module).

Source

cl-environments.asd.

Parent Component

src (module).

Packages

• cl-environments-cl.
• cl-environments.cltl2.

Public Interface

• augment-environment (function).
• augmented-compiler-macro-function (function).
• augmented-constantp (function).
• augmented-get-setf-expansion (function).
• augmented-macro-function (function).
• augmented-macroexpand (function).
• augmented-macroexpand-1 (function).
• declaration-information (function).
• define-declaration (macro).
• disable-hook (function).
• enable-hook (function).
• enclose-macro (function).
• in-environment (macro).
• walk-environment (macro).

Internals

• disable-walker (macro).
• partition-declarations (function).
• wrap-declaration-result (function).

4.1.7 cl-environments/src/other/allegro.lisp

If Feature

:allegro

Dependencies

• other/sbcl.lisp (file).
• common (module).

Source

cl-environments.asd.

Parent Component

src (module).

4.1.8 cl-environments/src/other/lispworks.lisp

If Feature

:lispworks

Dependencies

• other/allegro.lisp (file).
• other/sbcl.lisp (file).
• common (module).

Source

cl-environments.asd.

Parent Component

src (module).

4.1.9 cl-environments/src/walker/package.lisp

Source

cl-environments.asd.

Parent Component

walker (module).

4.1.10 cl-environments/src/walker/util.lisp

Dependency

package.lisp (file).

Source

cl-environments.asd.

Parent Component

walker (module).

4.1.11 cl-environments/src/walker/walker.lisp

Dependency

util.lisp (file).

Source

cl-environments.asd.

Parent Component

walker (module).

4.1.12 cl-environments/src/walker/cl-environments.lisp

Dependency

walker.lisp (file).

Source

cl-environments.asd.

Parent Component

walker (module).

4.1.13 cl-environments/src/walker/environment.lisp

Dependency

cl-environments.lisp (file).

Source

cl-environments.asd.

Parent Component

walker (module).

4.1.14 cl-environments/src/walker/declarations.lisp

Dependency

environment.lisp (file).

Source

cl-environments.asd.

Parent Component

walker (module).

4.1.15 cl-environments/src/walker/lambda.lisp

Dependency

declarations.lisp (file).

Source

cl-environments.asd.

Parent Component

walker (module).

4.1.16 cl-environments/src/walker/let-forms.lisp

Dependency

lambda.lisp (file).

Source

cl-environments.asd.

Parent Component

walker (module).

4.1.17 cl-environments/src/walker/def-forms.lisp

Dependency

let-forms.lisp (file).

Source

cl-environments.asd.

Parent Component

walker (module).

4.1.18 cl-environments/src/walker/special-forms.lisp

Dependency

def-forms.lisp (file).

Source

cl-environments.asd.

Parent Component

walker (module).

4.1.19 cl-environments/src/walker/cltl2-interface.lisp

If Feature

(:not (:or :ccl :cmucl :ecl))

Dependency

special-forms.lisp (file).

Source

cl-environments.asd.

Parent Component

walker (module).

4.1.20 cl-environments/src/walker/augment-environment.lisp

If Feature

(:not (:or :ccl :cmucl :ecl))

Dependencies

• cltl2-interface.lisp (file).
• special-forms.lisp (file).

Source

cl-environments.asd.

Parent Component

walker (module).

4.1.21 cl-environments/src/walker/cltl2-interface.ccl-cmucl.lisp

If Feature

(:or :ccl :cmucl)

Dependencies

• augment-environment.lisp (file).
• cltl2-interface.lisp (file).
• special-forms.lisp (file).

Source

cl-environments.asd.

Parent Component

walker (module).

4.1.22 cl-environments/src/walker/cltl2-interface.ecl.lisp

If Feature

:ecl

Dependencies

• cltl2-interface.ccl-cmucl.lisp (file).
• augment-environment.lisp (file).
• cltl2-interface.lisp (file).
• special-forms.lisp (file).

Source

cl-environments.asd.

Parent Component

walker (module).

4.1.23 cl-environments/src/walker/hook.lisp

Dependencies

• cltl2-interface.ecl.lisp (file).
• cltl2-interface.ccl-cmucl.lisp (file).
• augment-environment.lisp (file).
• cltl2-interface.lisp (file).
• special-forms.lisp (file).

Source

cl-environments.asd.

Parent Component

walker (module).

4.1.24 cl-environments/src/walker/cl-overrides.lisp

Dependency

hook.lisp (file).

Source

cl-environments.asd.

Parent Component

walker (module).

4.1.25 cl-environments/src/tools/package.lisp

Source

cl-environments.asd.

Parent Component

tools (module).

Packages

cl-environments.tools.

4.1.26 cl-environments/src/tools/types.lisp

Dependency

package.lisp (file).

Source

cl-environments.asd.

Parent Component

tools (module).

Public Interface

• get-return-type (function).
• get-return-types (function).
• get-value-type (function).

Internals

• constant-type (function).
• get-special-form-return-type (function).

6.1.1 Macros

Macro: define-declaration (decl-name (arg-var &optional env-var) &body body) ¶

Package

cl-environments.cltl2.

Source

other/sbcl.lisp.

Macro: defmacro! (name args &rest body) ¶

Package

cl-environments.util.

Source

let-over-lambda.lisp.

Macro: in-environment ((env-var &optional environment) (&rest bindings) &body forms) ¶

Package

cl-environments.cltl2.

Source

other/sbcl.lisp.

Macro: let-if ((&rest bindings) condition &body body) ¶

Allows variables to be initialized with different init-forms based on a condition. BINDINGS is a list of bindings where the first element is the symbol the second element is the init-form to evaluated if CONDITION evaluates to true, the second element is the init-form to evaluate if CONDITION evaluates to false.

Package

cl-environments.util.

Source

util.lisp.

Macro: match-state (arg &body states) ¶

Implements an FSM where each state may specify a pattern and a list of from states, when the argument matches the pattern of a particular and the current state is in the state’s from states list, the FSM transitions to that state. Each element in STATES is a list of the following form: (STATE PATTERN [:FROM STATES] . BODY) where STATE is a symbol identifying the state, PATTERN is the pattern to be matched, and STATES is the optional list of from states (it and the :FROM keyword may be excluded), if there is only one state it does not have to be in a list. If a state specifies no from states, it is as if all declared states are specifed as from states. When a state becomes the current state the forms in its BODY are executed, in which the machine may either transition to the next state using the internal function (NEXT NEW-ARG) where NEW-ARG is the new argument to be matched against the patterns. If NEXT is never called in body the return value of the last form in BODY becomes the return value of the MATCH-STATE form. The intiial argument is given by evaluated the form ARG. The initial state may be optionally specified, when the first element of STATES is :START the second element is taken as the form to be evaluated to produce the start state, otherwise the start state defaults
to :START. Patterns are matched in the order given, the first state whose pattern matches (both the argument pattern and FROM list) becomes the current state.

Package

cl-environments.util.

Source

macro-util.lisp.

Macro: slot-values ((&rest slots) o!form &body body) ¶

Package

cl-environments.util.

Source

util.lisp.

Macro: walk-environment (&body forms) ¶

Package

cl-environments.cltl2.

Source

other/sbcl.lisp.

6.1.2 Ordinary functions

Function: augment-environment (env &key variable symbol-macro function macro declare) ¶

Package

cl-environments.cltl2.

Source

other/sbcl.lisp.

Function: augmented-compiler-macro-function (name &optional environment) ¶

Package

cl-environments.cltl2.

Source

other/sbcl.lisp.

Function: augmented-constantp (form &optional environment) ¶

Package

cl-environments.cltl2.

Source

other/sbcl.lisp.

Function: augmented-get-setf-expansion (form &optional env) ¶

Package

cl-environments.cltl2.

Source

other/sbcl.lisp.

Function: augmented-macro-function (name &optional env) ¶

Package

cl-environments.cltl2.

Source

other/sbcl.lisp.

Function: augmented-macroexpand (form &optional env) ¶

Package

cl-environments.cltl2.

Source

other/sbcl.lisp.

Function: augmented-macroexpand-1 (form &optional env) ¶

Package

cl-environments.cltl2.

Source

other/sbcl.lisp.

Function: declaration-information (name &optional env) ¶

Package

cl-environments.cltl2.

Source

other/sbcl.lisp.

Function: disable-hook (&optional previous-hook) ¶

Does nothing, provided for compatibility with implementations where the code walker is required.

Package

cl-environments.cltl2.

Source

other/sbcl.lisp.

Function: enable-hook (&optional previous-hook) ¶

Does nothing, provided for compatibility with implementations where the code walker is required.

Package

cl-environments.cltl2.

Source

other/sbcl.lisp.

Function: enclose-macro (name lambda-list body &optional env) ¶

Package

cl-environments.cltl2.

Source

other/sbcl.lisp.

Function: get-return-type (form env) ¶

Determines the type of the return value of the form FORM, in the environment ENV.

Package

cl-environments.tools.

Source

types.lisp.

Function: get-return-types (forms env) ¶

Determines the return value type of each form in FORMS, in the environment ENV. Returns a list where each element is the return-value type of the corresponding form in FORMS.

Package

cl-environments.tools.

Source

types.lisp.

Function: get-value-type (form env &optional n) ¶

Determines the type of the N’th value returned by FORM, in the environment ENV. If N > 0 and there is no information about the type of the N’th value, NIL is returned.

Package

cl-environments.tools.

Source

types.lisp.

Function: reexport-all-symbols (from-package) ¶

Package

cl-environments.util.

Source

util.lisp.

6.2.1 Macros

Macro: defmacro/g! (name args &rest body) ¶

Package

cl-environments.util.

Source

let-over-lambda.lisp.

Macro: defun! (name args &body body) ¶

Package

cl-environments.util.

Source

let-over-lambda.lisp.

Macro: disable-walker (&body body) ¶

Package

cl-environments.cltl2.

Source

other/sbcl.lisp.

6.2.2 Ordinary functions

Function: constant-type (value) ¶

Return the type specifier of a constant value.

If the value is a CHARACTER, NUMBER or SYMBOL an EQL type specifier is returned. Otherwise the type specifier returned by TYPE-OF is returned.

VALUE is the constant value.

Package

cl-environments.tools.

Source

types.lisp.

Function: g!-symbol-p (s) ¶

Package

cl-environments.util.

Source

let-over-lambda.lisp.

Function: gensyms (syms &key key) ¶

Package

cl-environments.util.

Source

util.lisp.

Function: get-special-form-return-type (operator operands env) ¶

Determine the type of value returned by a form in which the operator is a special operator.

Package

cl-environments.tools.

Source

types.lisp.

Function: group (source n) ¶

Package

cl-environments.util.

Source

let-over-lambda.lisp.

Function: lol-flatten (x) ¶

Package

cl-environments.util.

Source

let-over-lambda.lisp.

Function: mkstr (&rest args) ¶

Package

cl-environments.util.

Source

let-over-lambda.lisp.

Function: o!-symbol-p (s) ¶

Package

cl-environments.util.

Source

let-over-lambda.lisp.

Function: o!-symbol-to-g!-symbol (s) ¶

Package

cl-environments.util.

Source

let-over-lambda.lisp.

Function: partition-declarations (xs declarations &optional env) ¶

Split DECLARATIONS into those that do and do not apply to XS. Return two values, one with each set.

Both sets of declarations are returned in a form that can be spliced directly into Lisp code:

(locally ,@(partition-declarations vars decls) ...)

Package

cl-environments.cltl2.

Source

other/sbcl.lisp.

Function: symb (&rest args) ¶

Package

cl-environments.util.

Source

let-over-lambda.lisp.

Function: wrap-declaration-result (type value) ¶

Wrap user-define declarations (TYPE = :DECLARE) in a list to silence errors due to SBCL bug.

Package

cl-environments.cltl2.

Source

other/sbcl.lisp.