The hu.dwim.partial-eval Reference Manual

Table of Contents

The hu.dwim.partial-eval Reference Manual

This is the hu.dwim.partial-eval Reference Manual, generated automatically by Declt version 3.0 "Montgomery Scott" on Mon Apr 19 16:22:21 2021 GMT+0.

1 Introduction

http://dwim.hu/project/hu.dwim.partial-eval

2 Systems

The main system appears first, followed by any subsystem dependency.

2.1 hu.dwim.partial-eval

Author

Levente Mészáros <levente.meszaros@gmail.com>

License

BSD or Bugroff

Description

Extensible partial evaluator.

Defsystem Dependency

hu.dwim.asdf

Dependencies

• hu.dwim.common
• hu.dwim.def
• hu.dwim.defclass-star+hu.dwim.def+contextl
• hu.dwim.logger
• hu.dwim.syntax-sugar
• hu.dwim.util
• hu.dwim.util/source
• hu.dwim.walker
• swank

Source

hu.dwim.partial-eval.asd (file)

Component

source (module)

3 Modules

Modules are listed depth-first from the system components tree.

3.1 hu.dwim.partial-eval/source

Parent

hu.dwim.partial-eval (system)

Location

source/

Components

• api.lisp (file)
• environment.lisp (file)
• logger.lisp (file)
• package.lisp (file)
• partial-eval.lisp (file)
• source.lisp (file)
• standard.lisp (file)
• util.lisp (file)

4 Files

Files are sorted by type and then listed depth-first from the systems components trees.

4.1 Lisp

4.1.1 hu.dwim.partial-eval.asd

Location

hu.dwim.partial-eval.asd

Systems

hu.dwim.partial-eval (system)

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

Dependency

package.lisp (file)

Parent

source (module)

Location

source/api.lisp

Exported Definitions

• 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)

Internal Definitions

• =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)

Parent

source (module)

Location

source/environment.lisp

Exported Definitions

• remove-variable-binding (function)
• variable-binding (function)
• (setf variable-binding) (function)
• variable-type (function)
• (setf variable-type) (function)

Internal Definitions

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

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

Dependency

package.lisp (file)

Parent

source (module)

Location

source/logger.lisp

Internal Definitions

• 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

Parent

source (module)

Location

source/package.lisp

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)

Parent

source (module)

Location

source/partial-eval.lisp

Exported Definitions

partial-eval (function)

Internal Definitions

• *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 (method)
• (setf eval-functions-of) (method)
• inline-functions-of (method)
• (setf inline-functions-of) (method)
• lookup-variable-values-of (method)
• (setf lookup-variable-values-of) (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 (method)
• (setf non-local-exit-free-functions-of) (method)
• partial-eval-lambda-list (function)
• partial-eval-variable-binding-body (function)
• side-effect-free-functions-of (method)
• (setf side-effect-free-functions-of) (method)
• unknown? (function)

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

Dependency

package.lisp (file)

Parent

source (module)

Location

source/source.lisp

Internal Definitions

• *definition-lambda-forms* (special variable)
• clear-definition-lambda-forms (function)
• make-function-lambda-form (generic function)
• make-function-lambda-form (method)
• make-function-lambda-form (method)
• make-function-lambda-form (method)
• make-function-lambda-form (method)
• make-function-lambda-form (method)
• 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)

Parent

source (module)

Location

source/standard.lisp

Internal Definitions

• =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)

Parent

source (module)

Location

source/util.lisp

Internal Definitions

• 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)

5 Packages

Packages are listed by definition order.

5.1 hu.dwim.partial-eval

Source

package.lisp (file)

Use List

• hu.dwim.walker
• hu.dwim.util
• hu.dwim.syntax-sugar
• hu.dwim.logger
• hu.dwim.defclass-star
• hu.dwim.def
• hu.dwim.common
• hu.dwim.asdf
• contextl

Exported Definitions

• 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 (function)
• partial-eval-form (function)
• partial-eval-function-call (function)
• partial-eval-implicit-progn (function)
• remove-variable-binding (function)
• return-type (function)
• return-value (function)
• returns-locally? (function)
• returns-new-allocation? (function)
• variable-binding (function)
• (setf variable-binding) (function)
• variable-type (function)
• (setf variable-type) (function)

Internal Definitions

