The hu.dwim.partial-eval Reference Manual

Table of Contents

Next: , Previous: , Up: (dir)   [Contents][Index]

The hu.dwim.partial-eval Reference Manual

This is the hu.dwim.partial-eval Reference Manual, generated automatically by Declt version 2.3 "Robert April" on Wed Mar 14 04:01:43 2018 GMT+0.


Next: , Previous: , Up: Top   [Contents][Index]

1 Introduction

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


Next: , Previous: , Up: Top   [Contents][Index]

2 Systems

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


Previous: , Up: Systems   [Contents][Index]

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
Source

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

Component

source (module)


Next: , Previous: , Up: Top   [Contents][Index]

3 Modules

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


Previous: , Up: Modules   [Contents][Index]

3.1 hu.dwim.partial-eval/source

Parent

hu.dwim.partial-eval (system)

Location

source/

Components

Next: , Previous: , Up: Top   [Contents][Index]

4 Files

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


Previous: , Up: Files   [Contents][Index]

4.1 Lisp


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.1 hu.dwim.partial-eval.asd

Location

hu.dwim.partial-eval.asd

Systems

hu.dwim.partial-eval (system)


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

package.lisp (file)

Parent

source (module)

Location

source/api.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

logger.lisp (file)

Parent

source (module)

Location

source/environment.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

package.lisp (file)

Parent

source (module)

Location

source/logger.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

source (module)

Location

source/package.lisp

Packages

hu.dwim.partial-eval


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependencies
Parent

source (module)

Location

source/partial-eval.lisp

Exported Definitions

partial-eval (function)

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

package.lisp (file)

Parent

source (module)

Location

source/source.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

partial-eval.lisp (file)

Parent

source (module)

Location

source/standard.lisp

Internal Definitions

Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

package.lisp (file)

Parent

source (module)

Location

source/util.lisp

Internal Definitions

Next: , Previous: , Up: Top   [Contents][Index]

5 Packages

Packages are listed by definition order.


Previous: , Up: Packages   [Contents][Index]

5.1 hu.dwim.partial-eval

Source

package.lisp (file)

Use List
Exported Definitions
Internal Definitions

Next: , Previous: , Up: Top   [Contents][Index]

6 Definitions

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


Next: , Previous: , Up: Definitions   [Contents][Index]

6.1 Exported definitions


Previous: , Up: Exported definitions   [Contents][Index]

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)


Previous: , Up: Definitions   [Contents][Index]

6.2 Internal definitions


Next: , Previous: , Up: Internal definitions   [Contents][Index]

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)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

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)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

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)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

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)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

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


Previous: , Up: Internal definitions   [Contents][Index]

6.2.6 Types

Type: may-type ()
Package

hu.dwim.partial-eval

Source

partial-eval.lisp (file)


Previous: , Up: Top   [Contents][Index]

Appendix A Indexes


Next: , Previous: , Up: Indexes   [Contents][Index]

A.1 Concepts

Jump to:   F   H   L   M  
Index Entry  Section

F
File, Lisp, hu.dwim.partial-eval.asd: The hu<dot>dwim<dot>partial-eval<dot>asd file
File, Lisp, hu.dwim.partial-eval/source/api.lisp: The hu<dot>dwim<dot>partial-eval/source/api<dot>lisp file
File, Lisp, hu.dwim.partial-eval/source/environment.lisp: The hu<dot>dwim<dot>partial-eval/source/environment<dot>lisp file
File, Lisp, hu.dwim.partial-eval/source/logger.lisp: The hu<dot>dwim<dot>partial-eval/source/logger<dot>lisp file
File, Lisp, hu.dwim.partial-eval/source/package.lisp: The hu<dot>dwim<dot>partial-eval/source/package<dot>lisp file
File, Lisp, hu.dwim.partial-eval/source/partial-eval.lisp: The hu<dot>dwim<dot>partial-eval/source/partial-eval<dot>lisp file
File, Lisp, hu.dwim.partial-eval/source/source.lisp: The hu<dot>dwim<dot>partial-eval/source/source<dot>lisp file
File, Lisp, hu.dwim.partial-eval/source/standard.lisp: The hu<dot>dwim<dot>partial-eval/source/standard<dot>lisp file
File, Lisp, hu.dwim.partial-eval/source/util.lisp: The hu<dot>dwim<dot>partial-eval/source/util<dot>lisp file

