The hu.dwim.partial-eval Reference Manual

4.1.1 hu.dwim.partial-eval/hu.dwim.partial-eval.asd

Source

hu.dwim.partial-eval.asd.

Parent Component

hu.dwim.partial-eval (system).

ASDF Systems

hu.dwim.partial-eval.

---

4.1.2 hu.dwim.partial-eval/source/api.lisp

Dependency

package.lisp (file).

Source

hu.dwim.partial-eval.asd.

Parent Component

source (module).

Public Interface

• collect-non-local-exits (function).
• collect-return-values (function).
• collect-side-effects (function).
• eval-function-call? (function).
• exits-function-call-non-locally? (function).
• exits-non-locally? (function).
• function-call-return-type (function).
• function-call-return-value (function).
• has-function-call-side-effect? (function).
• has-side-effect? (function).
• inline-function-call? (function).
• lookup-variable-value? (function).
• partial-eval-form (function).
• partial-eval-function-call (function).
• partial-eval-implicit-progn (function).
• return-type (function).
• return-value (function).
• returns-locally? (function).
• returns-new-allocation? (function).

Internals

• =layered-function-definer-for-collect-non-local-exits= (generic function).
• =layered-function-definer-for-collect-return-values= (generic function).
• =layered-function-definer-for-collect-side-effects= (generic function).
• =layered-function-definer-for-eval-function-call?= (generic function).
• =layered-function-definer-for-exits-function-call-non-locally?= (generic function).
• =layered-function-definer-for-exits-non-locally?= (generic function).
• =layered-function-definer-for-function-call-return-type= (generic function).
• =layered-function-definer-for-function-call-return-value= (generic function).
• =layered-function-definer-for-has-function-call-side-effect?= (generic function).
• =layered-function-definer-for-has-side-effect?= (generic function).
• =layered-function-definer-for-inline-function-call?= (generic function).
• =layered-function-definer-for-lookup-variable-value?= (generic function).
• =layered-function-definer-for-partial-eval-form= (generic function).
• =layered-function-definer-for-partial-eval-function-call= (generic function).
• =layered-function-definer-for-partial-eval-implicit-progn= (generic function).
• =layered-function-definer-for-return-type= (generic function).
• =layered-function-definer-for-return-value= (generic function).
• =layered-function-definer-for-returns-locally?= (generic function).
• =layered-function-definer-for-returns-new-allocation?= (generic function).

---

4.1.3 hu.dwim.partial-eval/source/environment.lisp

Dependency

logger.lisp (file).

Source

hu.dwim.partial-eval.asd.

Parent Component

source (module).

Public Interface

• (setf bindings-of) (writer method).
• bindings-of (reader method).
• remove-variable-binding (function).
• variable-binding (function).
• (setf variable-binding) (function).
• variable-type (function).
• (setf variable-type) (function).

Internals

• *environment* (special variable).
• assumptions-of (reader method).
• (setf assumptions-of) (writer method).
• clone-environment (function).
• environment (class).
• environmentp (function).
• extend-assumptions (function).
• extend-variable-bindings (function).
• fork-environment (function).
• types-of (reader method).
• (setf types-of) (writer method).

---

4.1.4 hu.dwim.partial-eval/source/logger.lisp

Dependency

package.lisp (file).

Source

hu.dwim.partial-eval.asd.

Parent Component

source (module).

Internals

• partial-eval.debug (macro).
• partial-eval.dribble (macro).
• partial-eval.error (macro).
• partial-eval.fatal (macro).
• partial-eval.info (macro).
• partial-eval.warn (macro).

---

4.1.5 hu.dwim.partial-eval/source/package.lisp

Source

hu.dwim.partial-eval.asd.

Parent Component

source (module).

Packages

hu.dwim.partial-eval.

---

4.1.6 hu.dwim.partial-eval/source/partial-eval.lisp

Dependencies

• api.lisp (file).
• util.lisp (file).
• source.lisp (file).
• environment.lisp (file).

Source

hu.dwim.partial-eval.asd.

Parent Component

source (module).

Public Interface

partial-eval (function).

Internals