• *definition-lambda-forms* (special variable)
• *environment* (special variable)
• *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)
• =layer-class-definer-for-standard-partial-eval-layer= (class)
• =layered-function-definer-for-collect-non-local-exits= (generic function)
• =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= (generic function)
• =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= (generic function)
• =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?= (generic function)
• =layered-function-definer-for-eval-function-call?= (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?= (generic function)
• =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-function-call-non-locally?= (method)
• =layered-function-definer-for-exits-non-locally?= (generic function)
• =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= (generic function)
• =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-type= (method)
• =layered-function-definer-for-function-call-return-value= (generic function)
• =layered-function-definer-for-function-call-return-value= (method)
• =layered-function-definer-for-function-call-return-value= (method)
• =layered-function-definer-for-has-function-call-side-effect?= (generic function)
• =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-function-call-side-effect?= (method)
• =layered-function-definer-for-has-side-effect?= (generic function)
• =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?= (generic function)
• =layered-function-definer-for-inline-function-call?= (method)
• =layered-function-definer-for-inline-function-call?= (method)
• =layered-function-definer-for-lookup-variable-value?= (generic function)
• =layered-function-definer-for-lookup-variable-value?= (method)
• =layered-function-definer-for-lookup-variable-value?= (method)
• =layered-function-definer-for-partial-eval-form= (generic function)
• =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= (generic function)
• =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)
• =layered-function-definer-for-partial-eval-function-call= (method)
• =layered-function-definer-for-partial-eval-implicit-progn= (generic function)
• =layered-function-definer-for-partial-eval-implicit-progn= (method)
• =layered-function-definer-for-partial-eval-implicit-progn= (method)
• =layered-function-definer-for-return-type= (generic function)
• =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= (generic function)
• =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?= (generic function)
• =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?= (generic function)
• =layered-function-definer-for-returns-new-allocation?= (method)
• =layered-function-definer-for-returns-new-allocation?= (method)
• always? (function)
• assumptions-of (generic function)
• assumptions-of (method)
• (setf assumptions-of) (method)
• (setf assumptions-of) (generic function)
• block-referenced? (function)
• clear-definition-lambda-forms (function)
• clone-environment (function)
• constant-values (function)
• constant-values? (function)
• current-layer-prototype (function)
• environment (class)
• eval-functions-of (generic function)
• eval-functions-of (method)
• (setf eval-functions-of) (method)
• (setf eval-functions-of) (generic function)
• extend-assumptions (function)
• extend-variable-bindings (function)
• fork-environment (function)
• has-common-subclass? (function)
• inline-functions-of (generic function)
• inline-functions-of (method)
• (setf inline-functions-of) (method)
• (setf inline-functions-of) (generic function)
• lookup-variable-values-of (generic function)
• lookup-variable-values-of (method)
• (setf lookup-variable-values-of) (method)
• (setf lookup-variable-values-of) (generic function)
• make-free-application-form (function)
• make-function-lambda-form (generic function)
• make-function-lambda-form (method)
• make-function-lambda-form (method)
• make-function-lambda-form (method)
• make-function-lambda-form (method)
• make-function-lambda-form (method)
• make-generic-function-discriminating-form (function)
• make-generic-method-lambda-form (function)
• make-progn-form (function)
• make-progn-form-body (function)
• 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 (generic function)
• non-local-exit-free-functions-of (method)
• (setf non-local-exit-free-functions-of) (method)
• (setf non-local-exit-free-functions-of) (generic function)
• partial-eval-lambda-list (function)
• partial-eval-variable-binding-body (function)
• partial-eval.debug (macro)
• partial-eval.dribble (macro)
• partial-eval.error (macro)
• partial-eval.fatal (macro)
• partial-eval.info (macro)
• partial-eval.warn (macro)
• side-effect-free-functions-of (generic function)
• side-effect-free-functions-of (method)
• (setf side-effect-free-functions-of) (method)
• (setf side-effect-free-functions-of) (generic function)
• types-of (generic function)
• types-of (method)
• (setf types-of) (method)
• (setf types-of) (generic function)
• unknown? (function)
• variable-referenced? (function)

6 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.

6.1 Exported definitions

6.1.1 Functions

Function: collect-non-local-exits ()

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

Package

hu.dwim.partial-eval

Source

api.lisp (file)

Function: collect-return-values ()

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

Package

hu.dwim.partial-eval

Source

api.lisp (file)