H
hu.dwim.partial-eval.asd: The hu<dot>dwim<dot>partial-eval<dot>asd file
hu.dwim.partial-eval/source: The hu<dot>dwim<dot>partial-eval/source module
hu.dwim.partial-eval/source/api.lisp: The hu<dot>dwim<dot>partial-eval/source/api<dot>lisp file
hu.dwim.partial-eval/source/environment.lisp: The hu<dot>dwim<dot>partial-eval/source/environment<dot>lisp file
hu.dwim.partial-eval/source/logger.lisp: The hu<dot>dwim<dot>partial-eval/source/logger<dot>lisp file
hu.dwim.partial-eval/source/package.lisp: The hu<dot>dwim<dot>partial-eval/source/package<dot>lisp file
hu.dwim.partial-eval/source/partial-eval.lisp: The hu<dot>dwim<dot>partial-eval/source/partial-eval<dot>lisp file
hu.dwim.partial-eval/source/source.lisp: The hu<dot>dwim<dot>partial-eval/source/source<dot>lisp file
hu.dwim.partial-eval/source/standard.lisp: The hu<dot>dwim<dot>partial-eval/source/standard<dot>lisp file
hu.dwim.partial-eval/source/util.lisp: The hu<dot>dwim<dot>partial-eval/source/util<dot>lisp file

L
Lisp File, hu.dwim.partial-eval.asd: The hu<dot>dwim<dot>partial-eval<dot>asd file
Lisp File, hu.dwim.partial-eval/source/api.lisp: The hu<dot>dwim<dot>partial-eval/source/api<dot>lisp file
Lisp File, hu.dwim.partial-eval/source/environment.lisp: The hu<dot>dwim<dot>partial-eval/source/environment<dot>lisp file
Lisp File, hu.dwim.partial-eval/source/logger.lisp: The hu<dot>dwim<dot>partial-eval/source/logger<dot>lisp file
Lisp File, hu.dwim.partial-eval/source/package.lisp: The hu<dot>dwim<dot>partial-eval/source/package<dot>lisp file
Lisp File, hu.dwim.partial-eval/source/partial-eval.lisp: The hu<dot>dwim<dot>partial-eval/source/partial-eval<dot>lisp file
Lisp File, hu.dwim.partial-eval/source/source.lisp: The hu<dot>dwim<dot>partial-eval/source/source<dot>lisp file
Lisp File, hu.dwim.partial-eval/source/standard.lisp: The hu<dot>dwim<dot>partial-eval/source/standard<dot>lisp file
Lisp File, hu.dwim.partial-eval/source/util.lisp: The hu<dot>dwim<dot>partial-eval/source/util<dot>lisp file

M
Module, hu.dwim.partial-eval/source: The hu<dot>dwim<dot>partial-eval/source module

Jump to:   F   H   L   M  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.2 Functions

