The restricted-functions Reference Manual

Table of Contents

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

The restricted-functions Reference Manual

This is the restricted-functions Reference Manual, generated automatically by Declt version 2.4 patchlevel 1 "Will Decker" on Fri May 24 09:42:30 2019 GMT+0.


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

1 Introduction

#+TITLE: Restricted Functions

Many functions in Common Lisp are defined for a wide range of argument
types.  Yet their behavior (in terms of performance, memory consumption and
return value types) varies a lot depending on how many arguments of which
type are supplied.  This library provides /restricted functions/, i.e.,
functions that have been narrowed to a particular set of argument types.
Restricted functions can be created with the function =restrict=

#+BEGIN_SRC lisp
(restrict nil #'+ 'double-float '(complex short-float))
#+END_SRC

Each restricted function is an instance of =funcallable-standard-class=,
and can be queried for a wide range of metadata, such as the number and
type of the values it returns, its name, or its arity.  The most important
feature is the automatic derivation of argument types.  This library can
infer the type of a wide range of functions from the Common Lisp standard.
Type inference can be performed with the function =infer-type=:

#+BEGIN_SRC lisp
(infer-type nil #'* '(integer 2 14) '(integer 0 12)) ; => (integer 0 168)
#+END_SRC

A future goal is to make it possible to query the cost of a restricted
function in terms of CPU cycles, loads, stores and heap allocation on a
given platform and Lisp implementation.

A particularly useful feature is that each restricted function has an
automatically generated name and an optimizing compiler macro for that
name.  This is convenient for writing code generators, where one can just
write

#+BEGIN_SRC lisp
(let ((rf (restrict nil #'+ 'double-float 'double-float)))
  (compile
   nil
   `(lambda (x y)
      (,(name rf) x y))))
#+END_SRC

to get the equivalent of

#+BEGIN_SRC lisp
(compile
 nil
 `(lambda (x y)
    (the double-float (+ (the double-float x) (the double-float y)))))
#+END_SRC

If you have any suggestions for this library, feel free to contact me!


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 restricted-functions

Author

Marco Heisig <marco.heisig@fau.de>

License

MIT

Description

Reasoning about functions with restricted argument types.

Dependencies
Source

restricted-functions.asd (file)

Components

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 restricted-functions/type-inference-rules

Dependency

default-methods.lisp (file)

Parent

restricted-functions (system)

Location

type-inference-rules/

Component

numbers.lisp (file)


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 restricted-functions.asd

Location

restricted-functions.asd

Systems

restricted-functions (system)


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

4.1.2 restricted-functions/packages.lisp

Parent

restricted-functions (system)

Location

packages.lisp

Packages

restricted-functions


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

4.1.3 restricted-functions/function-lambda-lists.lisp

Dependency

packages.lisp (file)

Parent

restricted-functions (system)

Location

function-lambda-lists.lisp

Internal Definitions

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

4.1.4 restricted-functions/generic-functions.lisp

Dependency

function-lambda-lists.lisp (file)

Parent

restricted-functions (system)

Location

generic-functions.lisp

Exported Definitions

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

4.1.5 restricted-functions/strategies.lisp

Dependency

generic-functions.lisp (file)

Parent

restricted-functions (system)

Location

strategies.lisp

Exported Definitions
Internal Definitions

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

4.1.6 restricted-functions/restricted-function.lisp

Dependency

strategies.lisp (file)

Parent

restricted-functions (system)

Location

restricted-function.lisp

Exported Definitions
Internal Definitions

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

4.1.7 restricted-functions/default-methods.lisp

Dependency

restricted-function.lisp (file)

Parent

restricted-functions (system)

Location

default-methods.lisp

Exported Definitions

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

4.1.8 restricted-functions/type-inference-rules/numbers.lisp

Parent

type-inference-rules (module)

Location

type-inference-rules/numbers.lisp

Internal Definitions

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

5 Packages

Packages are listed by definition order.


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

5.1 restricted-functions

Source

packages.lisp (file)

Use List

closer-common-lisp

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


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

6.1.1 Generic functions

Generic Function: argument-types FUNCTION

Returns a list of the types of all mandatory arguments of FUNCTION.

Package

restricted-functions

Source

generic-functions.lisp (file)

Methods
Method: argument-types (FUNCTION function)
Source

default-methods.lisp (file)

Generic Function: arity FUNCTION

Returns the number of arguments of FUNCTION.

Package

restricted-functions

Source

generic-functions.lisp (file)

Methods
Method: arity (FUNCTION function)
Source

default-methods.lisp (file)

Method: arity (RF restricted-function)
Source

restricted-function.lisp (file)

Generic Function: function-type FUNCTION

Returns a type specifier describing FUNCTION.

Package

restricted-functions

Source

generic-functions.lisp (file)

Methods
Method: function-type (FUNCTION function)
Source

default-methods.lisp (file)

Generic Function: infer-type STRATEGY FUNCTION &rest ARGUMENT-TYPES

Returns a values type specifier, describing the possible values of FUNCTION when called with arguments of the given ARGUMENT-TYPES.

Package

restricted-functions

Source

generic-functions.lisp (file)

Methods
Method: infer-type STRATEGY (FUNCTION function) &rest ARGUMENT-TYPES
Source

default-methods.lisp (file)

Method: infer-type (STRATEGY null) (FUNCTION function) &rest ARGUMENT-TYPES
Source

default-methods.lisp (file)

Method: infer-type (STRATEGY default-type-inference) (FUNCTION function) &rest ARGUMENT-TYPES
Source

strategies.lisp (file)

Method: infer-type (STRATEGY argument-type-simplification-around-infer-type) (FUNCTION function) &rest ARGUMENT-TYPES around
Source

strategies.lisp (file)

Generic Function: mandatory-values FUNCTION

Returns the number of mandatory values returned by FUNCTION.

Package

restricted-functions

Source

generic-functions.lisp (file)

Methods
Method: mandatory-values (FUNCTION function)
Source

default-methods.lisp (file)

Method: mandatory-values (RESTRICTED-FUNCTION restricted-function)

automatically generated reader method

Source

restricted-function.lisp (file)

Generic Function: name FUNCTION

Returns a symbol that is the name of FUNCTION.

Package

restricted-functions

Source

generic-functions.lisp (file)

Methods
Method: name (RESTRICTED-FUNCTION restricted-function)

automatically generated reader method

Source

restricted-function.lisp (file)

Generic Function: nth-argument-type N FUNCTION

Returns a type specifier that describes the set of permissible values for the Nth argument of FUNCTION.

Package

restricted-functions

Source

generic-functions.lisp (file)

Methods
Method: nth-argument-type (N integer) (FUNCTION function)
Source

default-methods.lisp (file)

Method: nth-argument-type (N integer) (RF restricted-function)
Source

restricted-function.lisp (file)

Generic Function: nth-value-type N FUNCTION

Returns a type specifier that describes the Nth value returned by FUNCTION.

Package

restricted-functions

Source

generic-functions.lisp (file)

Methods
Method: nth-value-type (N integer) (FUNCTION function)
Source

default-methods.lisp (file)

Method: nth-value-type (N integer) (RF restricted-function)
Source

restricted-function.lisp (file)

Generic Function: optional-values FUNCTION

Returns the number of optional values returned by FUNCTION.

Package

restricted-functions

Source

generic-functions.lisp (file)

Methods
Method: optional-values (FUNCTION function)
Source

default-methods.lisp (file)

Method: optional-values (RESTRICTED-FUNCTION restricted-function)

automatically generated reader method

Source

restricted-function.lisp (file)

Generic Function: original-function FUNCTION

Returns the function upon which FUNCTION specializes.

Package

restricted-functions

Source

generic-functions.lisp (file)

Methods
Method: original-function (FUNCTION function)
Source

default-methods.lisp (file)

Method: original-function (RESTRICTED-FUNCTION restricted-function)

automatically generated reader method

Source

restricted-function.lisp (file)

Generic Function: rest-values-p FUNCTION

Returns whether FUNCTION may return any number of values.

Package

restricted-functions

Source

generic-functions.lisp (file)

Methods
Method: rest-values-p (FUNCTION function)
Source

default-methods.lisp (file)

Method: rest-values-p (RESTRICTED-FUNCTION restricted-function)

automatically generated reader method

Source

restricted-function.lisp (file)

Generic Function: restrict STRATEGY FUNCTION &rest ARGUMENT-TYPES

Returns a restricted function that is equivalent to FUNCTION, but only applicable to arguments of the given ARGUMENT-TYPES. This restricted function can the either be called directly, or queried for a variety of information, such as the type of the values it returns. Internally, RESTRICT calls INFER-TYPE on the same arguments to determine the type of the possible values of FUNCTION.

The first argument, STRATEGY, influences how fast or precise type inference ought to be done, or whether to use caching or not. The default strategy (used when STRATEGY is NIL), simplifies all argument types before use and caches restricted functions unconditionally.

New strategies can be defined by the user by specializing on RESTRICT and INFER-TYPE.

Package

restricted-functions

Source

generic-functions.lisp (file)

Methods
Method: restrict STRATEGY (FUNCTION function) &rest ARGUMENT-TYPES
Source

default-methods.lisp (file)

Method: restrict (STRATEGY null) (FUNCTION function) &rest ARGUMENT-TYPES
Source

default-methods.lisp (file)

Method: restrict (STRATEGY restricted-function-caching) (FUNCTION function) &rest ARGUMENT-TYPES around
Source

strategies.lisp (file)

Method: restrict (STRATEGY argument-type-simplification-around-restrict) (FUNCTION function) &rest ARGUMENT-TYPES around
Source

strategies.lisp (file)

Generic Function: values-type FUNCTION

Returns a values type specifier that describes the multiple values that will be returned when FUNCTION is called with valid arguments.

Package

restricted-functions

Source

generic-functions.lisp (file)

Methods
Method: values-type (FUNCTION function)
Source

default-methods.lisp (file)


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

6.1.2 Classes

Class: argument-type-simplification-around-infer-type ()
Package

restricted-functions

Source

strategies.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses

default-strategy-for-infer-type (class)

Direct methods

infer-type (method)

Class: argument-type-simplification-around-restrict ()
Package

restricted-functions

Source

strategies.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses

default-strategy-for-restrict (class)

Direct methods

restrict (method)

Class: default-type-inference ()
Package

restricted-functions

Source

strategies.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses
Direct methods

infer-type (method)

Class: restricted-function ()
Package

restricted-functions

Source

restricted-function.lisp (file)

Direct superclasses

funcallable-standard-object (class)

Direct methods
Direct slots
Slot: %name
Initargs

:name

Readers

name (generic function)

Slot: %original-function
Initargs

:original-function

Readers

original-function (generic function)

Slot: %mandatory-values
Initargs

:mandatory-values

Readers

mandatory-values (generic function)

Slot: %optional-values
Initargs

:optional-values

Readers

optional-values (generic function)

Slot: %rest-values-p
Initargs

:rest-values-p

Readers

rest-values-p (generic function)

Slot: %atypes
Type

simple-vector

Initargs

:atypes

Readers

atypes (generic function)

Slot: %rtypes
Type

simple-vector

Initargs

:rtypes

Readers

rtypes (generic function)

Class: restricted-function-caching ()
Package

restricted-functions

Source

strategies.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses

default-strategy-for-restrict (class)

Direct methods
Direct slots
Slot: %cache
Initform

(make-hash-table :test (function equal))

Readers

restricted-function-cache (generic function)


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

6.2 Internal definitions


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

6.2.1 Special variables

Special Variable: *default-strategy-for-infer-type*
Package

restricted-functions

Source

strategies.lisp (file)

Special Variable: *default-strategy-for-restrict*
Package

restricted-functions

Source

strategies.lisp (file)

Special Variable: *type-inference-functions*
Package

restricted-functions

Source

strategies.lisp (file)


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

6.2.2 Macros

Macro: define-type-inference-rule FNAME ARGS &body BODY
Package

restricted-functions

Source

strategies.lisp (file)

Macro: type-inference-function FUNCTION
Package

restricted-functions

Source

strategies.lisp (file)


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

6.2.3 Functions

Function: bounded-integer-type-p TYPE
Package

restricted-functions

Source

numbers.lisp (file)

Function: check-arity FUNCTION NUMBER-OF-SUPPLIED-ARGUMENTS
Package

restricted-functions

Source

function-lambda-lists.lisp (file)

Function: compute-compiler-macro-function RF
Package

restricted-functions

Source

restricted-function.lisp (file)

Function: function-arity FUNCTION
Package

restricted-functions

Source

function-lambda-lists.lisp (file)

Function: function-lambda-list FUNCTION &optional ERRORP

Return the lambda list of FUNCTION, or an approximation thereof.

Package

restricted-functions

Source

function-lambda-lists.lisp (file)

Function: generate-restricted-function-name ()
Package

restricted-functions

Source

restricted-function.lisp (file)

Function: genstring &optional PREFIX
Package

restricted-functions

Source

restricted-function.lisp (file)

Function: lambda-list-arity LAMBDA-LIST

Return two values:
1. the number of mandatory arguments
2. the maximal number of permissible arguments

Package

restricted-functions

Source

function-lambda-lists.lisp (file)

Function: numeric-contagion TYPE-1 TYPE-2
Package

restricted-functions

Source

numbers.lisp (file)

Function: numeric-contagion/atomic TYPE-1 TYPE-2
Package

restricted-functions

Source

numbers.lisp (file)

Function: parse-number-type TYPE
Package

restricted-functions

Source

numbers.lisp (file)

Function: parse-values-type VALUES-TYPE
Package

restricted-functions

Source

restricted-function.lisp (file)

Function: unparse-number-type COMPLEXP ATOMIC-TYPE
Package

restricted-functions

Source

numbers.lisp (file)


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

6.2.4 Generic functions

Generic Function: atypes OBJECT
Package

restricted-functions

Methods
Method: atypes (RESTRICTED-FUNCTION restricted-function)

automatically generated reader method

Source

restricted-function.lisp (file)

Generic Function: restricted-function-cache OBJECT
Package

restricted-functions

Methods
Method: restricted-function-cache (RESTRICTED-FUNCTION-CACHING restricted-function-caching)

automatically generated reader method

Source

strategies.lisp (file)

Generic Function: rtypes OBJECT
Package

restricted-functions

Methods
Method: rtypes (RESTRICTED-FUNCTION restricted-function)

automatically generated reader method

Source

restricted-function.lisp (file)


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

6.2.5 Classes

Class: default-strategy-for-infer-type ()
Package

restricted-functions

Source

strategies.lisp (file)

Direct superclasses
Class: default-strategy-for-restrict ()
Package

restricted-functions

Source

strategies.lisp (file)

Direct superclasses

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

Appendix A Indexes


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

A.1 Concepts

Jump to:   F   L   M   R  
Index Entry  Section

F
File, Lisp, restricted-functions.asd: The restricted-functions<dot>asd file
File, Lisp, restricted-functions/default-methods.lisp: The restricted-functions/default-methods<dot>lisp file
File, Lisp, restricted-functions/function-lambda-lists.lisp: The restricted-functions/function-lambda-lists<dot>lisp file
File, Lisp, restricted-functions/generic-functions.lisp: The restricted-functions/generic-functions<dot>lisp file
File, Lisp, restricted-functions/packages.lisp: The restricted-functions/packages<dot>lisp file
File, Lisp, restricted-functions/restricted-function.lisp: The restricted-functions/restricted-function<dot>lisp file
File, Lisp, restricted-functions/strategies.lisp: The restricted-functions/strategies<dot>lisp file
File, Lisp, restricted-functions/type-inference-rules/numbers.lisp: The restricted-functions/type-inference-rules/numbers<dot>lisp file

L
Lisp File, restricted-functions.asd: The restricted-functions<dot>asd file
Lisp File, restricted-functions/default-methods.lisp: The restricted-functions/default-methods<dot>lisp file
Lisp File, restricted-functions/function-lambda-lists.lisp: The restricted-functions/function-lambda-lists<dot>lisp file
Lisp File, restricted-functions/generic-functions.lisp: The restricted-functions/generic-functions<dot>lisp file
Lisp File, restricted-functions/packages.lisp: The restricted-functions/packages<dot>lisp file
Lisp File, restricted-functions/restricted-function.lisp: The restricted-functions/restricted-function<dot>lisp file
Lisp File, restricted-functions/strategies.lisp: The restricted-functions/strategies<dot>lisp file
Lisp File, restricted-functions/type-inference-rules/numbers.lisp: The restricted-functions/type-inference-rules/numbers<dot>lisp file

M
Module, restricted-functions/type-inference-rules: The restricted-functions/type-inference-rules module

R
restricted-functions.asd: The restricted-functions<dot>asd file
restricted-functions/default-methods.lisp: The restricted-functions/default-methods<dot>lisp file
restricted-functions/function-lambda-lists.lisp: The restricted-functions/function-lambda-lists<dot>lisp file
restricted-functions/generic-functions.lisp: The restricted-functions/generic-functions<dot>lisp file
restricted-functions/packages.lisp: The restricted-functions/packages<dot>lisp file
restricted-functions/restricted-function.lisp: The restricted-functions/restricted-function<dot>lisp file
restricted-functions/strategies.lisp: The restricted-functions/strategies<dot>lisp file
restricted-functions/type-inference-rules: The restricted-functions/type-inference-rules module
restricted-functions/type-inference-rules/numbers.lisp: The restricted-functions/type-inference-rules/numbers<dot>lisp file

Jump to:   F   L   M   R  

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

A.2 Functions

Jump to:   A   B   C   D   F   G   I   L   M   N   O   P   R   T   U   V  
Index Entry  Section

A
argument-types: Exported generic functions
argument-types: Exported generic functions
arity: Exported generic functions
arity: Exported generic functions
arity: Exported generic functions
atypes: Internal generic functions
atypes: Internal generic functions

B
bounded-integer-type-p: Internal functions

C
check-arity: Internal functions
compute-compiler-macro-function: Internal functions

D
define-type-inference-rule: Internal macros

F
Function, bounded-integer-type-p: Internal functions
Function, check-arity: Internal functions
Function, compute-compiler-macro-function: Internal functions
Function, function-arity: Internal functions
Function, function-lambda-list: Internal functions
Function, generate-restricted-function-name: Internal functions
Function, genstring: Internal functions
Function, lambda-list-arity: Internal functions
Function, numeric-contagion: Internal functions
Function, numeric-contagion/atomic: Internal functions
Function, parse-number-type: Internal functions
Function, parse-values-type: Internal functions
Function, unparse-number-type: Internal functions
function-arity: Internal functions
function-lambda-list: Internal functions
function-type: Exported generic functions
function-type: Exported generic functions

G
generate-restricted-function-name: Internal functions
Generic Function, argument-types: Exported generic functions
Generic Function, arity: Exported generic functions
Generic Function, atypes: Internal generic functions
Generic Function, function-type: Exported generic functions
Generic Function, infer-type: Exported generic functions
Generic Function, mandatory-values: Exported generic functions
Generic Function, name: Exported generic functions
Generic Function, nth-argument-type: Exported generic functions
Generic Function, nth-value-type: Exported generic functions
Generic Function, optional-values: Exported generic functions
Generic Function, original-function: Exported generic functions
Generic Function, rest-values-p: Exported generic functions
Generic Function, restrict: Exported generic functions
Generic Function, restricted-function-cache: Internal generic functions
Generic Function, rtypes: Internal generic functions
Generic Function, values-type: Exported generic functions
genstring: Internal functions

I
infer-type: Exported generic functions
infer-type: Exported generic functions
infer-type: Exported generic functions
infer-type: Exported generic functions
infer-type: Exported generic functions

L
lambda-list-arity: Internal functions

M
Macro, define-type-inference-rule: Internal macros
Macro, type-inference-function: Internal macros
mandatory-values: Exported generic functions
mandatory-values: Exported generic functions
mandatory-values: Exported generic functions
Method, argument-types: Exported generic functions
Method, arity: Exported generic functions
Method, arity: Exported generic functions
Method, atypes: Internal generic functions
Method, function-type: Exported generic functions
Method, infer-type: Exported generic functions
Method, infer-type: Exported generic functions
Method, infer-type: Exported generic functions
Method, infer-type: Exported generic functions
Method, mandatory-values: Exported generic functions
Method, mandatory-values: Exported generic functions
Method, name: Exported generic functions
Method, nth-argument-type: Exported generic functions
Method, nth-argument-type: Exported generic functions
Method, nth-value-type: Exported generic functions
Method, nth-value-type: Exported generic functions
Method, optional-values: Exported generic functions
Method, optional-values: Exported generic functions
Method, original-function: Exported generic functions
Method, original-function: Exported generic functions
Method, rest-values-p: Exported generic functions
Method, rest-values-p: Exported generic functions
Method, restrict: Exported generic functions
Method, restrict: Exported generic functions
Method, restrict: Exported generic functions
Method, restrict: Exported generic functions
Method, restricted-function-cache: Internal generic functions
Method, rtypes: Internal generic functions
Method, values-type: Exported generic functions

N
name: Exported generic functions
name: Exported generic functions
nth-argument-type: Exported generic functions
nth-argument-type: Exported generic functions
nth-argument-type: Exported generic functions
nth-value-type: Exported generic functions
nth-value-type: Exported generic functions
nth-value-type: Exported generic functions
numeric-contagion: Internal functions
numeric-contagion/atomic: Internal functions

O
optional-values: Exported generic functions
optional-values: Exported generic functions
optional-values: Exported generic functions
original-function: Exported generic functions
original-function: Exported generic functions
original-function: Exported generic functions

P
parse-number-type: Internal functions
parse-values-type: Internal functions

R
rest-values-p: Exported generic functions
rest-values-p: Exported generic functions
rest-values-p: Exported generic functions
restrict: Exported generic functions
restrict: Exported generic functions
restrict: Exported generic functions
restrict: Exported generic functions
restrict: Exported generic functions
restricted-function-cache: Internal generic functions
restricted-function-cache: Internal generic functions
rtypes: Internal generic functions
rtypes: Internal generic functions

T
type-inference-function: Internal macros

U
unparse-number-type: Internal functions

V
values-type: Exported generic functions
values-type: Exported generic functions

Jump to:   A   B   C   D   F   G   I   L   M   N   O   P   R   T   U   V  

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

A.3 Variables

Jump to:   %   *  
S  
Index Entry  Section

%
%atypes: Exported classes
%cache: Exported classes
%mandatory-values: Exported classes
%name: Exported classes
%optional-values: Exported classes
%original-function: Exported classes
%rest-values-p: Exported classes
%rtypes: Exported classes

*
*default-strategy-for-infer-type*: Internal special variables
*default-strategy-for-restrict*: Internal special variables
*type-inference-functions*: Internal special variables

S
Slot, %atypes: Exported classes
Slot, %cache: Exported classes
Slot, %mandatory-values: Exported classes
Slot, %name: Exported classes
Slot, %optional-values: Exported classes
Slot, %original-function: Exported classes
Slot, %rest-values-p: Exported classes
Slot, %rtypes: Exported classes
Special Variable, *default-strategy-for-infer-type*: Internal special variables
Special Variable, *default-strategy-for-restrict*: Internal special variables
Special Variable, *type-inference-functions*: Internal special variables

Jump to:   %   *  
S  

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

A.4 Data types

Jump to:   A   C   D   P   R   S  
Index Entry  Section

A
argument-type-simplification-around-infer-type: Exported classes
argument-type-simplification-around-restrict: Exported classes

C
Class, argument-type-simplification-around-infer-type: Exported classes
Class, argument-type-simplification-around-restrict: Exported classes
Class, default-strategy-for-infer-type: Internal classes
Class, default-strategy-for-restrict: Internal classes
Class, default-type-inference: Exported classes
Class, restricted-function: Exported classes
Class, restricted-function-caching: Exported classes

D
default-strategy-for-infer-type: Internal classes
default-strategy-for-restrict: Internal classes
default-type-inference: Exported classes

P
Package, restricted-functions: The restricted-functions package

R
restricted-function: Exported classes
restricted-function-caching: Exported classes
restricted-functions: The restricted-functions system
restricted-functions: The restricted-functions package

S
System, restricted-functions: The restricted-functions system

Jump to:   A   C   D   P   R   S