Function: collect-side-effects ()

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

Package

hu.dwim.partial-eval

Source

api.lisp (file)

Function: eval-function-call? ()

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 (file)

Function: exits-function-call-non-locally? ()

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 (file)

Function: exits-non-locally? ()

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 (file)

Function: function-call-return-type ()

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 (file)

Function: function-call-return-value ()

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 (file)

Function: has-function-call-side-effect? ()

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 (file)

Function: has-side-effect? ()

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 (file)

Function: inline-function-call? ()

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 (file)

Function: lookup-variable-value? ()

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 (file)

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 (file)

Function: partial-eval-form ()

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 (file)

Function: partial-eval-function-call ()

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 (file)

Function: partial-eval-implicit-progn ()

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

Package

hu.dwim.partial-eval

Source

api.lisp (file)

Function: remove-variable-binding NAME &optional ENVIRONMENT

Package

hu.dwim.partial-eval

Source

environment.lisp (file)

Function: return-type ()

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 (file)

Function: return-value ()

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 (file)

Function: returns-locally? ()

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 (file)

Function: returns-new-allocation? ()

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 (file)

Function: variable-binding NAME &optional ENVIRONMENT

Function: (setf variable-binding) NEW-VALUE NAME &optional ENVIRONMENT

Package

hu.dwim.partial-eval

Source

environment.lisp (file)

Function: variable-type NAME &optional ENVIRONMENT

Function: (setf variable-type) NEW-VALUE NAME &optional ENVIRONMENT

Package

hu.dwim.partial-eval

Source

environment.lisp (file)

6.2 Internal definitions

6.2.1 Special variables

Special Variable: *definition-lambda-forms*

Package

hu.dwim.partial-eval

Source

source.lisp (file)

Special Variable: *environment*

Package

hu.dwim.partial-eval

Source

environment.lisp (file)

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

Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)

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

Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)

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

Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)

6.2.2 Macros

Macro: partial-eval.debug MESSAGE-CONTROL &rest MESSAGE-ARGS

Package

hu.dwim.partial-eval

Source

logger.lisp (file)

Macro: partial-eval.dribble MESSAGE-CONTROL &rest MESSAGE-ARGS

Package

hu.dwim.partial-eval

Source

logger.lisp (file)

Macro: partial-eval.error MESSAGE-CONTROL &rest MESSAGE-ARGS

Package

hu.dwim.partial-eval

Source

logger.lisp (file)

Macro: partial-eval.fatal MESSAGE-CONTROL &rest MESSAGE-ARGS

Package

hu.dwim.partial-eval

Source

logger.lisp (file)

Macro: partial-eval.info MESSAGE-CONTROL &rest MESSAGE-ARGS

Package

hu.dwim.partial-eval

Source

logger.lisp (file)

Macro: partial-eval.warn MESSAGE-CONTROL &rest MESSAGE-ARGS

Package

hu.dwim.partial-eval

Source

logger.lisp (file)

6.2.3 Functions

Function: always? VALUE

Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)

Function: block-referenced? BLOCK AST

Package

hu.dwim.partial-eval

Source

util.lisp (file)

Function: clear-definition-lambda-forms ()

Package

hu.dwim.partial-eval

Source

source.lisp (file)

Function: clone-environment &optional ENVIRONMENT

Package

hu.dwim.partial-eval

Source

environment.lisp (file)

Function: constant-values FORMS

Package

hu.dwim.partial-eval

Source

util.lisp (file)

Function: constant-values? FORMS

Package

hu.dwim.partial-eval

Source

util.lisp (file)

Function: current-layer-prototype ()

Package

hu.dwim.partial-eval

Source

util.lisp (file)

Function: extend-assumptions ASSUMPTION &optional ENVIRONMENT

Package

hu.dwim.partial-eval

Source

environment.lisp (file)

Function: extend-variable-bindings NAME VALUE &optional ENVIRONMENT

Package

hu.dwim.partial-eval

Source

environment.lisp (file)

Function: fork-environment &optional ENVIRONMENT

Package

hu.dwim.partial-eval

Source

environment.lisp (file)

Function: has-common-subclass? CLASS-1 CLASS-2

Package

hu.dwim.partial-eval

Source

standard.lisp (file)

Function: make-free-application-form OPERATOR ARGUMENTS

Package

hu.dwim.partial-eval

Source