Jump to:   (   =  
A   B   C   E   F   G   H   I   L   M   N   P   R   S   T   U   V  
Index Entry  Section

(
(setf assumptions-of): Internal generic functions
(setf assumptions-of): Internal generic functions
(setf eval-functions-of): Internal generic functions
(setf eval-functions-of): Internal generic functions
(setf inline-functions-of): Internal generic functions
(setf inline-functions-of): Internal generic functions
(setf lookup-variable-values-of): Internal generic functions
(setf lookup-variable-values-of): Internal generic functions
(setf non-local-exit-free-functions-of): Internal generic functions
(setf non-local-exit-free-functions-of): Internal generic functions
(setf side-effect-free-functions-of): Internal generic functions
(setf side-effect-free-functions-of): Internal generic functions
(setf types-of): Internal generic functions
(setf types-of): Internal generic functions
(setf variable-binding): Exported functions
(setf variable-type): Exported functions

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

A
always?: Internal functions
assumptions-of: Internal generic functions
assumptions-of: Internal generic functions

B
block-referenced?: Internal functions

C
clear-definition-lambda-forms: Internal functions
clone-environment: Internal functions
collect-non-local-exits: Exported functions
collect-return-values: Exported functions
collect-side-effects: Exported functions
constant-values: Internal functions
constant-values?: Internal functions
current-layer-prototype: Internal functions

E
eval-function-call?: Exported functions
eval-functions-of: Internal generic functions
eval-functions-of: Internal generic functions
exits-function-call-non-locally?: Exported functions
exits-non-locally?: Exported functions
extend-assumptions: Internal functions
extend-variable-bindings: Internal functions

F
fork-environment: Internal functions
Function, (setf variable-binding): Exported functions
Function, (setf variable-type): Exported functions
Function, always?: Internal functions
Function, block-referenced?: Internal functions
Function, clear-definition-lambda-forms: Internal functions
Function, clone-environment: Internal functions
Function, collect-non-local-exits: Exported functions
Function, collect-return-values: Exported functions
Function, collect-side-effects: Exported functions
Function, constant-values: Internal functions
Function, constant-values?: Internal functions
Function, current-layer-prototype: Internal functions
Function, eval-function-call?: Exported functions
Function, exits-function-call-non-locally?: Exported functions
Function, exits-non-locally?: Exported functions
Function, extend-assumptions: Internal functions
Function, extend-variable-bindings: Internal functions
Function, fork-environment: Internal functions
Function, function-call-return-type: Exported functions
Function, function-call-return-value: Exported functions
Function, has-common-subclass?: Internal functions
Function, has-function-call-side-effect?: Exported functions
Function, has-side-effect?: Exported functions
Function, inline-function-call?: Exported functions
Function, lookup-variable-value?: Exported functions
Function, make-free-application-form: Internal functions
Function, make-generic-function-discriminating-form: Internal functions
Function, make-generic-method-lambda-form: Internal functions
Function, make-progn-form: Internal functions
Function, make-progn-form-body: Internal functions
Function, may-and: Internal functions
Function, may-and*: Internal functions
Function, may-merge: Internal functions
Function, may-merge*: Internal functions
Function, may-not: Internal functions
Function, may-or: Internal functions
Function, may-or*: Internal functions
Function, never?: Internal functions
Function, partial-eval: Exported functions
Function, partial-eval-form: Exported functions
Function, partial-eval-function-call: Exported functions
Function, partial-eval-implicit-progn: Exported functions
Function, partial-eval-lambda-list: Internal functions
Function, partial-eval-variable-binding-body: Internal functions
Function, remove-variable-binding: Exported functions
Function, return-type: Exported functions
Function, return-value: Exported functions
Function, returns-locally?: Exported functions
Function, returns-new-allocation?: Exported functions
Function, unknown?: Internal functions
Function, variable-binding: Exported functions
Function, variable-referenced?: Internal functions
Function, variable-type: Exported functions
function-call-return-type: Exported functions
function-call-return-value: Exported functions

G
Generic Function, (setf assumptions-of): Internal generic functions
Generic Function, (setf eval-functions-of): Internal generic functions
Generic Function, (setf inline-functions-of): Internal generic functions
Generic Function, (setf lookup-variable-values-of): Internal generic functions
Generic Function, (setf non-local-exit-free-functions-of): Internal generic functions
Generic Function, (setf side-effect-free-functions-of): Internal generic functions
Generic Function, (setf types-of): Internal generic functions
Generic Function, =layered-function-definer-for-collect-non-local-exits=: Internal generic functions
Generic Function, =layered-function-definer-for-collect-return-values=: Internal generic functions
Generic Function, =layered-function-definer-for-collect-side-effects=: Internal generic functions
Generic Function, =layered-function-definer-for-eval-function-call?=: Internal generic functions
Generic Function, =layered-function-definer-for-exits-function-call-non-locally?=: Internal generic functions
Generic Function, =layered-function-definer-for-exits-non-locally?=: Internal generic functions
Generic Function, =layered-function-definer-for-function-call-return-type=: Internal generic functions
Generic Function, =layered-function-definer-for-function-call-return-value=: Internal generic functions
Generic Function, =layered-function-definer-for-has-function-call-side-effect?=: Internal generic functions
Generic Function, =layered-function-definer-for-has-side-effect?=: Internal generic functions
Generic Function, =layered-function-definer-for-inline-function-call?=: Internal generic functions
Generic Function, =layered-function-definer-for-lookup-variable-value?=: Internal generic functions
Generic Function, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Generic Function, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Generic Function, =layered-function-definer-for-partial-eval-implicit-progn=: Internal generic functions
Generic Function, =layered-function-definer-for-return-type=: Internal generic functions
Generic Function, =layered-function-definer-for-return-value=: Internal generic functions
Generic Function, =layered-function-definer-for-returns-locally?=: Internal generic functions
Generic Function, =layered-function-definer-for-returns-new-allocation?=: Internal generic functions
Generic Function, assumptions-of: Internal generic functions
Generic Function, eval-functions-of: Internal generic functions
Generic Function, inline-functions-of: Internal generic functions
Generic Function, lookup-variable-values-of: Internal generic functions
Generic Function, make-function-lambda-form: Internal generic functions
Generic Function, non-local-exit-free-functions-of: Internal generic functions
Generic Function, side-effect-free-functions-of: Internal generic functions
Generic Function, types-of: Internal generic functions

H
has-common-subclass?: Internal functions
has-function-call-side-effect?: Exported functions
has-side-effect?: Exported functions

I
inline-function-call?: Exported functions
inline-functions-of: Internal generic functions
inline-functions-of: Internal generic functions

L
lookup-variable-value?: Exported functions
lookup-variable-values-of: Internal generic functions
lookup-variable-values-of: Internal generic functions

M
Macro, partial-eval.debug: Internal macros
Macro, partial-eval.dribble: Internal macros
Macro, partial-eval.error: Internal macros
Macro, partial-eval.fatal: Internal macros
Macro, partial-eval.info: Internal macros
Macro, partial-eval.warn: Internal macros
make-free-application-form: Internal functions
make-function-lambda-form: Internal generic functions
make-function-lambda-form: Internal generic functions
make-function-lambda-form: Internal generic functions
make-function-lambda-form: Internal generic functions
make-function-lambda-form: Internal generic functions
make-function-lambda-form: Internal generic functions
make-generic-function-discriminating-form: Internal functions
make-generic-method-lambda-form: Internal functions
make-progn-form: Internal functions
make-progn-form-body: Internal functions
may-and: Internal functions
may-and*: Internal functions
may-merge: Internal functions
may-merge*: Internal functions
may-not: Internal functions
may-or: Internal functions
may-or*: Internal functions
Method, (setf assumptions-of): Internal generic functions
Method, (setf eval-functions-of): Internal generic functions
Method, (setf inline-functions-of): Internal generic functions
Method, (setf lookup-variable-values-of): Internal generic functions
Method, (setf non-local-exit-free-functions-of): Internal generic functions
Method, (setf side-effect-free-functions-of): Internal generic functions
Method, (setf types-of): Internal generic functions
Method, =layered-function-definer-for-collect-non-local-exits=: Internal generic functions
Method, =layered-function-definer-for-collect-non-local-exits=: Internal generic functions
Method, =layered-function-definer-for-collect-non-local-exits=: Internal generic functions
Method, =layered-function-definer-for-collect-non-local-exits=: Internal generic functions
Method, =layered-function-definer-for-collect-non-local-exits=: Internal generic functions
Method, =layered-function-definer-for-collect-non-local-exits=: Internal generic functions
Method, =layered-function-definer-for-collect-non-local-exits=: Internal generic functions
Method, =layered-function-definer-for-collect-non-local-exits=: Internal generic functions
Method, =layered-function-definer-for-collect-non-local-exits=: Internal generic functions
Method, =layered-function-definer-for-collect-non-local-exits=: Internal generic functions
Method, =layered-function-definer-for-collect-non-local-exits=: Internal generic functions
Method, =layered-function-definer-for-collect-non-local-exits=: Internal generic functions
Method, =layered-function-definer-for-collect-return-values=: Internal generic functions
Method, =layered-function-definer-for-collect-return-values=: Internal generic functions
Method, =layered-function-definer-for-collect-return-values=: Internal generic functions
Method, =layered-function-definer-for-collect-side-effects=: Internal generic functions
Method, =layered-function-definer-for-collect-side-effects=: Internal generic functions
Method, =layered-function-definer-for-collect-side-effects=: Internal generic functions
Method, =layered-function-definer-for-eval-function-call?=: Internal generic functions
Method, =layered-function-definer-for-eval-function-call?=: Internal generic functions
Method, =layered-function-definer-for-eval-function-call?=: Internal generic functions
Method, =layered-function-definer-for-exits-function-call-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-function-call-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-function-call-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-exits-non-locally?=: Internal generic functions
Method, =layered-function-definer-for-function-call-return-type=: Internal generic functions
Method, =layered-function-definer-for-function-call-return-type=: Internal generic functions
Method, =layered-function-definer-for-function-call-return-type=: Internal generic functions
Method, =layered-function-definer-for-function-call-return-value=: Internal generic functions
Method, =layered-function-definer-for-function-call-return-value=: Internal generic functions
Method, =layered-function-definer-for-has-function-call-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-function-call-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-function-call-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-has-side-effect?=: Internal generic functions
Method, =layered-function-definer-for-inline-function-call?=: Internal generic functions
Method, =layered-function-definer-for-inline-function-call?=: Internal generic functions
Method, =layered-function-definer-for-lookup-variable-value?=: Internal generic functions
Method, =layered-function-definer-for-lookup-variable-value?=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-form=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-function-call=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-implicit-progn=: Internal generic functions
Method, =layered-function-definer-for-partial-eval-implicit-progn=: Internal generic functions
Method, =layered-function-definer-for-return-type=: Internal generic functions
Method, =layered-function-definer-for-return-type=: Internal generic functions
Method, =layered-function-definer-for-return-type=: Internal generic functions
Method, =layered-function-definer-for-return-type=: Internal generic functions
Method, =layered-function-definer-for-return-value=: Internal generic functions
Method, =layered-function-definer-for-return-value=: Internal generic functions
Method, =layered-function-definer-for-return-value=: Internal generic functions
Method, =layered-function-definer-for-return-value=: Internal generic functions
Method, =layered-function-definer-for-return-value=: Internal generic functions
Method, =layered-function-definer-for-returns-locally?=: Internal generic functions
Method, =layered-function-definer-for-returns-locally?=: Internal generic functions
Method, =layered-function-definer-for-returns-locally?=: Internal generic functions
Method, =layered-function-definer-for-returns-locally?=: Internal generic functions
Method, =layered-function-definer-for-returns-locally?=: Internal generic functions
Method, =layered-function-definer-for-returns-new-allocation?=: Internal generic functions
Method, =layered-function-definer-for-returns-new-allocation?=: Internal generic functions
Method, assumptions-of: Internal generic functions
Method, eval-functions-of: Internal generic functions
Method, inline-functions-of: Internal generic functions
Method, lookup-variable-values-of: Internal generic functions
Method, make-function-lambda-form: Internal generic functions
Method, make-function-lambda-form: Internal generic functions
Method, make-function-lambda-form: Internal generic functions
Method, make-function-lambda-form: Internal generic functions
Method, make-function-lambda-form: Internal generic functions
Method, non-local-exit-free-functions-of: Internal generic functions
Method, side-effect-free-functions-of: Internal generic functions
Method, types-of: Internal generic functions

N
never?: Internal functions
non-local-exit-free-functions-of: Internal generic functions
non-local-exit-free-functions-of: Internal generic functions

P
partial-eval: Exported functions
partial-eval-form: Exported functions
partial-eval-function-call: Exported functions
partial-eval-implicit-progn: Exported functions
partial-eval-lambda-list: Internal functions
partial-eval-variable-binding-body: Internal functions
partial-eval.debug: Internal macros
partial-eval.dribble: Internal macros
partial-eval.error: Internal macros
partial-eval.fatal: Internal macros
partial-eval.info: Internal macros
partial-eval.warn: Internal macros

R
remove-variable-binding: Exported functions
return-type: Exported functions
return-value: Exported functions
returns-locally?: Exported functions
returns-new-allocation?: Exported functions

S
side-effect-free-functions-of: Internal generic functions
side-effect-free-functions-of: Internal generic functions

T
types-of: Internal generic functions
types-of: Internal generic functions

U
unknown?: Internal functions

V
variable-binding: Exported functions
variable-referenced?: Internal functions
variable-type: Exported functions

Jump to:   (   =  
A   B   C   E   F   G   H   I   L   M   N   P   R   S   T   U   V  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.3 Variables

Jump to:   *  
A   B   E   I   L   N   S   T  
Index Entry  Section

*
*definition-lambda-forms*: Internal special variables
*environment*: Internal special variables
*function-call-inline-level*: Internal special variables
*function-call-inline-limit*: Internal special variables
*tagbody-go-unroll-limit*: Internal special variables

A
assumptions: Internal classes

B
bindings: Internal classes

E
eval-functions: Internal classes

I
inline-functions: Internal classes

L
lookup-variable-values: Internal classes

N
non-local-exit-free-functions: Internal classes

S
side-effect-free-functions: Internal classes
Slot, assumptions: Internal classes
Slot, bindings: Internal classes
Slot, eval-functions: Internal classes
Slot, inline-functions: Internal classes
Slot, lookup-variable-values: Internal classes
Slot, non-local-exit-free-functions: Internal classes
Slot, side-effect-free-functions: Internal classes
Slot, types: Internal classes
Special Variable, *definition-lambda-forms*: Internal special variables
Special Variable, *environment*: Internal special variables
Special Variable, *function-call-inline-level*: Internal special variables
Special Variable, *function-call-inline-limit*: Internal special variables
Special Variable, *tagbody-go-unroll-limit*: Internal special variables

T
types: Internal classes

Jump to:   *  
A   B   E   I   L   N   S   T  

Previous: , Up: Indexes   [Contents][Index]

A.4 Data types

Jump to:   =  
C   E   H   M   P   S   T  
Index Entry  Section

=
=layer-class-definer-for-partial-eval-layer=: Internal classes
=layer-class-definer-for-standard-partial-eval-layer=: Internal classes

C
Class, =layer-class-definer-for-partial-eval-layer=: Internal classes
Class, =layer-class-definer-for-standard-partial-eval-layer=: Internal classes
Class, environment: Internal classes

E
environment: Internal classes

H
hu.dwim.partial-eval: The hu<dot>dwim<dot>partial-eval system
hu.dwim.partial-eval: The hu<dot>dwim<dot>partial-eval package

M
may-type: Internal types

P
Package, hu.dwim.partial-eval: The hu<dot>dwim<dot>partial-eval package

S
System, hu.dwim.partial-eval: The hu<dot>dwim<dot>partial-eval system

T
Type, may-type: Internal types

Jump to:   =  
C   E   H   M   P   S   T