• *function-call-inline-level* (special variable).
• *function-call-inline-limit* (special variable).
• *tagbody-go-unroll-limit* (special variable).
• =layer-class-definer-for-partial-eval-layer= (class).
• =layered-function-definer-for-collect-non-local-exits= (method).
• =layered-function-definer-for-collect-non-local-exits= (method).
• =layered-function-definer-for-collect-non-local-exits= (method).
• =layered-function-definer-for-collect-non-local-exits= (method).
• =layered-function-definer-for-collect-non-local-exits= (method).
• =layered-function-definer-for-collect-non-local-exits= (method).
• =layered-function-definer-for-collect-non-local-exits= (method).
• =layered-function-definer-for-collect-non-local-exits= (method).
• =layered-function-definer-for-collect-non-local-exits= (method).
• =layered-function-definer-for-collect-non-local-exits= (method).
• =layered-function-definer-for-collect-non-local-exits= (method).
• =layered-function-definer-for-collect-non-local-exits= (method).
• =layered-function-definer-for-collect-return-values= (method).
• =layered-function-definer-for-collect-return-values= (method).
• =layered-function-definer-for-collect-return-values= (method).
• =layered-function-definer-for-collect-side-effects= (method).
• =layered-function-definer-for-collect-side-effects= (method).
• =layered-function-definer-for-collect-side-effects= (method).
• =layered-function-definer-for-eval-function-call?= (method).
• =layered-function-definer-for-eval-function-call?= (method).
• =layered-function-definer-for-exits-function-call-non-locally?= (method).
• =layered-function-definer-for-exits-function-call-non-locally?= (method).
• =layered-function-definer-for-exits-non-locally?= (method).
• =layered-function-definer-for-exits-non-locally?= (method).
• =layered-function-definer-for-exits-non-locally?= (method).
• =layered-function-definer-for-exits-non-locally?= (method).
• =layered-function-definer-for-exits-non-locally?= (method).
• =layered-function-definer-for-exits-non-locally?= (method).
• =layered-function-definer-for-exits-non-locally?= (method).
• =layered-function-definer-for-exits-non-locally?= (method).
• =layered-function-definer-for-exits-non-locally?= (method).
• =layered-function-definer-for-exits-non-locally?= (method).
• =layered-function-definer-for-exits-non-locally?= (method).
• =layered-function-definer-for-exits-non-locally?= (method).
• =layered-function-definer-for-exits-non-locally?= (method).
• =layered-function-definer-for-exits-non-locally?= (method).
• =layered-function-definer-for-exits-non-locally?= (method).
• =layered-function-definer-for-exits-non-locally?= (method).
• =layered-function-definer-for-function-call-return-type= (method).
• =layered-function-definer-for-function-call-return-value= (method).
• =layered-function-definer-for-has-function-call-side-effect?= (method).
• =layered-function-definer-for-has-function-call-side-effect?= (method).
• =layered-function-definer-for-has-side-effect?= (method).
• =layered-function-definer-for-has-side-effect?= (method).
• =layered-function-definer-for-has-side-effect?= (method).
• =layered-function-definer-for-has-side-effect?= (method).
• =layered-function-definer-for-has-side-effect?= (method).
• =layered-function-definer-for-has-side-effect?= (method).
• =layered-function-definer-for-has-side-effect?= (method).
• =layered-function-definer-for-has-side-effect?= (method).
• =layered-function-definer-for-has-side-effect?= (method).
• =layered-function-definer-for-has-side-effect?= (method).
• =layered-function-definer-for-has-side-effect?= (method).
• =layered-function-definer-for-has-side-effect?= (method).
• =layered-function-definer-for-has-side-effect?= (method).
• =layered-function-definer-for-has-side-effect?= (method).
• =layered-function-definer-for-has-side-effect?= (method).
• =layered-function-definer-for-has-side-effect?= (method).
• =layered-function-definer-for-inline-function-call?= (method).
• =layered-function-definer-for-inline-function-call?= (method).
• =layered-function-definer-for-lookup-variable-value?= (method).
• =layered-function-definer-for-lookup-variable-value?= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-form= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-implicit-progn= (method).
• =layered-function-definer-for-partial-eval-implicit-progn= (method).
• =layered-function-definer-for-return-type= (method).
• =layered-function-definer-for-return-type= (method).
• =layered-function-definer-for-return-type= (method).
• =layered-function-definer-for-return-type= (method).
• =layered-function-definer-for-return-value= (method).
• =layered-function-definer-for-return-value= (method).
• =layered-function-definer-for-return-value= (method).
• =layered-function-definer-for-return-value= (method).
• =layered-function-definer-for-return-value= (method).
• =layered-function-definer-for-returns-locally?= (method).
• =layered-function-definer-for-returns-locally?= (method).
• =layered-function-definer-for-returns-locally?= (method).
• =layered-function-definer-for-returns-locally?= (method).
• =layered-function-definer-for-returns-locally?= (method).
• =layered-function-definer-for-returns-new-allocation?= (method).
• =layered-function-definer-for-returns-new-allocation?= (method).
• always? (function).
• eval-functions-of (reader method).
• (setf eval-functions-of) (writer method).
• inline-functions-of (reader method).
• (setf inline-functions-of) (writer method).
• lookup-variable-values-of (reader method).
• (setf lookup-variable-values-of) (writer method).
• may-and (function).
• may-and* (function).
• may-merge (function).
• may-merge* (function).
• may-not (function).
• may-or (function).
• may-or* (function).
• may-type (type).
• never? (function).
• non-local-exit-free-functions-of (reader method).
• (setf non-local-exit-free-functions-of) (writer method).
• partial-eval-lambda-list (function).
• partial-eval-layer-p (function).
• partial-eval-variable-binding-body (function).
• side-effect-free-functions-of (reader method).
• (setf side-effect-free-functions-of) (writer method).
• unknown? (function).