util.lisp (file)

Function: make-generic-function-discriminating-form FUNCTION ARGUMENTS-LIST

Package

hu.dwim.partial-eval

Source

source.lisp (file)

Function: make-generic-method-lambda-form METHOD

Package

hu.dwim.partial-eval

Source

source.lisp (file)

Function: make-progn-form BODY

Package

hu.dwim.partial-eval

Source

util.lisp (file)

Function: make-progn-form-body BODY

Package

hu.dwim.partial-eval

Source

util.lisp (file)

Function: may-and &rest VALUES

Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)

Function: may-and* VALUES &key KEY

Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)

Function: may-merge &rest VALUES

Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)

Function: may-merge* VALUES &key KEY

Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)

Function: may-not VALUE

Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)

Function: may-or &rest VALUES

Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)

Function: may-or* VALUES &key KEY

Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)

Function: never? VALUE

Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)

Function: partial-eval-lambda-list ARGUMENT-DEFINITIONS ARGUMENT-VALUES

Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)

Function: partial-eval-variable-binding-body AST BINDINGS

Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)

Function: unknown? VALUE

Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)

Function: variable-referenced? NAME AST

Package

hu.dwim.partial-eval

Source

util.lisp (file)

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 (file)

Methods

Method: =layered-function-definer-for-collect-non-local-exits= LAYER-ARG-0 (AST walked-lexical-application-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-collect-non-local-exits= LAYER-ARG-0 (AST setq-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-collect-non-local-exits= LAYER-ARG-0 (AST free-application-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-collect-non-local-exits= LAYER-ARG-0 (AST variable-reference-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-collect-non-local-exits= LAYER-ARG-0 (AST the-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-collect-non-local-exits= LAYER-ARG-0 (AST go-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-collect-non-local-exits= LAYER-ARG-0 (AST go-tag-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-collect-non-local-exits= LAYER-ARG-0 (AST return-from-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-collect-non-local-exits= LAYER-ARG-0 (AST implicit-progn-mixin)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-collect-non-local-exits= LAYER-ARG-0 (AST if-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-collect-non-local-exits= LAYER-ARG-0 (AST constant-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-collect-non-local-exits= LAYER-ARG-0 (AST walked-form)

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-collect-return-values= LAYER-ARG0 AST

Package

hu.dwim.partial-eval

Source

api.lisp (file)

Methods

Method: =layered-function-definer-for-collect-return-values= LAYER-ARG-0 (BLOCK block-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-collect-return-values= LAYER-ARG-0 (AST implicit-progn-mixin)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-collect-return-values= LAYER-ARG-0 (AST walked-form)

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-collect-side-effects= LAYER-ARG0 AST

Package

hu.dwim.partial-eval

Source

api.lisp (file)

Methods

Method: =layered-function-definer-for-collect-side-effects= LAYER-ARG-0 (AST free-application-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-collect-side-effects= LAYER-ARG-0 (AST implicit-progn-mixin)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-collect-side-effects= LAYER-ARG-0 (AST constant-form)

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-eval-function-call?= LAYER-ARG0 AST NAME ARGUMENTS

Package

hu.dwim.partial-eval

Source

api.lisp (file)

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 (file)

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 (file)

Method: =layered-function-definer-for-eval-function-call?= LAYER-ARG-0 (AST free-application-form) OPERATOR ARGUMENTS

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-exits-function-call-non-locally?= LAYER-ARG0 AST OPERATOR ARGUMENTS

Package

hu.dwim.partial-eval

Source

api.lisp (file)

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 (file)

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 (file)

Method: =layered-function-definer-for-exits-function-call-non-locally?= LAYER-ARG-0 (AST free-application-form) OPERATOR ARGUMENTS

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-exits-non-locally?= LAYER-ARG0 AST

Package

hu.dwim.partial-eval

Source

api.lisp (file)

Methods

Method: =layered-function-definer-for-exits-non-locally?= LAYER-ARG-0 (AST free-application-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-exits-non-locally?= LAYER-ARG-0 (AST function-object-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-exits-non-locally?= LAYER-ARG-0 (AST lambda-function-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-exits-non-locally?= LAYER-ARG-0 (AST walked-lexical-application-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-exits-non-locally?= LAYER-ARG-0 (AST lexical-variable-binding-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-exits-non-locally?= LAYER-ARG-0 (AST variable-reference-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-exits-non-locally?= LAYER-ARG-0 (AST the-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-exits-non-locally?= LAYER-ARG-0 (AST go-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-exits-non-locally?= LAYER-ARG-0 (AST go-tag-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-exits-non-locally?= LAYER-ARG-0 (AST return-from-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-exits-non-locally?= LAYER-ARG-0 (AST block-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-exits-non-locally?= LAYER-ARG-0 (AST binder-form-mixin)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-exits-non-locally?= LAYER-ARG-0 (AST implicit-progn-mixin)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-exits-non-locally?= LAYER-ARG-0 (AST if-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-exits-non-locally?= LAYER-ARG-0 (AST constant-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-exits-non-locally?= LAYER-ARG-0 (AST walked-form)

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-function-call-return-type= LAYER-ARG0 AST OPERATOR ARGUMENTS

Package

hu.dwim.partial-eval

Source

api.lisp (file)

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 (file)

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 (file)

Method: =layered-function-definer-for-function-call-return-type= LAYER-ARG-0 (AST free-application-form) OPERATOR ARGUMENTS

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-function-call-return-value= LAYER-ARG0 AST OPERATOR ARGUMENTS

Package

hu.dwim.partial-eval

Source

api.lisp (file)

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 (file)

Method: =layered-function-definer-for-function-call-return-value= LAYER-ARG-0 (AST free-application-form) OPERATOR ARGUMENTS

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-has-function-call-side-effect?= LAYER-ARG0 AST OPERATOR ARGUMENTS

Package

hu.dwim.partial-eval

Source

api.lisp (file)

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 (file)

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 (file)

Method: =layered-function-definer-for-has-function-call-side-effect?= LAYER-ARG-0 (AST free-application-form) OPERATOR ARGUMENTS

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-has-side-effect?= LAYER-ARG0 AST

Package

hu.dwim.partial-eval

Source

api.lisp (file)

Methods

Method: =layered-function-definer-for-has-side-effect?= LAYER-ARG-0 (AST free-application-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-has-side-effect?= LAYER-ARG-0 (AST walked-lexical-application-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-has-side-effect?= LAYER-ARG-0 (AST function-object-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-has-side-effect?= LAYER-ARG-0 (AST lambda-function-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-has-side-effect?= LAYER-ARG-0 (AST lexical-variable-binding-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-has-side-effect?= LAYER-ARG-0 (AST variable-reference-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-has-side-effect?= LAYER-ARG-0 (AST the-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-has-side-effect?= LAYER-ARG-0 (AST setq-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-has-side-effect?= LAYER-ARG-0 (AST go-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-has-side-effect?= LAYER-ARG-0 (AST go-tag-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-has-side-effect?= LAYER-ARG-0 (AST return-from-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-has-side-effect?= LAYER-ARG-0 (AST binder-form-mixin)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-has-side-effect?= LAYER-ARG-0 (AST implicit-progn-mixin)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-has-side-effect?= LAYER-ARG-0 (AST if-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-has-side-effect?= LAYER-ARG-0 (AST constant-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-has-side-effect?= LAYER-ARG-0 (AST walked-form)

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-inline-function-call?= LAYER-ARG0 AST NAME ARGUMENTS

Package

hu.dwim.partial-eval

Source

api.lisp (file)

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 (file)

Method: =layered-function-definer-for-inline-function-call?= LAYER-ARG-0 (AST free-application-form) OPERATOR ARGUMENTS

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-lookup-variable-value?= LAYER-ARG0 AST NAME

Package

hu.dwim.partial-eval

Source

api.lisp (file)

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 (file)

Method: =layered-function-definer-for-lookup-variable-value?= LAYER-ARG-0 (AST variable-reference-form) NAME

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-partial-eval-form= LAYER-ARG0 AST

Package

hu.dwim.partial-eval

Source

api.lisp (file)

Methods

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST symbol-macrolet-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST locally-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST the-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST lambda-application-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST lexical-application-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST labels-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST flet-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST macrolet-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST multiple-value-call-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST free-application-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST lambda-function-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST free-function-object-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST walked-lexical-function-object-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST special-variable-reference-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST variable-reference-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST let*-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST let-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST setq-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST go-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST go-tag-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST tagbody-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST return-from-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST block-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST multiple-value-prog1-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST progn-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST if-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-form= LAYER-ARG-0 (AST constant-form)

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-partial-eval-function-call= LAYER-ARG0 AST OPERATOR ARGUMENTS

Package

hu.dwim.partial-eval

Source

api.lisp (file)

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 (file)

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 (file)

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 (file)

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 (file)

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 (file)

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 (file)

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 (file)

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 (file)

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 (file)

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 (file)

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 (file)

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 (file)

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 (file)

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 (file)

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 (file)

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 (file)

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 (file)

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 (file)

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 (file)

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 (file)

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 (file)

Method: =layered-function-definer-for-partial-eval-function-call= LAYER-ARG-0 (AST free-application-form) OPERATOR ARGUMENTS

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-partial-eval-implicit-progn= LAYER-ARG0 AST

Package

hu.dwim.partial-eval

Source

api.lisp (file)

Methods

Method: =layered-function-definer-for-partial-eval-implicit-progn= LAYER-ARG-0 (AST list)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-partial-eval-implicit-progn= LAYER-ARG-0 (AST implicit-progn-mixin)

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-return-type= LAYER-ARG0 AST

Package

hu.dwim.partial-eval

Source

api.lisp (file)

Methods

Method: =layered-function-definer-for-return-type= LAYER-ARG-0 (AST free-application-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-return-type= LAYER-ARG-0 (AST variable-reference-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-return-type= LAYER-ARG-0 (AST constant-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-return-type= LAYER-ARG-0 (AST walked-form)

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-return-value= LAYER-ARG0 AST

Package

hu.dwim.partial-eval

Source

api.lisp (file)

Methods

Method: =layered-function-definer-for-return-value= LAYER-ARG-0 (AST free-application-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-return-value= LAYER-ARG-0 (AST block-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-return-value= LAYER-ARG-0 (AST implicit-progn-mixin)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-return-value= LAYER-ARG-0 (AST constant-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-return-value= LAYER-ARG-0 (AST walked-form)

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-returns-locally?= LAYER-ARG0 AST

Package

hu.dwim.partial-eval

Source

api.lisp (file)

Methods

Method: =layered-function-definer-for-returns-locally?= LAYER-ARG-0 (AST implicit-progn-mixin)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-returns-locally?= LAYER-ARG-0 (AST go-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-returns-locally?= LAYER-ARG-0 (AST return-from-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-returns-locally?= LAYER-ARG-0 (AST constant-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-returns-locally?= LAYER-ARG-0 (AST walked-form)

Source

partial-eval.lisp (file)

Generic Function: =layered-function-definer-for-returns-new-allocation?= LAYER-ARG0 AST

Package

hu.dwim.partial-eval

Source

api.lisp (file)

Methods

Method: =layered-function-definer-for-returns-new-allocation?= LAYER-ARG-0 (AST constant-form)

Source

partial-eval.lisp (file)

Method: =layered-function-definer-for-returns-new-allocation?= LAYER-ARG-0 (AST walked-form)

Source

partial-eval.lisp (file)

Generic Function: assumptions-of OBJECT

Generic Function: (setf assumptions-of) NEW-VALUE OBJECT

Package

hu.dwim.partial-eval

Methods

Method: assumptions-of (ENVIRONMENT environment)

Method: (setf assumptions-of) NEW-VALUE (ENVIRONMENT environment)

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

Source

environment.lisp (file)

Generic Function: eval-functions-of OBJECT

Generic Function: (setf eval-functions-of) NEW-VALUE OBJECT

Package

hu.dwim.partial-eval

Methods

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 (file)

Method: (setf eval-functions-of) NEW-VALUE (=LAYER-CLASS-DEFINER-FOR-PARTIAL-EVAL-LAYER= =layer-class-definer-for-partial-eval-layer=)

automatically generated writer method

Source

partial-eval.lisp (file)

Generic Function: inline-functions-of OBJECT

Generic Function: (setf inline-functions-of) NEW-VALUE OBJECT

Package

hu.dwim.partial-eval

Methods

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 (file)

Method: (setf inline-functions-of) NEW-VALUE (=LAYER-CLASS-DEFINER-FOR-PARTIAL-EVAL-LAYER= =layer-class-definer-for-partial-eval-layer=)

automatically generated writer method

Source

partial-eval.lisp (file)

Generic Function: lookup-variable-values-of OBJECT

Generic Function: (setf lookup-variable-values-of) NEW-VALUE OBJECT

Package

hu.dwim.partial-eval

Methods

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 (file)

Method: (setf lookup-variable-values-of) NEW-VALUE (=LAYER-CLASS-DEFINER-FOR-PARTIAL-EVAL-LAYER= =layer-class-definer-for-partial-eval-layer=)

automatically generated writer method

Source

partial-eval.lisp (file)

Generic Function: make-function-lambda-form FUNCTION

Package

hu.dwim.partial-eval

Source

source.lisp (file)

Methods

Method: make-function-lambda-form FUNCTION around

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 Function: non-local-exit-free-functions-of OBJECT

Generic Function: (setf non-local-exit-free-functions-of) NEW-VALUE OBJECT

Package

hu.dwim.partial-eval

Methods

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 (file)

Method: (setf non-local-exit-free-functions-of) NEW-VALUE (=LAYER-CLASS-DEFINER-FOR-PARTIAL-EVAL-LAYER= =layer-class-definer-for-partial-eval-layer=)

automatically generated writer method

Source

partial-eval.lisp (file)

Generic Function: side-effect-free-functions-of OBJECT

Generic Function: (setf side-effect-free-functions-of) NEW-VALUE OBJECT

Package

hu.dwim.partial-eval

Methods

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 (file)

Method: (setf side-effect-free-functions-of) NEW-VALUE (=LAYER-CLASS-DEFINER-FOR-PARTIAL-EVAL-LAYER= =layer-class-definer-for-partial-eval-layer=)

automatically generated writer method

Source

partial-eval.lisp (file)

Generic Function: types-of OBJECT

Generic Function: (setf types-of) NEW-VALUE OBJECT

Package

hu.dwim.partial-eval

Methods

Method: types-of (ENVIRONMENT environment)

Method: (setf types-of) NEW-VALUE (ENVIRONMENT environment)

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

Source

environment.lisp (file)

6.2.5 Classes

Class: =layer-class-definer-for-partial-eval-layer= ()

Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)

Direct superclasses

standard-layer-object (class)

Direct subclasses

=layer-class-definer-for-standard-partial-eval-layer= (class)

Direct methods

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

Direct slots

Slot: eval-functions

Allocation

:class

Initargs

:eval-functions

Readers

eval-functions-of (generic function)

Writers

(setf eval-functions-of) (generic function)

Slot: inline-functions

Allocation

:class

Initargs

:inline-functions

Readers

inline-functions-of (generic function)

Writers

(setf inline-functions-of) (generic function)

Slot: side-effect-free-functions

Allocation

:class

Initargs

:side-effect-free-functions

Readers

side-effect-free-functions-of (generic function)

Writers

(setf side-effect-free-functions-of) (generic function)

Slot: non-local-exit-free-functions

Allocation

:class

Initargs

:non-local-exit-free-functions

Readers

non-local-exit-free-functions-of (generic function)

Writers

(setf non-local-exit-free-functions-of) (generic function)

Slot: lookup-variable-values

Allocation

:class

Initargs

:lookup-variable-values

Readers

lookup-variable-values-of (generic function)

Writers

(setf lookup-variable-values-of) (generic function)

Class: =layer-class-definer-for-standard-partial-eval-layer= ()

Package

hu.dwim.partial-eval

Source

standard.lisp (file)

Direct superclasses

=layer-class-definer-for-partial-eval-layer= (class)

Direct methods

• =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)
• =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-exits-function-call-non-locally?= (method)
• =layered-function-definer-for-has-function-call-side-effect?= (method)
• =layered-function-definer-for-eval-function-call?= (method)

Class: environment ()

Package

hu.dwim.partial-eval

Source

environment.lisp (file)

Direct superclasses

standard-object (class)

Direct methods

• types-of (method)
• types-of (method)
• bindings-of (method)
• bindings-of (method)
• assumptions-of (method)
• assumptions-of (method)

Direct slots

Slot: assumptions

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

Initargs

:assumptions

Readers

assumptions-of (generic function)

Writers

(setf assumptions-of) (generic function)

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 (generic function)

Writers

(setf bindings-of) (generic function)

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 (generic function)

Writers

(setf types-of) (generic function)

6.2.6 Types

Type: may-type ()

Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)

Appendix A Indexes

A.1 Concepts

A.2 Functions