---

4.1.7 hu.dwim.partial-eval/source/source.lisp

Dependency

package.lisp (file).

Source

hu.dwim.partial-eval.asd.

Parent Component

source (module).

Internals

• *definition-lambda-forms* (special variable).
• clear-definition-lambda-forms (function).
• make-function-lambda-form (generic function).
• make-generic-function-discriminating-form (function).
• make-generic-method-lambda-form (function).

---

4.1.8 hu.dwim.partial-eval/source/standard.lisp

Dependency

partial-eval.lisp (file).

Source

hu.dwim.partial-eval.asd.

Parent Component

source (module).

Internals

• =layer-class-definer-for-standard-partial-eval-layer= (class).
• =layered-function-definer-for-eval-function-call?= (method).
• =layered-function-definer-for-exits-function-call-non-locally?= (method).
• =layered-function-definer-for-function-call-return-type= (method).
• =layered-function-definer-for-function-call-return-type= (method).
• =layered-function-definer-for-function-call-return-value= (method).
• =layered-function-definer-for-has-function-call-side-effect?= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• =layered-function-definer-for-partial-eval-function-call= (method).
• has-common-subclass? (function).

---

4.1.9 hu.dwim.partial-eval/source/util.lisp

Dependency

package.lisp (file).

Source

hu.dwim.partial-eval.asd.

Parent Component

source (module).

Internals

• block-referenced? (function).
• constant-values (function).
• constant-values? (function).
• current-layer-prototype (function).
• make-free-application-form (function).
• make-progn-form (function).
• make-progn-form-body (function).
• variable-referenced? (function).

---

6.1.1 Ordinary functions

Function: collect-non-local-exits (ast) ¶

Takes an AST and returns all possible non local exits in a list.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: collect-return-values (ast) ¶

Takes an AST and returns all possible return values in a list.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: collect-side-effects (ast) ¶

Takes an AST and returns all possible side effects in a list.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: eval-function-call? (ast name arguments) ¶

Takes the original AST, the function NAME symbol, and all function ARGUMENTS already partially evaluated. Returns TRUE if the function call should be evaluated at partial eval time, FALSE otherwise.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: exits-function-call-non-locally? (ast operator arguments) ¶

Takes the original AST, the function NAME symbol, and all function ARGUMENTS already partially evaluated. Returns one of :NEVER, :UNKNOWN or :ALWAYS depending on the non local exits in all possible environments.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: exits-non-locally? (ast) ¶

Takes an AST and returns one of :NEVER, :UNKNOWN or :ALWAYS depending on the non local exits in all possible environments.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: function-call-return-type (ast operator arguments) ¶

Takes the original AST, the function NAME symbol and all function ARGUMENTS already partially evaluated. Returns a lisp type specifier, any value that could be returned by the given function call in all possible environments is an instance of the returned type.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: function-call-return-value (ast operator arguments) ¶

Takes the original AST, the function NAME symbol and all function ARGUMENTS already partially evaluated. Returns an AST that gives the return value when the original AST would return locally, otherwise NIL.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: has-function-call-side-effect? (ast operator arguments) ¶

Takes the original AST, the function NAME symbol, and all function ARGUMENTS already partially evaluated. Returns one of :NEVER, :UNKNOWN or :ALWAYS depending on the side effects in all possible environments.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: has-side-effect? (ast) ¶

Takes an AST and returns one of :NEVER, :UNKNOWN or :ALWAYS depending on the side effects in all possible environments.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: inline-function-call? (ast name arguments) ¶

Takes the original AST, the function NAME symbol and all function ARGUMENTS already partially evaluated. Returns TRUE if the function call should be inlined at partial eval time, FALSE otherwise.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: lookup-variable-value? (ast name) ¶

Takes the original AST, and the variable NAME symbol. Returns TRUE if the value should be looked up at partial eval time, FALSE otherwise.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: partial-eval (form &key layer assumptions bindings types eval-functions inline-functions side-effect-free-functions non-local-exit-free-functions lookup-variable-values) ¶

The function PARTIAL-EVAL takes a lisp FORM and returns another lisp FORM. The resulting form should, in all possible environments, produce the same return value(s), the same side effects in the same order, and the same non local exits (in and out), as the original FORM would have produced. The ENVIRONMENT parameter specifies the initial assumptions in which the form should be partially evaluated. The LAYER parameter provides a way to customize the standard partial evaluation logic to your needs.

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

Function: partial-eval-form (ast) ¶

This function is the recursive variant of PARTIAL-EVAL. Takes an AST and returns the partially evaluated AST.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: partial-eval-function-call (ast operator arguments) ¶

Takes the original AST, the function NAME symbol, and all function ARGUMENTS already partially evaluated. Returns another AST as the result of partially evaluating the function call.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: partial-eval-implicit-progn (ast) ¶

Takes an implicit progn AST and returns the partially evaluated body.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: remove-variable-binding (name &optional environment) ¶

Package

hu.dwim.partial-eval.

Source

environment.lisp.

Function: return-type (ast) ¶

Takes an AST and returns a lisp type specifier. Any value that could be returned by the given form in all possible environments is an instance of the returned type.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: return-value (ast) ¶

Takes an AST and returns an AST that gives the return value when the original AST would return locally, otherwise NIL.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: returns-locally? (ast) ¶

Takes an AST and returns one of :NEVER, :UNKNOWN or :ALWAYS depending on the local returns in all possible environments.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: returns-new-allocation? (ast) ¶

Takes an AST and returns one of :NEVER, :UNKNOWN, or :ALWAYS depending on the allocation of the returned value in all possible environments.

Package

hu.dwim.partial-eval.

Source

api.lisp.

Function: variable-binding (name &optional environment) ¶

Package

hu.dwim.partial-eval.

Source

environment.lisp.

Function: (setf variable-binding) (name &optional environment) ¶

Package

hu.dwim.partial-eval.

Source

environment.lisp.

Function: variable-type (name &optional environment) ¶

Package

hu.dwim.partial-eval.

Source

environment.lisp.

Function: (setf variable-type) (name &optional environment) ¶

Package

hu.dwim.partial-eval.

Source

environment.lisp.

---

6.1.2 Standalone methods

Writer Method: (setf bindings-of) ((environment environment)) ¶

A list of alternating name value pairs, where name is a symbol and value is a walked-form

Package

hu.dwim.walker.

Source

environment.lisp.

Target Slot

bindings.

Reader Method: bindings-of ((environment environment)) ¶

A list of alternating name value pairs, where name is a symbol and value is a walked-form

Package

hu.dwim.walker.

Source

environment.lisp.

Target Slot

bindings.

---

6.2.1 Special variables

Special Variable: *definition-lambda-forms* ¶

Package

hu.dwim.partial-eval.

Source

source.lisp.

Special Variable: *environment* ¶

Package

hu.dwim.partial-eval.

Source

environment.lisp.

Special Variable: *function-call-inline-level* ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

Special Variable: *function-call-inline-limit* ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

Special Variable: *tagbody-go-unroll-limit* ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

---

6.2.2 Macros

Macro: partial-eval.debug (message-control &rest message-args) ¶

Package

hu.dwim.partial-eval.

Source

logger.lisp.

Macro: partial-eval.dribble (message-control &rest message-args) ¶

Package

hu.dwim.partial-eval.

Source

logger.lisp.

Macro: partial-eval.error (message-control &rest message-args) ¶

Package

hu.dwim.partial-eval.

Source

logger.lisp.

Macro: partial-eval.fatal (message-control &rest message-args) ¶

Package

hu.dwim.partial-eval.

Source

logger.lisp.

Macro: partial-eval.info (message-control &rest message-args) ¶

Package

hu.dwim.partial-eval.

Source

logger.lisp.

Macro: partial-eval.warn (message-control &rest message-args) ¶

Package

hu.dwim.partial-eval.

Source

logger.lisp.

---

6.2.3 Ordinary functions

Function: always? (value) ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

Function: block-referenced? (block ast) ¶

Package

hu.dwim.partial-eval.

Source

util.lisp.

Function: clear-definition-lambda-forms () ¶

Package

hu.dwim.partial-eval.

Source

source.lisp.

Function: clone-environment (&optional environment) ¶

Package

hu.dwim.partial-eval.

Source

environment.lisp.

Function: constant-values (forms) ¶

Package

hu.dwim.partial-eval.

Source

util.lisp.

Function: constant-values? (forms) ¶

Package

hu.dwim.partial-eval.

Source

util.lisp.

Function: current-layer-prototype () ¶

Package

hu.dwim.partial-eval.

Source

util.lisp.

Function: environmentp (object) ¶

Package

hu.dwim.partial-eval.

Source

environment.lisp.

Function: extend-assumptions (assumption &optional environment) ¶

Package

hu.dwim.partial-eval.

Source

environment.lisp.

Function: extend-variable-bindings (name value &optional environment) ¶

Package

hu.dwim.partial-eval.

Source

environment.lisp.

Function: fork-environment (&optional environment) ¶

Package

hu.dwim.partial-eval.

Source

environment.lisp.

Function: has-common-subclass? (class-1 class-2) ¶

Package

hu.dwim.partial-eval.

Source

standard.lisp.

Function: make-free-application-form (operator arguments) ¶

Package

hu.dwim.partial-eval.

Source

util.lisp.

Function: make-generic-function-discriminating-form (function arguments-list) ¶

Package

hu.dwim.partial-eval.

Source

source.lisp.

Function: make-generic-method-lambda-form (method) ¶

Package

hu.dwim.partial-eval.

Source

source.lisp.

Function: make-progn-form (body) ¶

Package

hu.dwim.partial-eval.

Source

util.lisp.

Function: make-progn-form-body (body) ¶

Package

hu.dwim.partial-eval.

Source

util.lisp.

Function: may-and (&rest values) ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

Function: may-and* (values &key key) ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

Function: may-merge (&rest values) ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

Function: may-merge* (values &key key) ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

Function: may-not (value) ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

Function: may-or (&rest values) ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

Function: may-or* (values &key key) ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

Function: never? (value) ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

Function: partial-eval-lambda-list (argument-definitions argument-values) ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

Function: partial-eval-layer-p (object) ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

Function: partial-eval-variable-binding-body (ast bindings) ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

Function: unknown? (value) ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

Function: variable-referenced? (name ast) ¶

Package

hu.dwim.partial-eval.

Source

util.lisp.

---

6.2.4 Generic functions

Generic Function: =layered-function-definer-for-collect-non-local-exits= (layer-arg0 ast) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-collect-non-local-exits= (layer-arg-0 (ast walked-lexical-application-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-collect-non-local-exits= (layer-arg-0 (ast setq-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-collect-non-local-exits= (layer-arg-0 (ast free-application-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-collect-non-local-exits= (layer-arg-0 (ast variable-reference-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-collect-non-local-exits= (layer-arg-0 (ast the-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-collect-non-local-exits= (layer-arg-0 (ast go-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-collect-non-local-exits= (layer-arg-0 (ast go-tag-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-collect-non-local-exits= (layer-arg-0 (ast return-from-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-collect-non-local-exits= (layer-arg-0 (ast implicit-progn-mixin)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-collect-non-local-exits= (layer-arg-0 (ast if-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-collect-non-local-exits= (layer-arg-0 (ast constant-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-collect-non-local-exits= (layer-arg-0 (ast walked-form)) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-collect-return-values= (layer-arg0 ast) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-collect-return-values= (layer-arg-0 (block block-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-collect-return-values= (layer-arg-0 (ast implicit-progn-mixin)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-collect-return-values= (layer-arg-0 (ast walked-form)) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-collect-side-effects= (layer-arg0 ast) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-collect-side-effects= (layer-arg-0 (ast free-application-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-collect-side-effects= (layer-arg-30 (ast implicit-progn-mixin)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-collect-side-effects= (layer-arg-0 (ast constant-form)) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-eval-function-call?= (layer-arg0 ast name arguments) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-eval-function-call?= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) operator arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-eval-function-call?= ((layer-arg-0 =layer-class-definer-for-partial-eval-layer=) (ast free-application-form) operator arguments) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-eval-function-call?= (layer-arg-0 (ast free-application-form) operator arguments) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-exits-function-call-non-locally?= (layer-arg0 ast operator arguments) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-exits-function-call-non-locally?= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) operator arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-exits-function-call-non-locally?= ((layer-arg-0 =layer-class-definer-for-partial-eval-layer=) (ast free-application-form) operator arguments) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-exits-function-call-non-locally?= (layer-arg-0 (ast free-application-form) operator arguments) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-exits-non-locally?= (layer-arg0 ast) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-exits-non-locally?= (layer-arg-0 (ast free-application-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-exits-non-locally?= (layer-arg-0 (ast function-object-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-exits-non-locally?= (layer-arg-0 (ast lambda-function-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-exits-non-locally?= (layer-arg-0 (ast walked-lexical-application-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-exits-non-locally?= (layer-arg-0 (ast lexical-variable-binding-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-exits-non-locally?= (layer-arg-0 (ast variable-reference-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-exits-non-locally?= (layer-arg-0 (ast the-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-exits-non-locally?= (layer-arg-0 (ast go-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-exits-non-locally?= (layer-arg-0 (ast go-tag-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-exits-non-locally?= (layer-arg-0 (ast return-from-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-exits-non-locally?= (layer-arg-0 (ast block-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-exits-non-locally?= (layer-arg-0 (ast binder-form-mixin)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-exits-non-locally?= (layer-arg-0 (ast implicit-progn-mixin)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-exits-non-locally?= (layer-arg-0 (ast if-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-exits-non-locally?= (layer-arg-0 (ast constant-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-exits-non-locally?= (layer-arg-0 (ast walked-form)) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-function-call-return-type= (layer-arg0 ast operator arguments) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-function-call-return-type= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql cons)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-function-call-return-type= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql list)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-function-call-return-type= (layer-arg-0 (ast free-application-form) operator arguments) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-function-call-return-value= (layer-arg0 ast operator arguments) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-function-call-return-value= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql not)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-function-call-return-value= (layer-arg-0 (ast free-application-form) operator arguments) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-has-function-call-side-effect?= (layer-arg0 ast operator arguments) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-has-function-call-side-effect?= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) operator arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-has-function-call-side-effect?= ((layer-arg-0 =layer-class-definer-for-partial-eval-layer=) (ast free-application-form) operator arguments) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-has-function-call-side-effect?= (layer-arg-0 (ast free-application-form) operator arguments) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-has-side-effect?= (layer-arg0 ast) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-has-side-effect?= (layer-arg-0 (ast free-application-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-has-side-effect?= (layer-arg-0 (ast walked-lexical-application-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-has-side-effect?= (layer-arg-0 (ast function-object-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-has-side-effect?= (layer-arg-0 (ast lambda-function-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-has-side-effect?= (layer-arg-0 (ast lexical-variable-binding-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-has-side-effect?= (layer-arg-0 (ast variable-reference-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-has-side-effect?= (layer-arg-0 (ast the-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-has-side-effect?= (layer-arg-0 (ast setq-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-has-side-effect?= (layer-arg-0 (ast go-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-has-side-effect?= (layer-arg-0 (ast go-tag-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-has-side-effect?= (layer-arg-0 (ast return-from-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-has-side-effect?= (layer-arg-0 (ast binder-form-mixin)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-has-side-effect?= (layer-arg-0 (ast implicit-progn-mixin)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-has-side-effect?= (layer-arg-0 (ast if-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-has-side-effect?= (layer-arg-0 (ast constant-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-has-side-effect?= (layer-arg-0 (ast walked-form)) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-inline-function-call?= (layer-arg0 ast name arguments) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-inline-function-call?= ((layer-arg-0 =layer-class-definer-for-partial-eval-layer=) (ast free-application-form) operator arguments) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-inline-function-call?= (layer-arg-0 (ast free-application-form) operator arguments) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-lookup-variable-value?= (layer-arg0 ast name) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-lookup-variable-value?= ((layer-arg-0 =layer-class-definer-for-partial-eval-layer=) (ast variable-reference-form) name) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-lookup-variable-value?= (layer-arg-0 (ast variable-reference-form) name) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-partial-eval-form= (layer-arg0 ast) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast symbol-macrolet-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast locally-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast the-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast lambda-application-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast lexical-application-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast labels-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast flet-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast macrolet-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast multiple-value-call-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast free-application-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast lambda-function-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast free-function-object-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast walked-lexical-function-object-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast special-variable-reference-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast variable-reference-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast let*-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast let-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast setq-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast go-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast go-tag-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast tagbody-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast return-from-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast block-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast multiple-value-prog1-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast progn-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast if-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-form= (layer-arg-0 (ast constant-form)) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-partial-eval-function-call= (layer-arg0 ast operator arguments) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql getf)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql *)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql class-of)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql subtypep)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql typep)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql consp)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql endp)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql null)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql list*)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql list)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql cddr)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql cdar)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql cadr)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql caar)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql cdr)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql car)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql funcall)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql apply)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql values)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql atom)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= ((layer-arg-0 =layer-class-definer-for-standard-partial-eval-layer=) (ast free-application-form) (operator (eql eql)) arguments) ¶

Source

standard.lisp.

Method: =layered-function-definer-for-partial-eval-function-call= (layer-arg-0 (ast free-application-form) operator arguments) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-partial-eval-implicit-progn= (layer-arg0 ast) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-partial-eval-implicit-progn= (layer-arg-0 (ast list)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-partial-eval-implicit-progn= (layer-arg-0 (ast implicit-progn-mixin)) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-return-type= (layer-arg0 ast) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-return-type= (layer-arg-0 (ast free-application-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-return-type= (layer-arg-0 (ast variable-reference-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-return-type= (layer-arg-0 (ast constant-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-return-type= (layer-arg-0 (ast walked-form)) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-return-value= (layer-arg0 ast) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-return-value= (layer-arg-0 (ast free-application-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-return-value= (layer-arg-0 (ast block-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-return-value= (layer-arg-0 (ast implicit-progn-mixin)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-return-value= (layer-arg-0 (ast constant-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-return-value= (layer-arg-0 (ast walked-form)) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-returns-locally?= (layer-arg0 ast) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-returns-locally?= (layer-arg-0 (ast implicit-progn-mixin)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-returns-locally?= (layer-arg-0 (ast go-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-returns-locally?= (layer-arg-0 (ast return-from-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-returns-locally?= (layer-arg-0 (ast constant-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-returns-locally?= (layer-arg-0 (ast walked-form)) ¶

Source

partial-eval.lisp.

Generic Function: =layered-function-definer-for-returns-new-allocation?= (layer-arg0 ast) ¶

Package

hu.dwim.partial-eval.

Source

api.lisp.

Methods

Method: =layered-function-definer-for-returns-new-allocation?= (layer-arg-0 (ast constant-form)) ¶

Source

partial-eval.lisp.

Method: =layered-function-definer-for-returns-new-allocation?= (layer-arg-0 (ast walked-form)) ¶

Source

partial-eval.lisp.

Generic Reader: assumptions-of (object) ¶

Generic Writer: (setf assumptions-of) (object) ¶

Package

hu.dwim.partial-eval.

Methods

Reader Method: assumptions-of ((environment environment)) ¶

Writer Method: (setf assumptions-of) ((environment environment)) ¶

A list of forms that evaluate to #t in the current environment

Source

environment.lisp.

Target Slot

assumptions.

Generic Reader: eval-functions-of (object) ¶

Package

hu.dwim.partial-eval.

Methods

Reader Method: eval-functions-of ((=layer-class-definer-for-partial-eval-layer= =layer-class-definer-for-partial-eval-layer=)) ¶

automatically generated reader method

Source

partial-eval.lisp.

Target Slot

eval-functions.

Generic Writer: (setf eval-functions-of) (object) ¶

Package

hu.dwim.partial-eval.

Methods

Writer Method: (setf eval-functions-of) ((=layer-class-definer-for-partial-eval-layer= =layer-class-definer-for-partial-eval-layer=)) ¶

automatically generated writer method

Source

partial-eval.lisp.

Target Slot

eval-functions.

Generic Reader: inline-functions-of (object) ¶

Package

hu.dwim.partial-eval.

Methods

Reader Method: inline-functions-of ((=layer-class-definer-for-partial-eval-layer= =layer-class-definer-for-partial-eval-layer=)) ¶

automatically generated reader method

Source

partial-eval.lisp.

Target Slot

inline-functions.

Generic Writer: (setf inline-functions-of) (object) ¶

Package

hu.dwim.partial-eval.

Methods

Writer Method: (setf inline-functions-of) ((=layer-class-definer-for-partial-eval-layer= =layer-class-definer-for-partial-eval-layer=)) ¶

automatically generated writer method

Source

partial-eval.lisp.

Target Slot

inline-functions.

Generic Reader: lookup-variable-values-of (object) ¶

Package

hu.dwim.partial-eval.

Methods

Reader Method: lookup-variable-values-of ((=layer-class-definer-for-partial-eval-layer= =layer-class-definer-for-partial-eval-layer=)) ¶

automatically generated reader method

Source

partial-eval.lisp.

Target Slot

lookup-variable-values.

Generic Writer: (setf lookup-variable-values-of) (object) ¶

Package

hu.dwim.partial-eval.

Methods

Writer Method: (setf lookup-variable-values-of) ((=layer-class-definer-for-partial-eval-layer= =layer-class-definer-for-partial-eval-layer=)) ¶

automatically generated writer method

Source

partial-eval.lisp.

Target Slot

lookup-variable-values.

Generic Function: make-function-lambda-form (function) ¶

Package

hu.dwim.partial-eval.

Source

source.lisp.

Methods

Method: make-function-lambda-form :around (function) ¶

Method: make-function-lambda-form ((name symbol)) ¶

Method: make-function-lambda-form ((name cons)) ¶

Method: make-function-lambda-form ((function function)) ¶

Method: make-function-lambda-form ((function generic-function)) ¶

Generic Reader: non-local-exit-free-functions-of (object) ¶

Package

hu.dwim.partial-eval.

Methods

Reader Method: non-local-exit-free-functions-of ((=layer-class-definer-for-partial-eval-layer= =layer-class-definer-for-partial-eval-layer=)) ¶

automatically generated reader method

Source

partial-eval.lisp.

Target Slot

non-local-exit-free-functions.

Generic Writer: (setf non-local-exit-free-functions-of) (object) ¶

Package

hu.dwim.partial-eval.

Methods

Writer Method: (setf non-local-exit-free-functions-of) ((=layer-class-definer-for-partial-eval-layer= =layer-class-definer-for-partial-eval-layer=)) ¶

automatically generated writer method

Source

partial-eval.lisp.

Target Slot

non-local-exit-free-functions.

Generic Reader: side-effect-free-functions-of (object) ¶

Package

hu.dwim.partial-eval.

Methods

Reader Method: side-effect-free-functions-of ((=layer-class-definer-for-partial-eval-layer= =layer-class-definer-for-partial-eval-layer=)) ¶

automatically generated reader method

Source

partial-eval.lisp.

Target Slot

side-effect-free-functions.

Generic Writer: (setf side-effect-free-functions-of) (object) ¶

Package

hu.dwim.partial-eval.

Methods

Writer Method: (setf side-effect-free-functions-of) ((=layer-class-definer-for-partial-eval-layer= =layer-class-definer-for-partial-eval-layer=)) ¶

automatically generated writer method

Source

partial-eval.lisp.

Target Slot

side-effect-free-functions.

Generic Reader: types-of (object) ¶

Generic Writer: (setf types-of) (object) ¶

Package

hu.dwim.partial-eval.

Methods

Reader Method: types-of ((environment environment)) ¶

Writer Method: (setf types-of) ((environment environment)) ¶

A list of alternating name type pairs, where name is a symbol and type is a type designator

Source

environment.lisp.

Target Slot

types.

---

6.2.5 Classes

Class: =layer-class-definer-for-partial-eval-layer= ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

Direct superclasses

standard-layer-object.

Direct subclasses

=layer-class-definer-for-standard-partial-eval-layer=.

Direct methods

• =layered-function-definer-for-eval-function-call?=.
• =layered-function-definer-for-exits-function-call-non-locally?=.
• =layered-function-definer-for-has-function-call-side-effect?=.
• =layered-function-definer-for-inline-function-call?=.
• =layered-function-definer-for-lookup-variable-value?=.
• (setf eval-functions-of).
• eval-functions-of.
• (setf inline-functions-of).
• inline-functions-of.
• (setf lookup-variable-values-of).
• lookup-variable-values-of.
• (setf non-local-exit-free-functions-of).
• non-local-exit-free-functions-of.
• (setf side-effect-free-functions-of).
• side-effect-free-functions-of.

Direct slots

Slot: eval-functions ¶

Allocation

:class

Initargs

:eval-functions

Readers

eval-functions-of.

Writers

(setf eval-functions-of).

Slot: inline-functions ¶

Allocation

:class

Initargs

:inline-functions

Readers

inline-functions-of.

Writers

(setf inline-functions-of).

Slot: side-effect-free-functions ¶

Allocation

:class

Initargs

:side-effect-free-functions

Readers

side-effect-free-functions-of.

Writers

(setf side-effect-free-functions-of).

Slot: non-local-exit-free-functions ¶

Allocation

:class

Initargs

:non-local-exit-free-functions

Readers

non-local-exit-free-functions-of.

Writers

(setf non-local-exit-free-functions-of).

Slot: lookup-variable-values ¶

Allocation

:class

Initargs

:lookup-variable-values

Readers

lookup-variable-values-of.

Writers

(setf lookup-variable-values-of).

Class: =layer-class-definer-for-standard-partial-eval-layer= ¶

Package

hu.dwim.partial-eval.

Source

standard.lisp.

Direct superclasses

=layer-class-definer-for-partial-eval-layer=.

Direct methods

• =layered-function-definer-for-eval-function-call?=.
• =layered-function-definer-for-exits-function-call-non-locally?=.
• =layered-function-definer-for-function-call-return-type=.
• =layered-function-definer-for-function-call-return-type=.
• =layered-function-definer-for-function-call-return-value=.
• =layered-function-definer-for-has-function-call-side-effect?=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.
• =layered-function-definer-for-partial-eval-function-call=.

Class: environment ¶

Package

hu.dwim.partial-eval.

Source

environment.lisp.

Direct methods

• (setf assumptions-of).
• assumptions-of.
• (setf bindings-of).
• bindings-of.
• (setf types-of).
• types-of.

Direct slots

Slot: assumptions ¶

A list of forms that evaluate to #t in the current environment

Initargs

:assumptions

Readers

assumptions-of.

Writers

(setf assumptions-of).

Slot: bindings ¶

A list of alternating name value pairs, where name is a symbol and value is a walked-form

Initargs

:bindings

Readers

bindings-of.

Writers

(setf bindings-of).

Slot: types ¶

A list of alternating name type pairs, where name is a symbol and type is a type designator

Initargs

:types

Readers

types-of.

Writers

(setf types-of).

---

6.2.6 Types

Type: may-type () ¶

Package

hu.dwim.partial-eval.

Source

partial-eval.lisp.

---