The typo Reference Manual

This is the typo Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Mon Feb 26 18:10:11 2024 GMT+0.

Table of Contents


1 Introduction


2 Systems

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


2.1 typo

A portable type inference library for Common Lisp

Author

Marco Heisig <>

License

MIT

Dependencies
  • alexandria (system).
  • closer-mop (system).
  • introspect-environment (system).
  • trivia (system).
  • trivial-arguments (system).
  • trivial-garbage (system).
Source

typo.asd.

Child Components

3 Modules

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


3.2 typo/fndb

Dependency

ntype (module).

Source

typo.asd.

Parent Component

typo (system).

Child Components

3.3 typo/vm

Dependency

fndb (module).

Source

typo.asd.

Parent Component

typo (system).

Child Components

4 Files

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


4.1 Lisp


4.1.1 typo/typo.asd

Source

typo.asd.

Parent Component

typo (system).

ASDF Systems

typo.


4.1.2 typo/packages.lisp

Source

typo.asd.

Parent Component

typo (system).

Packages

4.1.3 typo/ntype/auxiliary-types.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface
Internals

4.1.4 typo/ntype/bits.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface
Internals

4.1.5 typo/ntype/class-subclasses.lisp

Source

typo.asd.

Parent Component

ntype (module).

Internals

class-subclasses (function).


4.1.6 typo/ntype/primitive-ntype-information.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface

ntype-index (type).

Internals

*primitive-ntype-information* (special variable).


4.1.7 typo/ntype/ntype.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface
Internals

4.1.8 typo/ntype/primitive-ntype.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface
Internals

4.1.9 typo/ntype/upgraded-array-element-ntype.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface
Internals

primitive-ntype-upgraded-array-element-ntype (function).


4.1.10 typo/ntype/upgraded-complex-part-ntype.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface
Internals

primitive-ntype-upgraded-complex-part-ntype (function).


4.1.11 typo/ntype/make-eql-ntype.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface
Internals

4.1.12 typo/ntype/make-array-ntype.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface
Internals

4.1.13 typo/ntype/type-specifier-ntype.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface
Internals

4.1.14 typo/ntype/ntype-subtypep.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface
Internals

4.1.15 typo/ntype/ntype-subtypepc2.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface
Internals

primitive-ntype-subtypepc2 (function).


4.1.16 typo/ntype/ntype=.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface

4.1.17 typo/ntype/ntype-union.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface
Internals

4.1.18 typo/ntype/ntype-intersection.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface
Internals

primitive-ntype-intersection (function).


4.1.19 typo/ntype/ntype-subtypecase.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface

ntype-subtypecase (macro).


4.1.20 typo/ntype/ntype-contagion.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface

ntype-contagion (method).

Internals

4.1.22 typo/ntype/array-element-ntype.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface
Internals

define-array-element-ntype-methods (macro).


4.1.23 typo/ntype/complex-part-ntype.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface
Internals

define-complex-part-ntype-methods (macro).


4.1.24 typo/fndb/function-lambda-lists.lisp

Source

typo.asd.

Parent Component

fndb (module).

Public Interface
Internals

function-lambda-list (function).


4.1.25 typo/fndb/function-name.lisp

Source

typo.asd.

Parent Component

fndb (module).

Public Interface

function-name (function).


4.1.26 typo/fndb/conditions.lisp

Source

typo.asd.

Parent Component

fndb (module).

Internals

4.1.27 typo/fndb/wrap.lisp

Source

typo.asd.

Parent Component

fndb (module).

Public Interface
Internals

4.1.28 typo/fndb/fndb.lisp

Source

typo.asd.

Parent Component

fndb (module).

Public Interface
Internals

4.1.29 typo/fndb/define-fnrecord.lisp

Source

typo.asd.

Parent Component

fndb (module).

Public Interface

define-fnrecord (macro).


4.1.30 typo/fndb/macros.lisp

Source

typo.asd.

Parent Component

fndb (module).

Public Interface
Internals

4.1.31 typo/fndb/specialize.lisp

Source

typo.asd.

Parent Component

fndb (module).

Public Interface

4.1.32 typo/fndb/differentiate.lisp

Source

typo.asd.

Parent Component

fndb (module).

Public Interface

differentiate (function).

Internals

diff (function).


4.1.33 typo/vm/auxiliary.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface
Internals

4.1.34 typo/vm/predicates.lisp

Source

typo.asd.

Parent Component

vm (module).

Internals

define-predicate-fnrecord (macro).


4.1.35 typo/vm/type-checks.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface
Internals

define-type-check (macro).


4.1.36 typo/vm/casts.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.37 typo/vm/data-and-control-flow.lisp

Source

typo.asd.

Parent Component

vm (module).


4.1.38 typo/vm/types-and-classes.lisp

Source

typo.asd.

Parent Component

vm (module).


4.1.39 typo/vm/abs.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface
Internals

integer-abs (function).


4.1.40 typo/vm/add.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.41 typo/vm/array.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.42 typo/vm/char.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.43 typo/vm/cmpeq.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.44 typo/vm/cmpneq.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.45 typo/vm/cmpx.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface
Internals

cmpx (macro).


4.1.46 typo/vm/complex.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.47 typo/vm/exp.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.48 typo/vm/log.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.49 typo/vm/cos.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.50 typo/vm/div.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.51 typo/vm/max.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.52 typo/vm/min.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.53 typo/vm/mul.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.54 typo/vm/signum.lisp

Source

typo.asd.

Parent Component

vm (module).


4.1.55 typo/vm/sin.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.56 typo/vm/sub.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.57 typo/vm/sqrt.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.58 typo/vm/string.lisp

Source

typo.asd.

Parent Component

vm (module).


4.1.59 typo/vm/tan.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

5 Packages

Packages are listed by definition order.


5.1 typo.cl-stubs

Source

packages.lisp.


5.2 typo.vm

Source

packages.lisp.

Use List
  • closer-common-lisp.
  • typo.
Internals

5.3 typo

Source

packages.lisp.

Use List

closer-common-lisp.

Used By List
Public Interface

5.4 typo.ntype

Source

packages.lisp.

Use List
  • closer-common-lisp.
  • typo.
Internals

5.5 typo.fndb

Source

packages.lisp.

Use List
  • closer-common-lisp.
  • typo.
Internals

6 Definitions

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


6.1 Public Interface


6.1.1 Constants

Constant: +base-char-bits+
Package

typo.

Source

bits.lisp.

Constant: +character-bits+
Package

typo.

Source

bits.lisp.

Constant: +double-float-bits+
Package

typo.

Source

bits.lisp.

Constant: +long-float-bits+
Package

typo.

Source

bits.lisp.

Constant: +primitive-ntype-limit+
Package

typo.

Source

primitive-ntype.lisp.

Constant: +short-float-bits+
Package

typo.

Source

bits.lisp.

Constant: +single-float-bits+
Package

typo.

Source

bits.lisp.

Constant: +word-bits+
Package

typo.

Source

bits.lisp.

Constant: base-char-code-limit
Package

typo.

Source

bits.lisp.


6.1.2 Macros

Macro: assert-wrapper-type (wrapper type)
Package

typo.

Source

macros.lisp.

Macro: define-fnrecord (function-name lambda-list &body options)
Package

typo.

Source

define-fnrecord.lisp.

Macro: define-instruction ((parent-name instruction-name) result-types arguments &body body)
Package

typo.

Source

macros.lisp.

Macro: define-simple-instruction ((parent-name instruction-name) result-types argument-types)
Package

typo.

Source

macros.lisp.

Macro: ntype-subtypecase (ntype &body clauses)

Execute the forms in the first clause that starts with a type that is a subtype of the supplied NTYPE.

Package

typo.

Source

ntype-subtypecase.lisp.

Macro: wrap (form)
Package

typo.

Source

wrap.lisp.


6.1.3 Compiler macros

Compiler Macro: ensure-fnrecord (fnrecord-designator)
Package

typo.

Source

fndb.lisp.

Compiler Macro: function-differentiator (function-designator)
Package

typo.

Source

fndb.lisp.

Compiler Macro: function-specializer (function-designator)
Package

typo.

Source

fndb.lisp.

Compiler Macro: type-specifier-ntype (type-specifier)
Package

typo.

Source

ntype.lisp.

Compiler Macro: values-type-specifier-values-ntype (type-specifier)
Package

typo.

Source

values-ntype.lisp.


6.1.4 Ordinary functions

Function: and-fn (&rest args)
Package

typo.

Source

auxiliary.lisp.

Function: choose (boolean a b)
Package

typo.

Source

auxiliary.lisp.

Function: coerce-to-complex-double-float (number)
Package

typo.

Source

auxiliary.lisp.

Function: coerce-to-complex-long-float (number)
Package

typo.

Source

auxiliary.lisp.

Function: coerce-to-complex-short-float (number)
Package

typo.

Source

auxiliary.lisp.

Function: coerce-to-complex-single-float (number)
Package

typo.

Source

auxiliary.lisp.

Function: coerce-to-double-float (number)
Package

typo.

Source

auxiliary.lisp.

Function: coerce-to-long-float (number)
Package

typo.

Source

auxiliary.lisp.

Function: coerce-to-short-float (number)
Package

typo.

Source

auxiliary.lisp.

Function: coerce-to-single-float (number)
Package

typo.

Source

auxiliary.lisp.

Function: complex-double-float-abs (complex-double-float0)
Package

typo.

Source

abs.lisp.

Function: complex-double-float-cos (complex-double-float0)
Package

typo.

Source

cos.lisp.

Function: complex-double-float-from-complex-long-float (complex-long-float0)
Package

typo.

Source

casts.lisp.

Function: complex-double-float-from-complex-short-float (complex-short-float0)
Package

typo.

Source

casts.lisp.

Function: complex-double-float-from-complex-single-float (complex-single-float0)
Package

typo.

Source

casts.lisp.

Function: complex-double-float-from-double-float (double-float0)
Package

typo.

Source

casts.lisp.

Function: complex-double-float-imagpart (complex-double-float0)
Package

typo.

Source

complex.lisp.

Function: complex-double-float-realpart (complex-double-float0)
Package

typo.

Source

complex.lisp.

Function: complex-double-float-sin (complex-double-float0)
Package

typo.

Source

sin.lisp.

Function: complex-double-float-tan (complex-double-float0)
Package

typo.

Source

tan.lisp.

Function: complex-long-float-abs (complex-long-float0)
Package

typo.

Source

abs.lisp.

Function: complex-long-float-cos (complex-long-float0)
Package

typo.

Source

cos.lisp.

Function: complex-long-float-from-complex-double-float (complex-double-float0)
Package

typo.

Source

casts.lisp.

Function: complex-long-float-from-complex-short-float (complex-short-float0)
Package

typo.

Source

casts.lisp.

Function: complex-long-float-from-complex-single-float (complex-single-float0)
Package

typo.

Source

casts.lisp.

Function: complex-long-float-from-long-float (long-float0)
Package

typo.

Source

casts.lisp.

Function: complex-long-float-imagpart (complex-long-float0)
Package

typo.

Source

complex.lisp.

Function: complex-long-float-realpart (complex-long-float0)
Package

typo.

Source

complex.lisp.

Function: complex-long-float-sin (complex-long-float0)
Package

typo.

Source

sin.lisp.

Function: complex-long-float-tan (complex-long-float0)
Package

typo.

Source

tan.lisp.

Function: complex-short-float-abs (complex-short-float0)
Package

typo.

Source

abs.lisp.

Function: complex-short-float-cos (complex-short-float0)
Package

typo.

Source

cos.lisp.

Function: complex-short-float-from-complex-double-float (complex-double-float0)
Package

typo.

Source

casts.lisp.

Function: complex-short-float-from-complex-long-float (complex-long-float0)
Package

typo.

Source

casts.lisp.

Function: complex-short-float-from-complex-single-float (complex-single-float0)
Package

typo.

Source

casts.lisp.

Function: complex-short-float-from-short-float (short-float0)
Package

typo.

Source

casts.lisp.

Function: complex-short-float-imagpart (complex-short-float0)
Package

typo.

Source

complex.lisp.

Function: complex-short-float-realpart (complex-short-float0)
Package

typo.

Source

complex.lisp.

Function: complex-short-float-sin (complex-short-float0)
Package

typo.

Source

sin.lisp.

Function: complex-short-float-tan (complex-short-float0)
Package

typo.

Source

tan.lisp.

Function: complex-single-float-abs (complex-single-float0)
Package

typo.

Source

abs.lisp.

Function: complex-single-float-cos (complex-single-float0)
Package

typo.

Source

cos.lisp.

Function: complex-single-float-from-complex-double-float (complex-double-float0)
Package

typo.

Source

casts.lisp.

Function: complex-single-float-from-complex-long-float (complex-long-float0)
Package

typo.

Source

casts.lisp.

Function: complex-single-float-from-complex-short-float (complex-short-float0)
Package

typo.

Source

casts.lisp.

Function: complex-single-float-from-single-float (single-float0)
Package

typo.

Source

casts.lisp.

Function: complex-single-float-imagpart (complex-single-float0)
Package

typo.

Source

complex.lisp.

Function: complex-single-float-realpart (complex-single-float0)
Package

typo.

Source

complex.lisp.

Function: complex-single-float-sin (complex-single-float0)
Package

typo.

Source

sin.lisp.

Function: complex-single-float-tan (complex-single-float0)
Package

typo.

Source

tan.lisp.

Function: cswap (boolean a b)
Package

typo.

Source

auxiliary.lisp.

Function: differentiate (function wrappers index &key wrap-constant wrap-function wrapper-nth-value-ntype wrapper-ntype)
Package

typo.

Source

differentiate.lisp.

Function: double-float-abs (double-float0)
Package

typo.

Source

abs.lisp.

Function: double-float-cis (double-float0)
Package

typo.

Source

complex.lisp.

Function: double-float-complex (double-float0 double-float1)
Package

typo.

Source

complex.lisp.

Function: double-float-cos (double-float0)
Package

typo.

Source

cos.lisp.

Function: double-float-exp (double-float0)
Package

typo.

Source

exp.lisp.

Function: double-float-from-integer (integer0)
Package

typo.

Source

casts.lisp.

Function: double-float-from-long-float (long-float0)
Package

typo.

Source

casts.lisp.

Function: double-float-from-short-float (short-float0)
Package

typo.

Source

casts.lisp.

Function: double-float-from-single-float (single-float0)
Package

typo.

Source

casts.lisp.

Function: double-float-ln (double-float0)
Package

typo.

Source

log.lisp.

Function: double-float-row-major-aref (g0 unsigned-byte1)
Package

typo.

Source

array.lisp.

Function: (setf double-float-row-major-aref) (g1 unsigned-byte2)
Package

typo.

Source

array.lisp.

Function: double-float-sin (double-float0)
Package

typo.

Source

sin.lisp.

Function: double-float-sqrt (double-float0)
Package

typo.

Source

sqrt.lisp.

Function: double-float-tan (double-float0)
Package

typo.

Source

tan.lisp.

Function: empty-ntype ()
Package

typo.

Source

primitive-ntype.lisp.

Function: ensure-fnrecord (fnrecord-designator)
Package

typo.

Source

fndb.lisp.

Reader: eql-ntype-object (instance)
Package

typo.

Source

ntype.lisp.

Target Slot

object.

Function: eql-ntype-p (object)
Package

typo.

Source

ntype.lisp.

Function: false-ntype ()
Package

typo.

Source

primitive-ntype.lisp.

Function: find-fnrecord (extended-function-designator &optional errorp)
Package

typo.

Source

fndb.lisp.

Function: function-arity (function)
Package

typo.

Source

function-lambda-lists.lisp.

Function: function-differentiator (function-designator)
Package

typo.

Source

fndb.lisp.

Function: function-name (function)
Package

typo.

Source

function-name.lisp.

Function: function-specializer (function-designator)
Package

typo.

Source

fndb.lisp.

Function: infer-ntypes (function ntypes)
Package

typo.

Source

specialize.lisp.

Function: lambda-list-arity (lambda-list)

Return two values:

1. The number of mandatory arguments

2. The maximal number of permissible arguments

Package

typo.

Source

function-lambda-lists.lisp.

Function: long-float-abs (long-float0)
Package

typo.

Source

abs.lisp.

Function: long-float-cis (long-float0)
Package

typo.

Source

complex.lisp.

Function: long-float-complex (long-float0 long-float1)
Package

typo.

Source

complex.lisp.

Function: long-float-cos (long-float0)
Package

typo.

Source

cos.lisp.

Function: long-float-exp (long-float0)
Package

typo.

Source

exp.lisp.

Function: long-float-from-double-float (double-float0)
Package

typo.

Source

casts.lisp.

Function: long-float-from-integer (integer0)
Package

typo.

Source

casts.lisp.

Function: long-float-from-short-float (short-float0)
Package

typo.

Source

casts.lisp.

Function: long-float-from-single-float (single-float0)
Package

typo.

Source

casts.lisp.

Function: long-float-ln (long-float0)
Package

typo.

Source

log.lisp.

Function: long-float-row-major-aref (g0 unsigned-byte1)
Package

typo.

Source

array.lisp.

Function: (setf long-float-row-major-aref) (g1 unsigned-byte2)
Package

typo.

Source

array.lisp.

Function: long-float-sin (long-float0)
Package

typo.

Source

sin.lisp.

Function: long-float-sqrt (long-float0)
Package

typo.

Source

sqrt.lisp.

Function: long-float-tan (long-float0)
Package

typo.

Source

tan.lisp.

Function: make-single-value-values-ntype (ntype)
Package

typo.

Source

values-ntype.lisp.

Function: make-values-ntype (required optional rest)
Package

typo.

Source

values-ntype.lisp.

Reader: ntype-index (instance)
Package

typo.

Source

ntype.lisp.

Target Slot

index.

Function: ntype-of (object)

Returns the ntype for the EQL type containing this object.

Package

typo.

Source

ntype.lisp.

Function: ntypep (object)
Package

typo.

Source

ntype.lisp.

Function: one-arg-complex-double-float- (complex-double-float0)
Package

typo.

Source

sub.lisp.

Function: one-arg-complex-long-float- (complex-long-float0)
Package

typo.

Source

sub.lisp.

Function: one-arg-complex-short-float- (complex-short-float0)
Package

typo.

Source

sub.lisp.

Function: one-arg-complex-single-float- (complex-single-float0)
Package

typo.

Source

sub.lisp.

Function: one-arg-double-float- (double-float0)
Package

typo.

Source

sub.lisp.

Function: one-arg-integer- (integer0)
Package

typo.

Source

sub.lisp.

Function: one-arg-long-float- (long-float0)
Package

typo.

Source

sub.lisp.

Function: one-arg-short-float- (short-float0)
Package

typo.

Source

sub.lisp.

Function: one-arg-single-float- (single-float0)
Package

typo.

Source

sub.lisp.

Function: or-fn (&rest args)
Package

typo.

Source

auxiliary.lisp.

Function: primitive-ntype-from-index (index)
Package

typo.

Source

primitive-ntype.lisp.

Function: primitive-ntype-p (object)
Package

typo.

Source

ntype.lisp.

Function: primitive-ntypes ()
Package

typo.

Source

primitive-ntype.lisp.

Function: prog2-fn (a b)
Package

typo.

Source

auxiliary.lisp.

Function: short-float-abs (short-float0)
Package

typo.

Source

abs.lisp.

Function: short-float-cis (short-float0)
Package

typo.

Source

complex.lisp.

Function: short-float-complex (short-float0 short-float1)
Package

typo.

Source

complex.lisp.

Function: short-float-cos (short-float0)
Package

typo.

Source

cos.lisp.

Function: short-float-exp (short-float0)
Package

typo.

Source

exp.lisp.

Function: short-float-from-double-float (double-float0)
Package

typo.

Source

casts.lisp.

Function: short-float-from-integer (integer0)
Package

typo.

Source

casts.lisp.

Function: short-float-from-long-float (long-float0)
Package

typo.

Source

casts.lisp.

Function: short-float-from-single-float (single-float0)
Package

typo.

Source

casts.lisp.

Function: short-float-ln (short-float0)
Package

typo.

Source

log.lisp.

Function: short-float-row-major-aref (g0 unsigned-byte1)
Package

typo.

Source

array.lisp.

Function: (setf short-float-row-major-aref) (g1 unsigned-byte2)
Package

typo.

Source

array.lisp.

Function: short-float-sin (short-float0)
Package

typo.

Source

sin.lisp.

Function: short-float-sqrt (short-float0)
Package

typo.

Source

sqrt.lisp.

Function: short-float-tan (short-float0)
Package

typo.

Source

tan.lisp.

Function: single-float-abs (single-float0)
Package

typo.

Source

abs.lisp.

Function: single-float-cis (single-float0)
Package

typo.

Source

complex.lisp.

Function: single-float-complex (single-float0 single-float1)
Package

typo.

Source

complex.lisp.

Function: single-float-cos (single-float0)
Package

typo.

Source

cos.lisp.

Function: single-float-exp (single-float0)
Package

typo.

Source

exp.lisp.

Function: single-float-from-double-float (double-float0)
Package

typo.

Source

casts.lisp.

Function: single-float-from-integer (integer0)
Package

typo.

Source

casts.lisp.

Function: single-float-from-long-float (long-float0)
Package

typo.

Source

casts.lisp.

Function: single-float-from-short-float (short-float0)
Package

typo.

Source

casts.lisp.

Function: single-float-ln (single-float0)
Package

typo.

Source

log.lisp.

Function: single-float-row-major-aref (g0 unsigned-byte1)
Package

typo.

Source

array.lisp.

Function: (setf single-float-row-major-aref) (g1 unsigned-byte2)
Package

typo.

Source

array.lisp.

Function: single-float-sin (single-float0)
Package

typo.

Source

sin.lisp.

Function: single-float-sqrt (single-float0)
Package

typo.

Source

sqrt.lisp.

Function: single-float-tan (single-float0)
Package

typo.

Source

tan.lisp.

Function: specialize (function wrappers &key wrap-constant wrap-function wrapper-nth-value-ntype wrapper-ntype)

Returns a wrapper that encapsulates the information of calling FUNCTION with arguments that are described by the supplied wrappers. The exact nature of a wrapper depends on the supplied WRAP* functions.

Arguments:

FUNCTION - A function designator, or the name of a special operator.

WRAPPERS - A list of one wrapper per argument. A wrapper is an arbitrary object that can be processed by WRAPPER-NTYPE and WRAPPER-NTH-VALUE-NTYPE.

WRAP-CONSTANT - A function that takes an object and returns a wrapper around this object.

WRAP-FUNCTION - A function that is invoked with a first argument that is an fnrecord, a second argument that is a list of wrapped objects, a third argument that is a list of ntypes of arguments that will definitely be returned, a fourth argument that is a list of ntypes of its optional values, and an ntype of all rest values or NIL if there are no rest values.

WRAPPER-NTYPE - A function that takes a wrapper and returns the ntype of its first argument.

WRAPPER-NTH-VALUE-NTYPE - A function that takes an index N and a wrapper W and returns the ntype of the Nth value of W.

May signal an error of type WRONG-NUMBER-OF-ARGUMENTS or INVALID-ARGUMENTS when the number or type of the supplied WRAPPERS is not suitable for the supplied FUNCTION.

Package

typo.

Source

specialize.lisp.

Function: the-character (object)
Package

typo.

Source

type-checks.lisp.

Function: the-complex (object)
Package

typo.

Source

type-checks.lisp.

Function: the-complex-double-float (object)
Package

typo.

Source

type-checks.lisp.

Function: the-complex-long-float (object)
Package

typo.

Source

type-checks.lisp.

Function: the-complex-short-float (object)
Package

typo.

Source

type-checks.lisp.

Function: the-complex-single-float (object)
Package

typo.

Source

type-checks.lisp.

Function: the-double-float (object)
Package

typo.

Source

type-checks.lisp.

Function: the-float (object)
Package

typo.

Source

type-checks.lisp.

Function: the-function (object)
Package

typo.

Source

type-checks.lisp.

Function: the-integer (object)
Package

typo.

Source

type-checks.lisp.

Function: the-long-float (object)
Package

typo.

Source

type-checks.lisp.

Function: the-number (object)
Package

typo.

Source

type-checks.lisp.

Function: the-rational (object)
Package

typo.

Source

type-checks.lisp.

Function: the-real (object)
Package

typo.

Source

type-checks.lisp.

Function: the-short-float (object)
Package

typo.

Source

type-checks.lisp.

Function: the-single-float (object)
Package

typo.

Source

type-checks.lisp.

Function: the-symbol (object)
Package

typo.

Source

type-checks.lisp.

Function: true-ntype ()
Package

typo.

Source

primitive-ntype.lisp.

Function: two-arg-base-char-equal (base-char361 base-char362)
Package

typo.

Source

char.lisp.

Function: two-arg-base-char-greaterp (base-char1348 base-char1349)
Package

typo.

Source

char.lisp.

Function: two-arg-base-char-lessp (base-char1103 base-char1104)
Package

typo.

Source

char.lisp.

Function: two-arg-base-char-not-equal (base-char338 base-char339)
Package

typo.

Source

char.lisp.

Function: two-arg-base-char-not-greaterp (base-char1593 base-char1594)
Package

typo.

Source

char.lisp.

Function: two-arg-base-char-not-lessp (base-char1838 base-char1839)
Package

typo.

Source

char.lisp.

Function: two-arg-base-char/= (base-char78 base-char79)
Package

typo.

Source

char.lisp.

Function: two-arg-base-char< (base-char75 base-char76)
Package

typo.

Source

char.lisp.

Function: two-arg-base-char<= (base-char589 base-char590)
Package

typo.

Source

char.lisp.

Function: two-arg-base-char= (base-char85 base-char86)
Package

typo.

Source

char.lisp.

Function: two-arg-base-char> (base-char332 base-char333)
Package

typo.

Source

char.lisp.

Function: two-arg-base-char>= (base-char846 base-char847)
Package

typo.

Source

char.lisp.

Function: two-arg-char-equal (a b)
Package

typo.

Source

char.lisp.

Function: two-arg-char-greaterp (a b)
Package

typo.

Source

char.lisp.

Function: two-arg-char-lessp (a b)
Package

typo.

Source

char.lisp.

Function: two-arg-char-not-equal (a b)
Package

typo.

Source

char.lisp.

Function: two-arg-char-not-greaterp (a b)
Package

typo.

Source

char.lisp.

Function: two-arg-char-not-lessp (a b)
Package

typo.

Source

char.lisp.

Function: two-arg-char/= (a b)
Package

typo.

Source

char.lisp.

Function: two-arg-char< (a b)
Package

typo.

Source

char.lisp.

Function: two-arg-char<= (a b)
Package

typo.

Source

char.lisp.

Function: two-arg-char= (a b)
Package

typo.

Source

char.lisp.

Function: two-arg-char> (a b)
Package

typo.

Source

char.lisp.

Function: two-arg-char>= (a b)
Package

typo.

Source

char.lisp.

Function: two-arg-complex-double-float* (complex-double-float0 complex-double-float1)
Package

typo.

Source

mul.lisp.

Function: two-arg-complex-double-float+ (complex-double-float0 complex-double-float1)
Package

typo.

Source

add.lisp.

Function: two-arg-complex-double-float- (complex-double-float0 complex-double-float1)
Package

typo.

Source

sub.lisp.

Function: two-arg-complex-double-float/ (complex-double-float0 complex-double-float1)
Package

typo.

Source

div.lisp.

Function: two-arg-complex-double-float/= (complex-double-float0 complex-double-float1)
Package

typo.

Source

cmpneq.lisp.

Function: two-arg-complex-double-float= (complex-double-float0 complex-double-float1)
Package

typo.

Source

cmpeq.lisp.

Function: two-arg-complex-long-float* (complex-long-float0 complex-long-float1)
Package

typo.

Source

mul.lisp.

Function: two-arg-complex-long-float+ (complex-long-float0 complex-long-float1)
Package

typo.

Source

add.lisp.

Function: two-arg-complex-long-float- (complex-long-float0 complex-long-float1)
Package

typo.

Source

sub.lisp.

Function: two-arg-complex-long-float/ (complex-long-float0 complex-long-float1)
Package

typo.

Source

div.lisp.

Function: two-arg-complex-long-float/= (complex-long-float0 complex-long-float1)
Package

typo.

Source

cmpneq.lisp.

Function: two-arg-complex-long-float= (complex-long-float0 complex-long-float1)
Package

typo.

Source

cmpeq.lisp.

Function: two-arg-complex-short-float* (complex-short-float0 complex-short-float1)
Package

typo.

Source

mul.lisp.

Function: two-arg-complex-short-float+ (complex-short-float0 complex-short-float1)
Package

typo.

Source

add.lisp.

Function: two-arg-complex-short-float- (complex-short-float0 complex-short-float1)
Package

typo.

Source

sub.lisp.

Function: two-arg-complex-short-float/ (complex-short-float0 complex-short-float1)
Package

typo.

Source

div.lisp.

Function: two-arg-complex-short-float/= (complex-short-float0 complex-short-float1)
Package

typo.

Source

cmpneq.lisp.

Function: two-arg-complex-short-float= (complex-short-float0 complex-short-float1)
Package

typo.

Source

cmpeq.lisp.

Function: two-arg-complex-single-float* (complex-single-float0 complex-single-float1)
Package

typo.

Source

mul.lisp.

Function: two-arg-complex-single-float+ (complex-single-float0 complex-single-float1)
Package

typo.

Source

add.lisp.

Function: two-arg-complex-single-float- (complex-single-float0 complex-single-float1)
Package

typo.

Source

sub.lisp.

Function: two-arg-complex-single-float/ (complex-single-float0 complex-single-float1)
Package

typo.

Source

div.lisp.

Function: two-arg-complex-single-float/= (complex-single-float0 complex-single-float1)
Package

typo.

Source

cmpneq.lisp.

Function: two-arg-complex-single-float= (complex-single-float0 complex-single-float1)
Package

typo.

Source

cmpeq.lisp.

Function: two-arg-double-float* (double-float0 double-float1)
Package

typo.

Source

mul.lisp.

Function: two-arg-double-float+ (double-float0 double-float1)
Package

typo.

Source

add.lisp.

Function: two-arg-double-float- (double-float0 double-float1)
Package

typo.

Source

sub.lisp.

Function: two-arg-double-float-max (double-float0 double-float1)
Package

typo.

Source

max.lisp.

Function: two-arg-double-float-min (double-float0 double-float1)
Package

typo.

Source

min.lisp.

Function: two-arg-double-float/ (double-float0 double-float1)
Package

typo.

Source

div.lisp.

Function: two-arg-double-float/= (double-float0 double-float1)
Package

typo.

Source

cmpneq.lisp.

Function: two-arg-double-float< (double-float277 double-float278)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-double-float<= (double-float265 double-float266)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-double-float= (double-float0 double-float1)
Package

typo.

Source

cmpeq.lisp.

Function: two-arg-double-float> (double-float265 double-float266)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-double-float>= (double-float265 double-float266)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-integer* (integer0 integer1)
Package

typo.

Source

mul.lisp.

Function: two-arg-integer+ (integer0 integer1)
Package

typo.

Source

add.lisp.

Function: two-arg-integer- (integer0 integer1)
Package

typo.

Source

sub.lisp.

Function: two-arg-long-float* (long-float0 long-float1)
Package

typo.

Source

mul.lisp.

Function: two-arg-long-float+ (long-float0 long-float1)
Package

typo.

Source

add.lisp.

Function: two-arg-long-float- (long-float0 long-float1)
Package

typo.

Source

sub.lisp.

Function: two-arg-long-float-max (long-float0 long-float1)
Package

typo.

Source

max.lisp.

Function: two-arg-long-float-min (long-float0 long-float1)
Package

typo.

Source

min.lisp.

Function: two-arg-long-float/ (long-float0 long-float1)
Package

typo.

Source

div.lisp.

Function: two-arg-long-float/= (long-float0 long-float1)
Package

typo.

Source

cmpneq.lisp.

Function: two-arg-long-float< (long-float362 long-float363)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-long-float<= (long-float350 long-float351)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-long-float= (long-float0 long-float1)
Package

typo.

Source

cmpeq.lisp.

Function: two-arg-long-float> (long-float350 long-float351)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-long-float>= (long-float350 long-float351)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-short-float* (short-float0 short-float1)
Package

typo.

Source

mul.lisp.

Function: two-arg-short-float+ (short-float0 short-float1)
Package

typo.

Source

add.lisp.

Function: two-arg-short-float- (short-float0 short-float1)
Package

typo.

Source

sub.lisp.

Function: two-arg-short-float-max (short-float0 short-float1)
Package

typo.

Source

max.lisp.

Function: two-arg-short-float-min (short-float0 short-float1)
Package

typo.

Source

min.lisp.

Function: two-arg-short-float/ (short-float0 short-float1)
Package

typo.

Source

div.lisp.

Function: two-arg-short-float/= (short-float0 short-float1)
Package

typo.

Source

cmpneq.lisp.

Function: two-arg-short-float< (short-float107 short-float108)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-short-float<= (short-float95 short-float96)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-short-float= (short-float0 short-float1)
Package

typo.

Source

cmpeq.lisp.

Function: two-arg-short-float> (short-float95 short-float96)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-short-float>= (short-float95 short-float96)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-single-float* (single-float0 single-float1)
Package

typo.

Source

mul.lisp.

Function: two-arg-single-float+ (single-float0 single-float1)
Package

typo.

Source

add.lisp.

Function: two-arg-single-float- (single-float0 single-float1)
Package

typo.

Source

sub.lisp.

Function: two-arg-single-float-max (single-float0 single-float1)
Package

typo.

Source

max.lisp.

Function: two-arg-single-float-min (single-float0 single-float1)
Package

typo.

Source

min.lisp.

Function: two-arg-single-float/ (single-float0 single-float1)
Package

typo.

Source

div.lisp.

Function: two-arg-single-float/= (single-float0 single-float1)
Package

typo.

Source

cmpneq.lisp.

Function: two-arg-single-float< (single-float192 single-float193)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-single-float<= (single-float180 single-float181)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-single-float= (single-float0 single-float1)
Package

typo.

Source

cmpeq.lisp.

Function: two-arg-single-float> (single-float180 single-float181)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-single-float>= (single-float180 single-float181)
Package

typo.

Source

cmpx.lisp.

Function: two-arg/= (a b)
Package

typo.

Source

cmpneq.lisp.

Function: two-arg= (a b)
Package

typo.

Source

cmpeq.lisp.

Function: universal-ntype ()
Package

typo.

Source

primitive-ntype.lisp.

Function: values-ntype-p (object)
Package

typo.

Source

values-ntype.lisp.

Function: values-type-specifier-values-ntype (type-specifier)
Package

typo.

Source

values-ntype.lisp.

Function: wrap-constant (constant)
Package

typo.

Source

wrap.lisp.

Function: wrap-function (fnrecord wrappers required-ntypes optional-ntypes rest-ntype)
Package

typo.

Source

wrap.lisp.

Function: wrapper-ntype (wrapper)
Package

typo.

Source

wrap.lisp.


6.1.5 Generic functions

Generic Function: array-element-ntype (array)

Returns the ntype that denotes the array element type of the supplied ARRAY.

A second value of T means the result is precise, while a second value of NIL means the result is a generalization.

Package

typo.

Source

ntype.lisp.

Methods
Method: array-element-ntype ((array simple-array-nil))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array vector-nil))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array character-string))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array base-string))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array string))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array bit-vector))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array vector))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-vector))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-character-string))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-base-string))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-string))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-bit-vector))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-unsigned-fixnum))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-unsigned-byte-8))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-unsigned-byte-7))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-unsigned-byte-64))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-unsigned-byte-63))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-unsigned-byte-4))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-unsigned-byte-32))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-unsigned-byte-31))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-unsigned-byte-2))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-unsigned-byte-16))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-unsigned-byte-15))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-single-float))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-signed-byte-8))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-signed-byte-64))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-signed-byte-32))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-signed-byte-16))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-fixnum))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-double-float))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-complex-single-float))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array-complex-double-float))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array simple-array))
Source

array-element-ntype.lisp.

Method: array-element-ntype ((array array))
Source

array-element-ntype.lisp.

Generic Function: complex-part-ntype (complex)

Returns the ntype that denotes the complex part type of the supplied COMPLEX.

A second value of T means the result is precise, while a second value of NIL means the result is a generalization.

Package

typo.

Source

ntype.lisp.

Methods
Method: complex-part-ntype ((complex complex-single-float))
Source

complex-part-ntype.lisp.

Method: complex-part-ntype ((complex complex-double-float))
Source

complex-part-ntype.lisp.

Method: complex-part-ntype ((complex complex))
Source

complex-part-ntype.lisp.

Generic Function: fnrecord-differentiator (fnrecord)
Package

typo.

Source

fndb.lisp.

Methods
Reader Method: fnrecord-differentiator ((full-fnrecord full-fnrecord))

automatically generated reader method

Target Slot

%differentiator.

Method: fnrecord-differentiator ((minimal-fnrecord minimal-fnrecord))
Generic Reader: fnrecord-function (fnrecord)
Package

typo.

Source

fndb.lisp.

Methods
Reader Method: fnrecord-function ((fnrecord fnrecord))

automatically generated reader method

Target Slot

%function.

Generic Function: fnrecord-function-designator (fnrecord)
Package

typo.

Source

fndb.lisp.

Methods
Method: fnrecord-function-designator (fnrecord)
Generic Function: fnrecord-max-arguments (fnrecord)
Package

typo.

Source

fndb.lisp.

Methods
Reader Method: fnrecord-max-arguments ((full-fnrecord full-fnrecord))

automatically generated reader method

Target Slot

%max-arguments.

Method: fnrecord-max-arguments ((minimal-fnrecord minimal-fnrecord))
Generic Function: fnrecord-min-arguments (fnrecord)
Package

typo.

Source

fndb.lisp.

Methods
Reader Method: fnrecord-min-arguments ((full-fnrecord full-fnrecord))

automatically generated reader method

Target Slot

%min-arguments.

Method: fnrecord-min-arguments ((minimal-fnrecord minimal-fnrecord))
Generic Reader: fnrecord-name (fnrecord)
Package

typo.

Source

fndb.lisp.

Methods
Reader Method: fnrecord-name ((fnrecord fnrecord))

automatically generated reader method

Target Slot

%name.

Generic Function: fnrecord-properties (fnrecord)
Package

typo.

Source

fndb.lisp.

Methods
Reader Method: fnrecord-properties ((full-fnrecord full-fnrecord))

automatically generated reader method

Target Slot

%properties.

Method: fnrecord-properties ((minimal-fnrecord minimal-fnrecord))
Generic Function: fnrecord-specializer (fnrecord)
Package

typo.

Source

fndb.lisp.

Methods
Reader Method: fnrecord-specializer ((full-fnrecord full-fnrecord))

automatically generated reader method

Target Slot

%specializer.

Method: fnrecord-specializer ((minimal-fnrecord minimal-fnrecord))
Generic Function: fnrecordp (object)
Package

typo.

Source

fndb.lisp.

Methods
Method: fnrecordp ((fnrecord fnrecord))
Method: fnrecordp (object)
Generic Function: ntype-bits (ntype)

Returns the number of bits that is required to encode any object of the supplied NTYPE.

Package

typo.

Source

ntype.lisp.

Methods
Method: ntype-bits ((ntype ntype))
Method: ntype-bits ((primitive-ntype primitive-ntype))
Generic Function: ntype-contagion (ntype1 ntype2)

Returns the most specific ntype that encompasses the result of an arithmetic operation on arguments of the supplied ntypes.

A second value of T means the result is precise, while a second value of NIL means the result is a generalization.

Package

typo.

Source

ntype.lisp.

Methods
Method: ntype-contagion ((ntype1 ntype) (ntype2 ntype))
Source

ntype-contagion.lisp.

Generic Function: ntype-intersection (ntype1 ntype2)

Returns the most specific ntype that encompasses the intersection of NTYPE1 and NTYPE2.

A second value of T means the result is precise, while a second value of NIL means the result is a generalization.

Package

typo.

Source

ntype.lisp.

Methods
Method: ntype-intersection ((ntype1 array-ntype) (ntype2 array-ntype))
Source

ntype-intersection.lisp.

Method: ntype-intersection ((ntype1 (eql #<typo:primitive-ntype t>)) (ntype2 array-ntype))
Source

ntype-intersection.lisp.

Method: ntype-intersection ((ntype1 (eql #<typo:primitive-ntype array>)) (ntype2 array-ntype))
Source

ntype-intersection.lisp.

Method: ntype-intersection ((ntype1 array-ntype) (ntype2 (eql #<typo:primitive-ntype t>)))
Source

ntype-intersection.lisp.

Method: ntype-intersection ((ntype1 array-ntype) (ntype2 (eql #<typo:primitive-ntype array>)))
Source

ntype-intersection.lisp.

Method: ntype-intersection ((ntype1 ntype) (ntype2 eql-ntype))
Source

ntype-intersection.lisp.

Method: ntype-intersection ((ntype1 eql-ntype) (ntype2 ntype))
Source

ntype-intersection.lisp.

Method: ntype-intersection ((ntype1 (eql #<typo.ntype::eql-ntype (eql nil)>)) (ntype2 (eql #<typo:primitive-ntype null>)))
Source

ntype-intersection.lisp.

Method: ntype-intersection ((ntype1 (eql #<typo:primitive-ntype null>)) (ntype2 (eql #<typo.ntype::eql-ntype (eql nil)>)))
Source

ntype-intersection.lisp.

Method: ntype-intersection ((ntype1 eql-ntype) (ntype2 eql-ntype))
Source

ntype-intersection.lisp.

Method: ntype-intersection ((ntype1 primitive-ntype) (ntype2 primitive-ntype))
Source

ntype-intersection.lisp.

Method: ntype-intersection ((ntype1 ntype) (ntype2 ntype))
Source

ntype-intersection.lisp.

Generic Function: ntype-primitive-ntype (ntype)

Returns the primitive ntype of the supplied NTYPE, i.e., an ntype that denotes superset of the supplied NTYPE and is one of the elements of the *PRIMITIVE-NTYPES* vector.

A second value of T means the result is precise, while a second value of NIL means the result is a generalization.

Package

typo.

Source

ntype.lisp.

Methods
Method: ntype-primitive-ntype ((ntype (eql #<typo.ntype::array-ntype (array * *)>)))
Source

make-array-ntype.lisp.

Method: ntype-primitive-ntype ((ntype (eql #<typo.ntype::eql-ntype (eql nil)>)))
Source

make-eql-ntype.lisp.

Method: ntype-primitive-ntype ((ntype ntype))
Source

primitive-ntype.lisp.

Method: ntype-primitive-ntype ((ntype primitive-ntype))
Generic Function: ntype-subtypep (ntype1 ntype2)

Returns whether NTYPE1 denotes a subtype of NTYPE2. In contrast to SUBTYPEP this function is always precise, so there is no need for returning a second value.

Package

typo.

Source

ntype.lisp.

Methods
Method: ntype-subtypep ((ntype1 array-ntype) (ntype2 array-ntype))
Source

ntype-subtypep.lisp.

Method: ntype-subtypep ((ntype1 (eql #<typo:primitive-ntype array>)) (ntype2 array-ntype))
Source

ntype-subtypep.lisp.

Method: ntype-subtypep ((ntype1 array-ntype) (ntype2 (eql #<typo:primitive-ntype array>)))
Source

ntype-subtypep.lisp.

Method: ntype-subtypep ((ntype1 (eql #<typo:primitive-ntype null>)) (ntype2 (eql #<typo.ntype::eql-ntype (eql nil)>)))
Source

ntype-subtypep.lisp.

Method: ntype-subtypep ((ntype1 eql-ntype) (ntype2 ntype))
Source

ntype-subtypep.lisp.

Method: ntype-subtypep ((ntype1 eql-ntype) (ntype2 eql-ntype))
Source

ntype-subtypep.lisp.

Method: ntype-subtypep ((ntype1 ntype) (ntype2 primitive-ntype))
Source

ntype-subtypep.lisp.

Method: ntype-subtypep ((ntype1 ntype) (ntype2 ntype))
Generic Function: ntype-subtypepc2 (ntype1 ntype2)

Returns whether NTYPE1 denotes a subtype of (not NTYPE2), and, as a second value, whether the result has been derived with certainty. Similar to SUBTYPEP, this function is conservative and will never return the vaules NIL, NIL.

Package

typo.

Source

ntype.lisp.

Methods
Method: ntype-subtypepc2 ((ntype1 ntype) (ntype2 eql-ntype))
Source

ntype-subtypepc2.lisp.

Method: ntype-subtypepc2 ((ntype1 eql-ntype) (ntype2 ntype))
Source

ntype-subtypepc2.lisp.

Method: ntype-subtypepc2 ((ntype1 eql-ntype) (ntype2 eql-ntype))
Source

ntype-subtypepc2.lisp.

Method: ntype-subtypepc2 ((ntype1 ntype) (ntype2 primitive-ntype))
Source

ntype-subtypepc2.lisp.

Method: ntype-subtypepc2 ((ntype1 ntype) (ntype2 ntype))
Source

ntype-subtypepc2.lisp.

Generic Function: ntype-type-specifier (ntype)

Returns the type specifier for the type denoted by the supplied NTYPE.

Package

typo.

Source

ntype.lisp.

Methods
Method: ntype-type-specifier ((array-ntype array-ntype))
Method: ntype-type-specifier ((eql-ntype eql-ntype))
Method: ntype-type-specifier ((primitive-ntype primitive-ntype))
Generic Function: ntype-union (ntype1 ntype2)

Returns the most specific ntype that encompasses both NTYPE1 and NTYPE2.

A second value of T means the result is precise, while a second value of NIL means the result is a generalization.

Package

typo.

Source

ntype.lisp.

Methods
Method: ntype-union ((ntype1 array-ntype) (ntype2 array-ntype))
Source

ntype-union.lisp.

Method: ntype-union ((ntype1 (eql #<typo:primitive-ntype array>)) (ntype2 (eql #<typo.ntype::array-ntype (array * *)>)))
Source

ntype-union.lisp.

Method: ntype-union ((ntype1 (eql #<typo.ntype::array-ntype (array * *)>)) (ntype2 (eql #<typo:primitive-ntype array>)))
Source

ntype-union.lisp.

Method: ntype-union ((ntype1 (eql #<typo:primitive-ntype array>)) (ntype2 array-ntype))
Source

ntype-union.lisp.

Method: ntype-union ((ntype1 array-ntype) (ntype2 (eql #<typo:primitive-ntype array>)))
Source

ntype-union.lisp.

Method: ntype-union ((ntype1 (eql #<typo.ntype::eql-ntype (eql nil)>)) (ntype2 (eql #<typo:primitive-ntype null>)))
Source

ntype-union.lisp.

Method: ntype-union ((ntype1 (eql #<typo:primitive-ntype null>)) (ntype2 (eql #<typo.ntype::eql-ntype (eql nil)>)))
Source

ntype-union.lisp.

Method: ntype-union ((ntype1 eql-ntype) (ntype2 eql-ntype))
Source

ntype-union.lisp.

Method: ntype-union ((ntype1 primitive-ntype) (ntype2 primitive-ntype))
Source

ntype-union.lisp.

Method: ntype-union ((ntype1 ntype) (ntype2 ntype))
Source

ntype-union.lisp.

Generic Function: ntype= (ntype1 ntype2)

Returns whether the two supplied ntypes denote the same type.

Package

typo.

Source

ntype.lisp.

Methods
Method: ntype= ((ntype1 array-ntype) (ntype2 array-ntype))
Source

ntype=.lisp.

Method: ntype= ((ntype1 primitive-ntype) (ntype2 primitive-ntype))
Source

ntype=.lisp.

Method: ntype= ((ntype1 eql-ntype) (ntype2 eql-ntype))
Source

ntype=.lisp.

Method: ntype= ((ntype1 ntype) (ntype2 ntype))
Source

ntype=.lisp.

Generic Function: type-specifier-ntype (type-specifier)

Returns the most specific ntype that denotes a supertype of the type denoted by the supplied type specifier.

A second value of T means the result is precise, while a second value of NIL means the result is a generalization.

Package

typo.

Source

ntype.lisp.

Methods
Method: type-specifier-ntype ((compound-type-specifier cons))
Source

type-specifier-ntype.lisp.

Method: type-specifier-ntype ((class class))
Source

type-specifier-ntype.lisp.

Method: type-specifier-ntype :around ((class class))
Source

type-specifier-ntype.lisp.

Method: type-specifier-ntype :around ((atomic-type-specifier symbol))
Source

type-specifier-ntype.lisp.

Method: type-specifier-ntype (type-specifier)
Source

type-specifier-ntype.lisp.

Generic Function: upgraded-array-element-ntype (ntype)

Returns the ntype that denotes the upgraded array element type of the supplied NTYPE.

A second value of T means the result is precise, while a second value of NIL means the result is a generalization.

Package

typo.

Source

ntype.lisp.

Methods
Method: upgraded-array-element-ntype ((ntype ntype))
Source

upgraded-array-element-ntype.lisp.

Method: upgraded-array-element-ntype ((primitive-ntype primitive-ntype))
Source

upgraded-array-element-ntype.lisp.

Generic Function: upgraded-complex-part-ntype (ntype)

Returns the ntype that denotes the upgraded complex part type of the supplied NTYPE.

A second value of T means the result is precise, while a second value of NIL means the result is a generalization.

Package

typo.

Source

ntype.lisp.

Methods
Method: upgraded-complex-part-ntype ((ntype ntype))
Source

upgraded-complex-part-ntype.lisp.

Method: upgraded-complex-part-ntype ((primitive-ntype primitive-ntype))
Source

upgraded-complex-part-ntype.lisp.

Generic Function: values-ntype-minimum-number-of-values (single-value-values-ntype)
Package

typo.

Methods
Method: values-ntype-minimum-number-of-values ((full-values-ntype full-values-ntype))
Source

values-ntype.lisp.

Method: values-ntype-minimum-number-of-values ((single-value-values-ntype single-value-values-ntype))
Source

values-ntype.lisp.

Generic Function: values-ntype-nth-value-ntype (n values-ntype)

Returns the ntype corresponding to the Nth argument of the supplied VALUES-NTYPE.

Package

typo.

Source

values-ntype.lisp.

Methods
Method: values-ntype-nth-value-ntype ((n integer) (full-values-ntype full-values-ntype))
Method: values-ntype-nth-value-ntype ((n (eql 0)) (single-value-values-ntype single-value-values-ntype))
Method: values-ntype-nth-value-ntype ((n integer) (values-ntype values-ntype))
Generic Function: values-ntype-number-of-non-rest-values (values-ntype)

Returns an integer that is the sum of the minimum number of values and the number of optional values returned by the supplied VALUES-NTYPE.

Package

typo.

Source

values-ntype.lisp.

Methods
Method: values-ntype-number-of-non-rest-values ((full-values-ntype full-values-ntype))
Method: values-ntype-number-of-non-rest-values ((single-value-values-ntype single-value-values-ntype))
Generic Function: values-ntype-number-of-optional-values (values-ntype)

Returns an integer that is the number of optional values returned by the supplied VALUES-NTYPE.

Package

typo.

Source

values-ntype.lisp.

Methods
Method: values-ntype-number-of-optional-values ((full-values-ntype full-values-ntype))
Method: values-ntype-number-of-optional-values ((single-value-values-ntype single-value-values-ntype))
Generic Function: values-ntype-rest-ntype (values-ntype)

Returns the ntype of all rest values returned by the supplied VALUES-NTYPE, or NIL, if there are no rest values.

Package

typo.

Source

values-ntype.lisp.

Methods
Method: values-ntype-rest-ntype ((full-values-ntype full-values-ntype))
Method: values-ntype-rest-ntype ((values-ntype values-ntype))
Generic Function: values-ntype-type-specifier (values-ntype)

Returns the type specifier corresponding to the supplied VALUES-NTYPE.

Package

typo.

Source

values-ntype.lisp.

Methods
Method: values-ntype-type-specifier ((values-ntype values-ntype))

6.1.6 Standalone methods

Method: make-load-form ((primitive-ntype primitive-ntype) &optional env)
Source

primitive-ntype.lisp.

Method: make-load-form ((eql-ntype eql-ntype) &optional env)
Source

make-eql-ntype.lisp.

Method: make-load-form ((array-ntype array-ntype) &optional env)
Source

make-array-ntype.lisp.

Method: print-object ((values-ntype values-ntype) stream)
Source

values-ntype.lisp.

Method: print-object ((ntype ntype) stream)
Source

ntype.lisp.

Method: print-object ((fnrecord fnrecord) stream)
Source

fndb.lisp.

Method: shared-initialize :after ((fnrecord fnrecord) slot-names &rest initargs)
Source

fndb.lisp.

Method: shared-initialize ((instance full-fnrecord) slot-names &rest initargs &key name function lambda-list min-arguments max-arguments parent parent-fnrecord properties specializer differentiator &allow-other-keys)
Source

fndb.lisp.


6.1.7 Structures

Structure: ntype
Package

typo.

Source

ntype.lisp.

Direct superclasses

structure-object.

Direct subclasses
Direct methods
Direct slots
Slot: index
Package

typo.ntype.

Type

typo:ntype-index

Initform

(alexandria:required-argument :index)

Readers

ntype-index.

Writers

This slot is read-only.

Structure: primitive-ntype
Package

typo.

Source

ntype.lisp.

Direct superclasses

ntype.

Direct methods
Direct slots
Slot: type-specifier
Type

typo:type-specifier

Initform

(alexandria:required-argument :type-specifier)

Readers

primitive-ntype-type-specifier.

Writers

This slot is read-only.

Slot: bits
Package

typo.ntype.

Type

unsigned-byte

Initform

(alexandria:required-argument :bits)

Readers

primitive-ntype-bits.

Writers

This slot is read-only.

Slot: class
Package

common-lisp.

Type

(or null class)

Initform

(alexandria:required-argument :class)

Readers

primitive-ntype-class.

Writers

(setf primitive-ntype-class).

Structure: values-ntype
Package

typo.

Source

values-ntype.lisp.

Direct superclasses

structure-object.

Direct subclasses
Direct methods

6.1.8 Classes

Class: fnrecord
Package

typo.

Source

fndb.lisp.

Direct subclasses
Direct methods
Direct slots
Slot: %name
Package

typo.fndb.

Type

(or null typo:function-name)

Initform

(alexandria:required-argument :name)

Initargs

:name

Readers

fnrecord-name.

Writers

This slot is read-only.

Slot: %function
Package

typo.fndb.

Type

function

Initform

(alexandria:required-argument :function)

Initargs

:function

Readers

fnrecord-function.

Writers

This slot is read-only.


6.1.9 Types

Type: argument-index ()
Package

typo.

Source

auxiliary-types.lisp.

Type: arity ()
Package

typo.

Source

auxiliary-types.lisp.

Type: byte-specifier ()
Package

typo.

Source

auxiliary-types.lisp.

Type: character-code ()
Package

typo.

Source

auxiliary-types.lisp.

Type: character-designator ()
Package

typo.

Source

auxiliary-types.lisp.

Type: complex-double-float ()
Package

typo.

Source

auxiliary-types.lisp.

Type: complex-long-float ()
Package

typo.

Source

auxiliary-types.lisp.

Type: complex-short-float ()
Package

typo.

Source

auxiliary-types.lisp.

Type: complex-single-float ()
Package

typo.

Source

auxiliary-types.lisp.

Type: extended-function-designator ()
Package

typo.

Source

auxiliary-types.lisp.

Type: function-designator ()
Package

typo.

Source

auxiliary-types.lisp.

Type: function-name ()
Package

typo.

Source

auxiliary-types.lisp.

Type: generalized-boolean ()
Package

typo.

Source

auxiliary-types.lisp.

Type: non-nil-symbol ()
Package

typo.

Source

auxiliary-types.lisp.

Type: ntype-index ()
Package

typo.

Source

primitive-ntype-information.lisp.

Type: package-designator ()
Package

typo.

Source

auxiliary-types.lisp.

Type: radix ()
Package

typo.

Source

auxiliary-types.lisp.

Type: string-designator ()
Package

typo.

Source

auxiliary-types.lisp.

Type: type-specifier ()
Package

typo.

Source

auxiliary-types.lisp.

Type: variable-name ()
Package

typo.

Source

auxiliary-types.lisp.

Type: zero ()
Package

typo.

Source

auxiliary-types.lisp.


6.2 Internals


6.2.1 Constants

Constant: +fixnum-bits+
Package

typo.ntype.

Source

bits.lisp.

Constant: double-float-e
Package

typo.vm.

Source

auxiliary.lisp.

Constant: double-float-pi
Package

typo.vm.

Source

auxiliary.lisp.

Constant: long-float-e
Package

typo.vm.

Source

auxiliary.lisp.

Constant: long-float-pi
Package

typo.vm.

Source

auxiliary.lisp.

Constant: short-float-e
Package

typo.vm.

Source

auxiliary.lisp.

Constant: short-float-pi
Package

typo.vm.

Source

auxiliary.lisp.

Constant: single-float-e
Package

typo.vm.

Source

auxiliary.lisp.

Constant: single-float-pi
Package

typo.vm.

Source

auxiliary.lisp.


6.2.2 Special variables

Special Variable: *array-ntype-table*
Package

typo.ntype.

Source

make-array-ntype.lisp.

Special Variable: *atomic-type-specifier-table*
Package

typo.ntype.

Source

type-specifier-ntype.lisp.

Special Variable: *built-in-classes*
Package

typo.ntype.

Source

auxiliary-types.lisp.

Special Variable: *class-type-specifier-table*
Package

typo.ntype.

Source

type-specifier-ntype.lisp.

Special Variable: *complex-primitive-ntypes*
Package

typo.ntype.

Source

primitive-ntype.lisp.

Special Variable: *eql-ntype-table*
Package

typo.ntype.

Source

make-eql-ntype.lisp.

Special Variable: *float-primitive-ntypes*
Package

typo.ntype.

Source

primitive-ntype.lisp.

Special Variable: *fndb*
Package

typo.fndb.

Source

fndb.lisp.

Special Variable: *primitive-ntype-information*
Package

typo.ntype.

Source

primitive-ntype-information.lisp.

Special Variable: *primitive-ntypes*
Package

typo.ntype.

Source

primitive-ntype.lisp.

Special Variable: *standardized-atomic-type-specifiers*
Package

typo.ntype.

Source

auxiliary-types.lisp.

Special Variable: *standardized-compound-only-type-specifiers*
Package

typo.ntype.

Source

auxiliary-types.lisp.

Special Variable: *standardized-compound-type-specifiers*
Package

typo.ntype.

Source

auxiliary-types.lisp.

Special Variable: *upgraded-array-element-primitive-ntypes*
Package

typo.ntype.

Source

primitive-ntype.lisp.

Special Variable: *upgraded-complex-part-primitive-ntypes*
Package

typo.ntype.

Source

primitive-ntype.lisp.

Special Variable: *wrap-constant*
Package

typo.fndb.

Source

wrap.lisp.

Special Variable: *wrap-function*
Package

typo.fndb.

Source

wrap.lisp.

Special Variable: *wrapper-nth-value-ntype*
Package

typo.fndb.

Source

wrap.lisp.

Special Variable: *wrapper-ntype*
Package

typo.fndb.

Source

wrap.lisp.


6.2.3 Macros

Macro: cmpx (name)
Package

typo.vm.

Source

cmpx.lisp.

Macro: define-array-element-ntype-methods ()
Package

typo.ntype.

Source

array-element-ntype.lisp.

Macro: define-complex-part-ntype-methods ()
Package

typo.ntype.

Source

complex-part-ntype.lisp.

Macro: define-make-eql-ntype-methods ()
Package

typo.ntype.

Source

make-eql-ntype.lisp.

Macro: define-predicate-fnrecord (predicate type-specifier)
Package

typo.vm.

Source

predicates.lisp.

Macro: define-special-function ((function variable) lambda-list)
Package

typo.fndb.

Source

wrap.lisp.

Macro: define-type-check (type)
Package

typo.vm.

Source

type-checks.lisp.

Macro: differentiator-lambda (function-name lambda-list index &body body)
Package

typo.fndb.

Source

macros.lisp.

Macro: search-interval-ntype (number-type expression)
Package

typo.ntype.

Source

type-specifier-ntype.lisp.

Macro: specializer-lambda (function-name lambda-list &body body)
Package

typo.fndb.

Source

macros.lisp.


6.2.4 Compiler macros

Compiler Macro: find-primitive-ntype (type-specifier)
Package

typo.ntype.

Source

primitive-ntype.lisp.

Compiler Macro: make-array-ntype (&rest args)
Package

typo.ntype.

Source

make-array-ntype.lisp.


6.2.5 Ordinary functions

Function: %abort-specialization (function arguments)
Package

typo.fndb.

Source

macros.lisp.

Function: %make-array-ntype (&key index element-ntype dimensions simplep)
Package

typo.ntype.

Source

ntype.lisp.

Function: %make-eql-ntype (&key index object)
Package

typo.ntype.

Source

ntype.lisp.

Function: %make-full-values-ntype (&key ntypes nmin rest)
Package

typo.ntype.

Source

values-ntype.lisp.

Function: %make-primitive-ntype (&key index type-specifier bits class)
Package

typo.ntype.

Source

ntype.lisp.

Function: %make-single-value-values-ntype (ntype)
Package

typo.ntype.

Source

values-ntype.lisp.

Function: argmax (real &rest more-reals)
Package

typo.vm.

Source

auxiliary.lisp.

Function: argmin (real &rest more-reals)
Package

typo.vm.

Source

auxiliary.lisp.

Function: array-dimensions-subtypep (d1 d2)
Package

typo.ntype.

Source

ntype-subtypep.lisp.

Function: array-dimensions-union (d1 d2)
Package

typo.ntype.

Source

ntype-union.lisp.

Function: array-element-ntype-subtypep (e1 e2)
Package

typo.ntype.

Source

ntype-subtypep.lisp.

Function: array-element-ntype-union (e1 e2)
Package

typo.ntype.

Source

ntype-union.lisp.

Reader: array-ntype-dimensions (instance)
Package

typo.ntype.

Source

ntype.lisp.

Target Slot

dimensions.

Reader: array-ntype-element-ntype (instance)
Package

typo.ntype.

Source

ntype.lisp.

Target Slot

element-ntype.

Function: array-ntype-element-type (array-ntype)
Package

typo.ntype.

Source

ntype.lisp.

Function: array-ntype-index (instance)
Package

typo.ntype.

Source

ntype.lisp.

Function: array-ntype-p (object)
Package

typo.ntype.

Source

ntype.lisp.

Reader: array-ntype-simplep (instance)
Package

typo.ntype.

Source

ntype.lisp.

Target Slot

simplep.

Function: array-simplep-subtypep (b1 b2)
Package

typo.ntype.

Source

ntype-subtypep.lisp.

Function: array-simplep-union (b1 b2)
Package

typo.ntype.

Source

ntype-union.lisp.

Function: block-name (function-name)
Package

typo.fndb.

Source

macros.lisp.

Function: canonicalize-array-dimension-specifier (dimensions)
Package

typo.ntype.

Source

make-array-ntype.lisp.

Function: canonicalize-array-element-type (element-type)
Package

typo.ntype.

Source

make-array-ntype.lisp.

Function: class-subclasses (class)
Package

typo.ntype.

Source

class-subclasses.lisp.

Function: complex-contagion (ntype1 ntype2)
Package

typo.ntype.

Source

ntype-contagion.lisp.

Function: complex-ntype-from-real-ntype (real-ntype)
Package

typo.ntype.

Source

ntype-contagion.lisp.

Function: copy-fndb (instance)
Package

typo.fndb.

Source

fndb.lisp.

Function: copy-full-values-ntype (instance)
Package

typo.ntype.

Source

values-ntype.lisp.

Function: copy-single-value-values-ntype (instance)
Package

typo.ntype.

Source

values-ntype.lisp.

Function: diff (function arguments n)
Package

typo.fndb.

Source

differentiate.lisp.

Function: ensure-fdefinition (function-name)
Package

typo.fndb.

Source

fndb.lisp.

Function: eql-ntype-index (instance)
Package

typo.ntype.

Source

ntype.lisp.

Function: expand-wrap (form)
Package

typo.fndb.

Source

wrap.lisp.

Function: find-integer-ntype (lb ub whole)
Package

typo.ntype.

Source

type-specifier-ntype.lisp.

Function: find-primitive-ntype (type-specifier)
Package

typo.ntype.

Source

primitive-ntype.lisp.

Function: find-signed-byte-ntype (bits)
Package

typo.ntype.

Source

type-specifier-ntype.lisp.

Function: find-unsigned-byte-ntype (bits)
Package

typo.ntype.

Source

type-specifier-ntype.lisp.

Function: float-bits (float)
Package

typo.ntype.

Source

bits.lisp.

Function: float-contagion (ntype1 ntype2)
Package

typo.ntype.

Source

ntype-contagion.lisp.

Function: float-exponent-bits (float)
Package

typo.ntype.

Source

bits.lisp.

Reader: fndb-function-name-table (instance)
Package

typo.fndb.

Source

fndb.lisp.

Target Slot

function-name-table.

Reader: fndb-function-table (instance)
Package

typo.fndb.

Source

fndb.lisp.

Target Slot

function-table.

Function: fndb-key-and-table (extended-function-designator)
Package

typo.fndb.

Source

fndb.lisp.

Reader: fndb-setf-function-name-table (instance)
Package

typo.fndb.

Source

fndb.lisp.

Target Slot

setf-function-name-table.

Function: fndbp (object)
Package

typo.fndb.

Source

fndb.lisp.

Reader: full-values-ntype-nmin (instance)
Package

typo.ntype.

Source

values-ntype.lisp.

Target Slot

nmin.

Reader: full-values-ntype-ntypes (instance)
Package

typo.ntype.

Source

values-ntype.lisp.

Target Slot

ntypes.

Function: full-values-ntype-p (object)
Package

typo.ntype.

Source

values-ntype.lisp.

Reader: full-values-ntype-rest (instance)
Package

typo.ntype.

Source

values-ntype.lisp.

Target Slot

rest.

Function: function-lambda-list (function &optional errorp)

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

Package

typo.fndb.

Source

function-lambda-lists.lisp.

Function: gensymify (x)
Package

typo.fndb.

Source

macros.lisp.

Function: integer-abs (integer0)
Package

typo.vm.

Source

abs.lisp.

Function: ln (number)
Package

typo.vm.

Source

auxiliary.lisp.

Function: make-complex-ntype (part-ntype)
Package

typo.ntype.

Source

type-specifier-ntype.lisp.

Function: make-default-differentiator (fnrecord)
Package

typo.fndb.

Source

fndb.lisp.

Function: make-default-specializer (fnrecord)
Package

typo.fndb.

Source

fndb.lisp.

Function: make-fndb ()
Package

typo.fndb.

Source

fndb.lisp.

Function: map-unique-pairs (fn list)
Package

typo.vm.

Source

auxiliary.lisp.

Function: ntype-contagion/slow (ntype1 ntype2)
Package

typo.ntype.

Source

ntype-contagion.lisp.

Reader: primitive-ntype-bits (instance)
Package

typo.ntype.

Source

ntype.lisp.

Target Slot

bits.

Reader: primitive-ntype-class (instance)
Writer: (setf primitive-ntype-class) (instance)
Package

typo.ntype.

Source

ntype.lisp.

Target Slot

class.

Function: primitive-ntype-contagion (p1 p2)
Package

typo.ntype.

Source

ntype-contagion.lisp.

Function: primitive-ntype-index (instance)
Package

typo.ntype.

Source

ntype.lisp.

Function: primitive-ntype-intersection (p1 p2)
Package

typo.ntype.

Source

ntype-intersection.lisp.

Function: primitive-ntype-subtypep (p1 p2)
Package

typo.ntype.

Source

ntype-subtypep.lisp.

Function: primitive-ntype-subtypepc2 (p1 p2)
Package

typo.ntype.

Source

ntype-subtypepc2.lisp.

Reader: primitive-ntype-type-specifier (instance)
Package

typo.ntype.

Source

ntype.lisp.

Target Slot

type-specifier.

Function: primitive-ntype-union (p1 p2)
Package

typo.ntype.

Source

ntype-union.lisp.

Function: primitive-ntype-upgraded-array-element-ntype (primitive-ntype)
Package

typo.ntype.

Source

upgraded-array-element-ntype.lisp.

Function: primitive-ntype-upgraded-complex-part-ntype (primitive-ntype)
Package

typo.ntype.

Source

upgraded-complex-part-ntype.lisp.

Reader: single-value-values-ntype-ntype (instance)
Package

typo.ntype.

Source

values-ntype.lisp.

Target Slot

ntype.

Function: single-value-values-ntype-p (object)
Package

typo.ntype.

Source

values-ntype.lisp.

Function: two-arg* (a b)
Package

typo.vm.

Source

auxiliary.lisp.

Function: two-arg+ (a b)
Package

typo.vm.

Source

auxiliary.lisp.

Function: two-arg- (a b)
Package

typo.vm.

Source

auxiliary.lisp.

Function: two-arg/ (a b)
Package

typo.vm.

Source

auxiliary.lisp.

Function: unbound-special-function (name)
Package

typo.fndb.

Source

wrap.lisp.

Function: update-fnrecord (function-name &rest kwargs &key &allow-other-keys)
Package

typo.fndb.

Source

fndb.lisp.

Function: wrapper-nth-value-ntype (n wrapper)
Package

typo.fndb.

Source

wrap.lisp.


6.2.6 Generic functions

Generic Function: compound-type-specifier-ntype (first rest whole)
Package

typo.ntype.

Source

type-specifier-ntype.lisp.

Methods
Method: compound-type-specifier-ntype ((_ (eql function)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql values)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql cons)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql simple-base-string)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql base-string)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql simple-string)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql string)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql simple-vector)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql simple-bit-vector)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql bit-vector)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql vector)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql simple-array)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql array)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql complex)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql mod)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql integer)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql signed-byte)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql unsigned-byte)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql rational)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql real)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql float)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql long-float)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql double-float)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql single-float)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql short-float)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql and)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql satisfies)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql or)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql not)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql member)) rest whole)
Method: compound-type-specifier-ntype ((_ (eql eql)) rest whole)
Method: compound-type-specifier-ntype (first rest whole)
Generic Function: fnrecord-lambda-list (minimal-fnrecord)
Package

typo.fndb.

Methods
Reader Method: fnrecord-lambda-list ((full-fnrecord full-fnrecord))

automatically generated reader method

Source

fndb.lisp.

Target Slot

%lambda-list.

Method: fnrecord-lambda-list ((minimal-fnrecord minimal-fnrecord))
Source

fndb.lisp.

Generic Function: make-array-ntype (&key element-type dimensions simplep)

Returns the array ntype with the supplied element type, dimensions, and simplep boolean.

A second value of T means the result is precise, while a second value of NIL means the result is a generalization.

Package

typo.ntype.

Source

ntype.lisp.

Methods
Method: make-array-ntype (&key element-type dimensions simplep)
Source

make-array-ntype.lisp.

Generic Function: make-eql-ntype (object)

Returns the ntype whose sole element is the supplied OBJECT.

Package

typo.ntype.

Source

ntype.lisp.

Methods
Method: make-eql-ntype (object)
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object class))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object pathname))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object logical-pathname))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object character))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object list))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object cons))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object symbol))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object null))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object function))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object array))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object number))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object complex))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object real))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object rational))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object ratio))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object integer))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object fixnum))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object float))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object double-float))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype ((object single-float))
Source

make-eql-ntype.lisp.

Method: make-eql-ntype :around (object)
Source

make-eql-ntype.lisp.

Generic Reader: specialization-error-argument-types (condition)
Package

typo.fndb.

Methods
Reader Method: specialization-error-argument-types ((condition invalid-arguments))
Source

conditions.lisp.

Target Slot

%argument-types.

Generic Reader: specialization-error-arguments (condition)
Package

typo.fndb.

Methods
Reader Method: specialization-error-arguments ((condition non-numeric-differentiation-argument))
Source

conditions.lisp.

Target Slot

%arguments.

Reader Method: specialization-error-arguments ((condition invalid-differentiation-index))
Source

conditions.lisp.

Target Slot

%arguments.

Reader Method: specialization-error-arguments ((condition wrong-number-of-arguments))
Source

conditions.lisp.

Target Slot

%arguments.

Generic Reader: specialization-error-function (condition)
Package

typo.fndb.

Methods
Reader Method: specialization-error-function ((condition specialization-error))
Source

conditions.lisp.

Target Slot

%function.

Generic Reader: specialization-error-index (condition)
Package

typo.fndb.

Methods
Reader Method: specialization-error-index ((condition non-numeric-differentiation-argument))
Source

conditions.lisp.

Target Slot

%index.

Reader Method: specialization-error-index ((condition invalid-differentiation-index))
Source

conditions.lisp.

Target Slot

%index.

Generic Function: values-ntype-mininum-number-of-values (values-ntype)

Returns an integer that is the mininum number of values returned by the supplied VALUES-NTYPE.

Package

typo.ntype.

Source

values-ntype.lisp.


6.2.7 Conditions

Condition: invalid-arguments
Package

typo.fndb.

Source

conditions.lisp.

Direct superclasses

specialization-error.

Direct methods

specialization-error-argument-types.

Direct slots
Slot: %argument-types
Initargs

:argument-types

Readers

specialization-error-argument-types.

Writers

This slot is read-only.

Condition: invalid-differentiation-index
Package

typo.fndb.

Source

conditions.lisp.

Direct superclasses

specialization-error.

Direct methods
Direct slots
Slot: %index
Initargs

:index

Readers

specialization-error-index.

Writers

This slot is read-only.

Slot: %arguments
Initargs

:arguments

Readers

specialization-error-arguments.

Writers

This slot is read-only.

Condition: non-numeric-differentiation-argument
Package

typo.fndb.

Source

conditions.lisp.

Direct superclasses

specialization-error.

Direct methods
Direct slots
Slot: %index
Initargs

:index

Readers

specialization-error-index.

Writers

This slot is read-only.

Slot: %arguments
Initargs

:arguments

Readers

specialization-error-arguments.

Writers

This slot is read-only.

Condition: specialization-error
Package

typo.fndb.

Source

conditions.lisp.

Direct superclasses

error.

Direct subclasses
Direct methods

specialization-error-function.

Direct slots
Slot: %function
Initargs

:function

Readers

specialization-error-function.

Writers

This slot is read-only.

Condition: wrong-number-of-arguments
Package

typo.fndb.

Source

conditions.lisp.

Direct superclasses

specialization-error.

Direct methods

specialization-error-arguments.

Direct slots
Slot: %arguments
Initargs

:arguments

Readers

specialization-error-arguments.

Writers

This slot is read-only.


6.2.8 Structures

Structure: array-ntype
Package

typo.ntype.

Source

ntype.lisp.

Direct superclasses

ntype.

Direct methods
Direct slots
Slot: element-ntype
Type

(or typo:ntype (eql *))

Initform

(alexandria:required-argument :element-ntype)

Readers

array-ntype-element-ntype.

Writers

This slot is read-only.

Slot: dimensions
Type

(or list unsigned-byte (eql *))

Initform

(alexandria:required-argument :dimensions)

Readers

array-ntype-dimensions.

Writers

This slot is read-only.

Slot: simplep
Type

boolean

Initform

(alexandria:required-argument :simplep)

Readers

array-ntype-simplep.

Writers

This slot is read-only.

Structure: eql-ntype
Package

typo.ntype.

Source

ntype.lisp.

Direct superclasses

ntype.

Direct methods
Direct slots
Slot: object
Initform

(alexandria:required-argument :object)

Readers

eql-ntype-object.

Writers

This slot is read-only.

Structure: fndb
Package

typo.fndb.

Source

fndb.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: function-table
Type

hash-table

Initform

(trivial-garbage:make-weak-hash-table :test (function eq) :weakness :key)

Readers

fndb-function-table.

Writers

This slot is read-only.

Slot: function-name-table
Type

hash-table

Initform

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

Readers

fndb-function-name-table.

Writers

This slot is read-only.

Slot: setf-function-name-table
Type

hash-table

Initform

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

Readers

fndb-setf-function-name-table.

Writers

This slot is read-only.

Structure: full-values-ntype
Package

typo.ntype.

Source

values-ntype.lisp.

Direct superclasses

values-ntype.

Direct methods
Direct slots
Slot: ntypes
Type

simple-vector

Readers

full-values-ntype-ntypes.

Writers

This slot is read-only.

Slot: nmin
Type

unsigned-byte

Readers

full-values-ntype-nmin.

Writers

This slot is read-only.

Slot: rest
Package

common-lisp.

Type

(or null typo:ntype)

Readers

full-values-ntype-rest.

Writers

This slot is read-only.

Structure: single-value-values-ntype
Package

typo.ntype.

Source

values-ntype.lisp.

Direct superclasses

values-ntype.

Direct methods
Direct slots
Slot: ntype
Package

typo.

Type

typo:ntype

Readers

single-value-values-ntype-ntype.

Writers

This slot is read-only.


6.2.9 Classes

Class: full-fnrecord
Package

typo.fndb.

Source

fndb.lisp.

Direct superclasses

fnrecord.

Direct methods
Direct slots
Slot: %lambda-list
Type

list

Initform

(alexandria:required-argument :lambda-list)

Initargs

:lambda-list

Readers

fnrecord-lambda-list.

Writers

This slot is read-only.

Slot: %min-arguments
Type

unsigned-byte

Initform

(alexandria:required-argument :min-arguments)

Initargs

:min-arguments

Readers

fnrecord-min-arguments.

Writers

This slot is read-only.

Slot: %max-arguments
Type

unsigned-byte

Initform

(alexandria:required-argument :max-arguments)

Initargs

:max-arguments

Readers

fnrecord-max-arguments.

Writers

This slot is read-only.

Slot: %properties
Type

list

Initform

(alexandria:required-argument :properties)

Initargs

:properties

Readers

fnrecord-properties.

Writers

This slot is read-only.

Slot: %specializer
Type

function

Initform

(alexandria:required-argument :specializer)

Initargs

:specializer

Readers

fnrecord-specializer.

Writers

This slot is read-only.

Slot: %differentiator
Type

function

Initform

(alexandria:required-argument :differentiator)

Initargs

:differentiator

Readers

fnrecord-differentiator.

Writers

This slot is read-only.

Class: minimal-fnrecord
Package

typo.fndb.

Source

fndb.lisp.

Direct superclasses

fnrecord.

Direct methods

6.2.10 Types

Type: standardized-atomic-type-specifier ()
Package

typo.ntype.

Source

auxiliary-types.lisp.

Type: standardized-compound-type-specifier ()
Package

typo.ntype.

Source

auxiliary-types.lisp.

Type: standardized-type-specifier ()
Package

typo.ntype.

Source

auxiliary-types.lisp.


Appendix A Indexes


A.1 Concepts


A.2 Functions

Jump to:   %   (  
A   B   C   D   E   F   G   I   L   M   N   O   P   S   T   U   V   W  
Index Entry  Section

%
%abort-specialization: Private ordinary functions
%make-array-ntype: Private ordinary functions
%make-eql-ntype: Private ordinary functions
%make-full-values-ntype: Private ordinary functions
%make-primitive-ntype: Private ordinary functions
%make-single-value-values-ntype: Private ordinary functions

(
(setf double-float-row-major-aref): Public ordinary functions
(setf long-float-row-major-aref): Public ordinary functions
(setf primitive-ntype-class): Private ordinary functions
(setf short-float-row-major-aref): Public ordinary functions
(setf single-float-row-major-aref): Public ordinary functions

A
and-fn: Public ordinary functions
argmax: Private ordinary functions
argmin: Private ordinary functions
array-dimensions-subtypep: Private ordinary functions
array-dimensions-union: Private ordinary functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype: Public generic functions
array-element-ntype-subtypep: Private ordinary functions
array-element-ntype-union: Private ordinary functions
array-ntype-dimensions: Private ordinary functions
array-ntype-element-ntype: Private ordinary functions
array-ntype-element-type: Private ordinary functions
array-ntype-index: Private ordinary functions
array-ntype-p: Private ordinary functions
array-ntype-simplep: Private ordinary functions
array-simplep-subtypep: Private ordinary functions
array-simplep-union: Private ordinary functions
assert-wrapper-type: Public macros

B
block-name: Private ordinary functions

C
canonicalize-array-dimension-specifier: Private ordinary functions
canonicalize-array-element-type: Private ordinary functions
choose: Public ordinary functions
class-subclasses: Private ordinary functions
cmpx: Private macros
coerce-to-complex-double-float: Public ordinary functions
coerce-to-complex-long-float: Public ordinary functions
coerce-to-complex-short-float: Public ordinary functions
coerce-to-complex-single-float: Public ordinary functions
coerce-to-double-float: Public ordinary functions
coerce-to-long-float: Public ordinary functions
coerce-to-short-float: Public ordinary functions
coerce-to-single-float: Public ordinary functions
Compiler Macro, ensure-fnrecord: Public compiler macros
Compiler Macro, find-primitive-ntype: Private compiler macros
Compiler Macro, function-differentiator: Public compiler macros
Compiler Macro, function-specializer: Public compiler macros
Compiler Macro, make-array-ntype: Private compiler macros
Compiler Macro, type-specifier-ntype: Public compiler macros
Compiler Macro, values-type-specifier-values-ntype: Public compiler macros
complex-contagion: Private ordinary functions
complex-double-float-abs: Public ordinary functions
complex-double-float-cos: Public ordinary functions
complex-double-float-from-complex-long-float: Public ordinary functions
complex-double-float-from-complex-short-float: Public ordinary functions
complex-double-float-from-complex-single-float: Public ordinary functions
complex-double-float-from-double-float: Public ordinary functions
complex-double-float-imagpart: Public ordinary functions
complex-double-float-realpart: Public ordinary functions
complex-double-float-sin: Public ordinary functions
complex-double-float-tan: Public ordinary functions
complex-long-float-abs: Public ordinary functions
complex-long-float-cos: Public ordinary functions
complex-long-float-from-complex-double-float: Public ordinary functions
complex-long-float-from-complex-short-float: Public ordinary functions
complex-long-float-from-complex-single-float: Public ordinary functions
complex-long-float-from-long-float: Public ordinary functions
complex-long-float-imagpart: Public ordinary functions
complex-long-float-realpart: Public ordinary functions
complex-long-float-sin: Public ordinary functions
complex-long-float-tan: Public ordinary functions
complex-ntype-from-real-ntype: Private ordinary functions
complex-part-ntype: Public generic functions
complex-part-ntype: Public generic functions
complex-part-ntype: Public generic functions
complex-part-ntype: Public generic functions
complex-short-float-abs: Public ordinary functions
complex-short-float-cos: Public ordinary functions
complex-short-float-from-complex-double-float: Public ordinary functions
complex-short-float-from-complex-long-float: Public ordinary functions
complex-short-float-from-complex-single-float: Public ordinary functions
complex-short-float-from-short-float: Public ordinary functions
complex-short-float-imagpart: Public ordinary functions
complex-short-float-realpart: Public ordinary functions
complex-short-float-sin: Public ordinary functions
complex-short-float-tan: Public ordinary functions
complex-single-float-abs: Public ordinary functions
complex-single-float-cos: Public ordinary functions
complex-single-float-from-complex-double-float: Public ordinary functions
complex-single-float-from-complex-long-float: Public ordinary functions
complex-single-float-from-complex-short-float: Public ordinary functions
complex-single-float-from-single-float: Public ordinary functions
complex-single-float-imagpart: Public ordinary functions
complex-single-float-realpart: Public ordinary functions
complex-single-float-sin: Public ordinary functions
complex-single-float-tan: Public ordinary functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
compound-type-specifier-ntype: Private generic functions
copy-fndb: Private ordinary functions
copy-full-values-ntype: Private ordinary functions
copy-single-value-values-ntype: Private ordinary functions
cswap: Public ordinary functions

D
define-array-element-ntype-methods: Private macros
define-complex-part-ntype-methods: Private macros
define-fnrecord: Public macros
define-instruction: Public macros
define-make-eql-ntype-methods: Private macros
define-predicate-fnrecord: Private macros
define-simple-instruction: Public macros
define-special-function: Private macros
define-type-check: Private macros
diff: Private ordinary functions
differentiate: Public ordinary functions
differentiator-lambda: Private macros
double-float-abs: Public ordinary functions
double-float-cis: Public ordinary functions
double-float-complex: Public ordinary functions
double-float-cos: Public ordinary functions
double-float-exp: Public ordinary functions
double-float-from-integer: Public ordinary functions
double-float-from-long-float: Public ordinary functions
double-float-from-short-float: Public ordinary functions
double-float-from-single-float: Public ordinary functions
double-float-ln: Public ordinary functions
double-float-row-major-aref: Public ordinary functions
double-float-sin: Public ordinary functions
double-float-sqrt: Public ordinary functions
double-float-tan: Public ordinary functions

E
empty-ntype: Public ordinary functions
ensure-fdefinition: Private ordinary functions
ensure-fnrecord: Public compiler macros
ensure-fnrecord: Public ordinary functions
eql-ntype-index: Private ordinary functions
eql-ntype-object: Public ordinary functions
eql-ntype-p: Public ordinary functions
expand-wrap: Private ordinary functions

F
false-ntype: Public ordinary functions
find-fnrecord: Public ordinary functions
find-integer-ntype: Private ordinary functions
find-primitive-ntype: Private compiler macros
find-primitive-ntype: Private ordinary functions
find-signed-byte-ntype: Private ordinary functions
find-unsigned-byte-ntype: Private ordinary functions
float-bits: Private ordinary functions
float-contagion: Private ordinary functions
float-exponent-bits: Private ordinary functions
fndb-function-name-table: Private ordinary functions
fndb-function-table: Private ordinary functions
fndb-key-and-table: Private ordinary functions
fndb-setf-function-name-table: Private ordinary functions
fndbp: Private ordinary functions
fnrecord-differentiator: Public generic functions
fnrecord-differentiator: Public generic functions
fnrecord-differentiator: Public generic functions
fnrecord-function: Public generic functions
fnrecord-function: Public generic functions
fnrecord-function-designator: Public generic functions
fnrecord-function-designator: Public generic functions
fnrecord-lambda-list: Private generic functions
fnrecord-lambda-list: Private generic functions
fnrecord-lambda-list: Private generic functions
fnrecord-max-arguments: Public generic functions
fnrecord-max-arguments: Public generic functions
fnrecord-max-arguments: Public generic functions
fnrecord-min-arguments: Public generic functions
fnrecord-min-arguments: Public generic functions
fnrecord-min-arguments: Public generic functions
fnrecord-name: Public generic functions
fnrecord-name: Public generic functions
fnrecord-properties: Public generic functions
fnrecord-properties: Public generic functions
fnrecord-properties: Public generic functions
fnrecord-specializer: Public generic functions
fnrecord-specializer: Public generic functions
fnrecord-specializer: Public generic functions
fnrecordp: Public generic functions
fnrecordp: Public generic functions
fnrecordp: Public generic functions
full-values-ntype-nmin: Private ordinary functions
full-values-ntype-ntypes: Private ordinary functions
full-values-ntype-p: Private ordinary functions
full-values-ntype-rest: Private ordinary functions
Function, %abort-specialization: Private ordinary functions
Function, %make-array-ntype: Private ordinary functions
Function, %make-eql-ntype: Private ordinary functions
Function, %make-full-values-ntype: Private ordinary functions
Function, %make-primitive-ntype: Private ordinary functions
Function, %make-single-value-values-ntype: Private ordinary functions
Function, (setf double-float-row-major-aref): Public ordinary functions
Function, (setf long-float-row-major-aref): Public ordinary functions
Function, (setf primitive-ntype-class): Private ordinary functions
Function, (setf short-float-row-major-aref): Public ordinary functions
Function, (setf single-float-row-major-aref): Public ordinary functions
Function, and-fn: Public ordinary functions
Function, argmax: Private ordinary functions
Function, argmin: Private ordinary functions
Function, array-dimensions-subtypep: Private ordinary functions
Function, array-dimensions-union: Private ordinary functions
Function, array-element-ntype-subtypep: Private ordinary functions
Function, array-element-ntype-union: Private ordinary functions
Function, array-ntype-dimensions: Private ordinary functions
Function, array-ntype-element-ntype: Private ordinary functions
Function, array-ntype-element-type: Private ordinary functions
Function, array-ntype-index: Private ordinary functions
Function, array-ntype-p: Private ordinary functions
Function, array-ntype-simplep: Private ordinary functions
Function, array-simplep-subtypep: Private ordinary functions
Function, array-simplep-union: Private ordinary functions
Function, block-name: Private ordinary functions
Function, canonicalize-array-dimension-specifier: Private ordinary functions
Function, canonicalize-array-element-type: Private ordinary functions
Function, choose: Public ordinary functions
Function, class-subclasses: Private ordinary functions
Function, coerce-to-complex-double-float: Public ordinary functions
Function, coerce-to-complex-long-float: Public ordinary functions
Function, coerce-to-complex-short-float: Public ordinary functions
Function, coerce-to-complex-single-float: Public ordinary functions
Function, coerce-to-double-float: Public ordinary functions
Function, coerce-to-long-float: Public ordinary functions
Function, coerce-to-short-float: Public ordinary functions
Function, coerce-to-single-float: Public ordinary functions
Function, complex-contagion: Private ordinary functions
Function, complex-double-float-abs: Public ordinary functions
Function, complex-double-float-cos: Public ordinary functions
Function, complex-double-float-from-complex-long-float: Public ordinary functions
Function, complex-double-float-from-complex-short-float: Public ordinary functions
Function, complex-double-float-from-complex-single-float: Public ordinary functions
Function, complex-double-float-from-double-float: Public ordinary functions
Function, complex-double-float-imagpart: Public ordinary functions
Function, complex-double-float-realpart: Public ordinary functions
Function, complex-double-float-sin: Public ordinary functions
Function, complex-double-float-tan: Public ordinary functions
Function, complex-long-float-abs: Public ordinary functions
Function, complex-long-float-cos: Public ordinary functions
Function, complex-long-float-from-complex-double-float: Public ordinary functions
Function, complex-long-float-from-complex-short-float: Public ordinary functions
Function, complex-long-float-from-complex-single-float: Public ordinary functions
Function, complex-long-float-from-long-float: Public ordinary functions
Function, complex-long-float-imagpart: Public ordinary functions
Function, complex-long-float-realpart: Public ordinary functions
Function, complex-long-float-sin: Public ordinary functions
Function, complex-long-float-tan: Public ordinary functions
Function, complex-ntype-from-real-ntype: Private ordinary functions
Function, complex-short-float-abs: Public ordinary functions
Function, complex-short-float-cos: Public ordinary functions
Function, complex-short-float-from-complex-double-float: Public ordinary functions
Function, complex-short-float-from-complex-long-float: Public ordinary functions
Function, complex-short-float-from-complex-single-float: Public ordinary functions
Function, complex-short-float-from-short-float: Public ordinary functions
Function, complex-short-float-imagpart: Public ordinary functions
Function, complex-short-float-realpart: Public ordinary functions
Function, complex-short-float-sin: Public ordinary functions
Function, complex-short-float-tan: Public ordinary functions
Function, complex-single-float-abs: Public ordinary functions
Function, complex-single-float-cos: Public ordinary functions
Function, complex-single-float-from-complex-double-float: Public ordinary functions
Function, complex-single-float-from-complex-long-float: Public ordinary functions
Function, complex-single-float-from-complex-short-float: Public ordinary functions
Function, complex-single-float-from-single-float: Public ordinary functions
Function, complex-single-float-imagpart: Public ordinary functions
Function, complex-single-float-realpart: Public ordinary functions
Function, complex-single-float-sin: Public ordinary functions
Function, complex-single-float-tan: Public ordinary functions
Function, copy-fndb: Private ordinary functions
Function, copy-full-values-ntype: Private ordinary functions
Function, copy-single-value-values-ntype: Private ordinary functions
Function, cswap: Public ordinary functions
Function, diff: Private ordinary functions
Function, differentiate: Public ordinary functions
Function, double-float-abs: Public ordinary functions
Function, double-float-cis: Public ordinary functions
Function, double-float-complex: Public ordinary functions
Function, double-float-cos: Public ordinary functions
Function, double-float-exp: Public ordinary functions
Function, double-float-from-integer: Public ordinary functions
Function, double-float-from-long-float: Public ordinary functions
Function, double-float-from-short-float: Public ordinary functions
Function, double-float-from-single-float: Public ordinary functions
Function, double-float-ln: Public ordinary functions
Function, double-float-row-major-aref: Public ordinary functions
Function, double-float-sin: Public ordinary functions
Function, double-float-sqrt: Public ordinary functions
Function, double-float-tan: Public ordinary functions
Function, empty-ntype: Public ordinary functions
Function, ensure-fdefinition: Private ordinary functions
Function, ensure-fnrecord: Public ordinary functions
Function, eql-ntype-index: Private ordinary functions
Function, eql-ntype-object: Public ordinary functions
Function, eql-ntype-p: Public ordinary functions
Function, expand-wrap: Private ordinary functions
Function, false-ntype: Public ordinary functions
Function, find-fnrecord: Public ordinary functions
Function, find-integer-ntype: Private ordinary functions
Function, find-primitive-ntype: Private ordinary functions
Function, find-signed-byte-ntype: Private ordinary functions
Function, find-unsigned-byte-ntype: Private ordinary functions
Function, float-bits: Private ordinary functions
Function, float-contagion: Private ordinary functions
Function, float-exponent-bits: Private ordinary functions
Function, fndb-function-name-table: Private ordinary functions
Function, fndb-function-table: Private ordinary functions
Function, fndb-key-and-table: Private ordinary functions
Function, fndb-setf-function-name-table: Private ordinary functions
Function, fndbp: Private ordinary functions
Function, full-values-ntype-nmin: Private ordinary functions
Function, full-values-ntype-ntypes: Private ordinary functions
Function, full-values-ntype-p: Private ordinary functions
Function, full-values-ntype-rest: Private ordinary functions
Function, function-arity: Public ordinary functions
Function, function-differentiator: Public ordinary functions
Function, function-lambda-list: Private ordinary functions
Function, function-name: Public ordinary functions
Function, function-specializer: Public ordinary functions
Function, gensymify: Private ordinary functions
Function, infer-ntypes: Public ordinary functions
Function, integer-abs: Private ordinary functions
Function, lambda-list-arity: Public ordinary functions
Function, ln: Private ordinary functions
Function, long-float-abs: Public ordinary functions
Function, long-float-cis: Public ordinary functions
Function, long-float-complex: Public ordinary functions
Function, long-float-cos: Public ordinary functions
Function, long-float-exp: Public ordinary functions
Function, long-float-from-double-float: Public ordinary functions
Function, long-float-from-integer: Public ordinary functions
Function, long-float-from-short-float: Public ordinary functions
Function, long-float-from-single-float: Public ordinary functions
Function, long-float-ln: Public ordinary functions
Function, long-float-row-major-aref: Public ordinary functions
Function, long-float-sin: Public ordinary functions
Function, long-float-sqrt: Public ordinary functions
Function, long-float-tan: Public ordinary functions
Function, make-complex-ntype: Private ordinary functions
Function, make-default-differentiator: Private ordinary functions
Function, make-default-specializer: Private ordinary functions
Function, make-fndb: Private ordinary functions
Function, make-single-value-values-ntype: Public ordinary functions
Function, make-values-ntype: Public ordinary functions
Function, map-unique-pairs: Private ordinary functions
Function, ntype-contagion/slow: Private ordinary functions
Function, ntype-index: Public ordinary functions
Function, ntype-of: Public ordinary functions
Function, ntypep: Public ordinary functions
Function, one-arg-complex-double-float-: Public ordinary functions
Function, one-arg-complex-long-float-: Public ordinary functions
Function, one-arg-complex-short-float-: Public ordinary functions
Function, one-arg-complex-single-float-: Public ordinary functions
Function, one-arg-double-float-: Public ordinary functions
Function, one-arg-integer-: Public ordinary functions
Function, one-arg-long-float-: Public ordinary functions
Function, one-arg-short-float-: Public ordinary functions
Function, one-arg-single-float-: Public ordinary functions
Function, or-fn: Public ordinary functions
Function, primitive-ntype-bits: Private ordinary functions
Function, primitive-ntype-class: Private ordinary functions
Function, primitive-ntype-contagion: Private ordinary functions
Function, primitive-ntype-from-index: Public ordinary functions
Function, primitive-ntype-index: Private ordinary functions
Function, primitive-ntype-intersection: Private ordinary functions
Function, primitive-ntype-p: Public ordinary functions
Function, primitive-ntype-subtypep: Private ordinary functions
Function, primitive-ntype-subtypepc2: Private ordinary functions
Function, primitive-ntype-type-specifier: Private ordinary functions
Function, primitive-ntype-union: Private ordinary functions
Function, primitive-ntype-upgraded-array-element-ntype: Private ordinary functions
Function, primitive-ntype-upgraded-complex-part-ntype: Private ordinary functions
Function, primitive-ntypes: Public ordinary functions
Function, prog2-fn: Public ordinary functions
Function, short-float-abs: Public ordinary functions
Function, short-float-cis: Public ordinary functions
Function, short-float-complex: Public ordinary functions
Function, short-float-cos: Public ordinary functions
Function, short-float-exp: Public ordinary functions
Function, short-float-from-double-float: Public ordinary functions
Function, short-float-from-integer: Public ordinary functions
Function, short-float-from-long-float: Public ordinary functions
Function, short-float-from-single-float: Public ordinary functions
Function, short-float-ln: Public ordinary functions
Function, short-float-row-major-aref: Public ordinary functions
Function, short-float-sin: Public ordinary functions
Function, short-float-sqrt: Public ordinary functions
Function, short-float-tan: Public ordinary functions
Function, single-float-abs: Public ordinary functions
Function, single-float-cis: Public ordinary functions
Function, single-float-complex: Public ordinary functions
Function, single-float-cos: Public ordinary functions
Function, single-float-exp: Public ordinary functions
Function, single-float-from-double-float: Public ordinary functions
Function, single-float-from-integer: Public ordinary functions
Function, single-float-from-long-float: Public ordinary functions
Function, single-float-from-short-float: Public ordinary functions
Function, single-float-ln: Public ordinary functions
Function, single-float-row-major-aref: Public ordinary functions
Function, single-float-sin: Public ordinary functions
Function, single-float-sqrt: Public ordinary functions
Function, single-float-tan: Public ordinary functions
Function, single-value-values-ntype-ntype: Private ordinary functions
Function, single-value-values-ntype-p: Private ordinary functions
Function, specialize: Public ordinary functions
Function, the-character: Public ordinary functions
Function, the-complex: Public ordinary functions
Function, the-complex-double-float: Public ordinary functions
Function, the-complex-long-float: Public ordinary functions
Function, the-complex-short-float: Public ordinary functions
Function, the-complex-single-float: Public ordinary functions
Function, the-double-float: Public ordinary functions
Function, the-float: Public ordinary functions
Function, the-function: Public ordinary functions
Function, the-integer: Public ordinary functions
Function, the-long-float: Public ordinary functions
Function, the-number: Public ordinary functions
Function, the-rational: Public ordinary functions
Function, the-real: Public ordinary functions
Function, the-short-float: Public ordinary functions
Function, the-single-float: Public ordinary functions
Function, the-symbol: Public ordinary functions
Function, true-ntype: Public ordinary functions
Function, two-arg*: Private ordinary functions
Function, two-arg+: Private ordinary functions
Function, two-arg-: Private ordinary functions
Function, two-arg-base-char-equal: Public ordinary functions
Function, two-arg-base-char-greaterp: Public ordinary functions
Function, two-arg-base-char-lessp: Public ordinary functions
Function, two-arg-base-char-not-equal: Public ordinary functions
Function, two-arg-base-char-not-greaterp: Public ordinary functions
Function, two-arg-base-char-not-lessp: Public ordinary functions
Function, two-arg-base-char/=: Public ordinary functions
Function, two-arg-base-char<: Public ordinary functions
Function, two-arg-base-char<=: Public ordinary functions
Function, two-arg-base-char=: Public ordinary functions
Function, two-arg-base-char>: Public ordinary functions
Function, two-arg-base-char>=: Public ordinary functions
Function, two-arg-char-equal: Public ordinary functions
Function, two-arg-char-greaterp: Public ordinary functions
Function, two-arg-char-lessp: Public ordinary functions
Function, two-arg-char-not-equal: Public ordinary functions
Function, two-arg-char-not-greaterp: Public ordinary functions
Function, two-arg-char-not-lessp: Public ordinary functions
Function, two-arg-char/=: Public ordinary functions
Function, two-arg-char<: Public ordinary functions
Function, two-arg-char<=: Public ordinary functions
Function, two-arg-char=: Public ordinary functions
Function, two-arg-char>: Public ordinary functions
Function, two-arg-char>=: Public ordinary functions
Function, two-arg-complex-double-float*: Public ordinary functions
Function, two-arg-complex-double-float+: Public ordinary functions
Function, two-arg-complex-double-float-: Public ordinary functions
Function, two-arg-complex-double-float/: Public ordinary functions
Function, two-arg-complex-double-float/=: Public ordinary functions
Function, two-arg-complex-double-float=: Public ordinary functions
Function, two-arg-complex-long-float*: Public ordinary functions
Function, two-arg-complex-long-float+: Public ordinary functions
Function, two-arg-complex-long-float-: Public ordinary functions
Function, two-arg-complex-long-float/: Public ordinary functions
Function, two-arg-complex-long-float/=: Public ordinary functions
Function, two-arg-complex-long-float=: Public ordinary functions
Function, two-arg-complex-short-float*: Public ordinary functions
Function, two-arg-complex-short-float+: Public ordinary functions
Function, two-arg-complex-short-float-: Public ordinary functions
Function, two-arg-complex-short-float/: Public ordinary functions
Function, two-arg-complex-short-float/=: Public ordinary functions
Function, two-arg-complex-short-float=: Public ordinary functions
Function, two-arg-complex-single-float*: Public ordinary functions
Function, two-arg-complex-single-float+: Public ordinary functions
Function, two-arg-complex-single-float-: Public ordinary functions
Function, two-arg-complex-single-float/: Public ordinary functions
Function, two-arg-complex-single-float/=: Public ordinary functions
Function, two-arg-complex-single-float=: Public ordinary functions
Function, two-arg-double-float*: Public ordinary functions
Function, two-arg-double-float+: Public ordinary functions
Function, two-arg-double-float-: Public ordinary functions
Function, two-arg-double-float-max: Public ordinary functions
Function, two-arg-double-float-min: Public ordinary functions
Function, two-arg-double-float/: Public ordinary functions
Function, two-arg-double-float/=: Public ordinary functions
Function, two-arg-double-float<: Public ordinary functions
Function, two-arg-double-float<=: Public ordinary functions
Function, two-arg-double-float=: Public ordinary functions
Function, two-arg-double-float>: Public ordinary functions
Function, two-arg-double-float>=: Public ordinary functions
Function, two-arg-integer*: Public ordinary functions
Function, two-arg-integer+: Public ordinary functions
Function, two-arg-integer-: Public ordinary functions
Function, two-arg-long-float*: Public ordinary functions
Function, two-arg-long-float+: Public ordinary functions
Function, two-arg-long-float-: Public ordinary functions
Function, two-arg-long-float-max: Public ordinary functions
Function, two-arg-long-float-min: Public ordinary functions
Function, two-arg-long-float/: Public ordinary functions
Function, two-arg-long-float/=: Public ordinary functions
Function, two-arg-long-float<: Public ordinary functions
Function, two-arg-long-float<=: Public ordinary functions
Function, two-arg-long-float=: Public ordinary functions
Function, two-arg-long-float>: Public ordinary functions
Function, two-arg-long-float>=: Public ordinary functions
Function, two-arg-short-float*: Public ordinary functions
Function, two-arg-short-float+: Public ordinary functions
Function, two-arg-short-float-: Public ordinary functions
Function, two-arg-short-float-max: Public ordinary functions
Function, two-arg-short-float-min: Public ordinary functions
Function, two-arg-short-float/: Public ordinary functions
Function, two-arg-short-float/=: Public ordinary functions
Function, two-arg-short-float<: Public ordinary functions
Function, two-arg-short-float<=: Public ordinary functions
Function, two-arg-short-float=: Public ordinary functions
Function, two-arg-short-float>: Public ordinary functions
Function, two-arg-short-float>=: Public ordinary functions
Function, two-arg-single-float*: Public ordinary functions
Function, two-arg-single-float+: Public ordinary functions
Function, two-arg-single-float-: Public ordinary functions
Function, two-arg-single-float-max: Public ordinary functions
Function, two-arg-single-float-min: Public ordinary functions
Function, two-arg-single-float/: Public ordinary functions
Function, two-arg-single-float/=: Public ordinary functions
Function, two-arg-single-float<: Public ordinary functions
Function, two-arg-single-float<=: Public ordinary functions
Function, two-arg-single-float=: Public ordinary functions
Function, two-arg-single-float>: Public ordinary functions
Function, two-arg-single-float>=: Public ordinary functions
Function, two-arg/: Private ordinary functions
Function, two-arg/=: Public ordinary functions
Function, two-arg=: Public ordinary functions
Function, unbound-special-function: Private ordinary functions
Function, universal-ntype: Public ordinary functions
Function, update-fnrecord: Private ordinary functions
Function, values-ntype-p: Public ordinary functions
Function, values-type-specifier-values-ntype: Public ordinary functions
Function, wrap-constant: Public ordinary functions
Function, wrap-function: Public ordinary functions
Function, wrapper-nth-value-ntype: Private ordinary functions
Function, wrapper-ntype: Public ordinary functions
function-arity: Public ordinary functions
function-differentiator: Public compiler macros
function-differentiator: Public ordinary functions
function-lambda-list: Private ordinary functions
function-name: Public ordinary functions
function-specializer: Public compiler macros
function-specializer: Public ordinary functions

G
Generic Function, array-element-ntype: Public generic functions
Generic Function, complex-part-ntype: Public generic functions
Generic Function, compound-type-specifier-ntype: Private generic functions
Generic Function, fnrecord-differentiator: Public generic functions
Generic Function, fnrecord-function: Public generic functions
Generic Function, fnrecord-function-designator: Public generic functions
Generic Function, fnrecord-lambda-list: Private generic functions
Generic Function, fnrecord-max-arguments: Public generic functions
Generic Function, fnrecord-min-arguments: Public generic functions
Generic Function, fnrecord-name: Public generic functions
Generic Function, fnrecord-properties: Public generic functions
Generic Function, fnrecord-specializer: Public generic functions
Generic Function, fnrecordp: Public generic functions
Generic Function, make-array-ntype: Private generic functions
Generic Function, make-eql-ntype: Private generic functions
Generic Function, ntype-bits: Public generic functions
Generic Function, ntype-contagion: Public generic functions
Generic Function, ntype-intersection: Public generic functions
Generic Function, ntype-primitive-ntype: Public generic functions
Generic Function, ntype-subtypep: Public generic functions
Generic Function, ntype-subtypepc2: Public generic functions
Generic Function, ntype-type-specifier: Public generic functions
Generic Function, ntype-union: Public generic functions
Generic Function, ntype=: Public generic functions
Generic Function, specialization-error-argument-types: Private generic functions
Generic Function, specialization-error-arguments: Private generic functions
Generic Function, specialization-error-function: Private generic functions
Generic Function, specialization-error-index: Private generic functions
Generic Function, type-specifier-ntype: Public generic functions
Generic Function, upgraded-array-element-ntype: Public generic functions
Generic Function, upgraded-complex-part-ntype: Public generic functions
Generic Function, values-ntype-minimum-number-of-values: Public generic functions
Generic Function, values-ntype-mininum-number-of-values: Private generic functions
Generic Function, values-ntype-nth-value-ntype: Public generic functions
Generic Function, values-ntype-number-of-non-rest-values: Public generic functions
Generic Function, values-ntype-number-of-optional-values: Public generic functions
Generic Function, values-ntype-rest-ntype: Public generic functions
Generic Function, values-ntype-type-specifier: Public generic functions
gensymify: Private ordinary functions

I
infer-ntypes: Public ordinary functions
integer-abs: Private ordinary functions

L
lambda-list-arity: Public ordinary functions
ln: Private ordinary functions
long-float-abs: Public ordinary functions
long-float-cis: Public ordinary functions
long-float-complex: Public ordinary functions
long-float-cos: Public ordinary functions
long-float-exp: Public ordinary functions
long-float-from-double-float: Public ordinary functions
long-float-from-integer: Public ordinary functions
long-float-from-short-float: Public ordinary functions
long-float-from-single-float: Public ordinary functions
long-float-ln: Public ordinary functions
long-float-row-major-aref: Public ordinary functions
long-float-sin: Public ordinary functions
long-float-sqrt: Public ordinary functions
long-float-tan: Public ordinary functions

M
Macro, assert-wrapper-type: Public macros
Macro, cmpx: Private macros
Macro, define-array-element-ntype-methods: Private macros
Macro, define-complex-part-ntype-methods: Private macros
Macro, define-fnrecord: Public macros
Macro, define-instruction: Public macros
Macro, define-make-eql-ntype-methods: Private macros
Macro, define-predicate-fnrecord: Private macros
Macro, define-simple-instruction: Public macros
Macro, define-special-function: Private macros
Macro, define-type-check: Private macros
Macro, differentiator-lambda: Private macros
Macro, ntype-subtypecase: Public macros
Macro, search-interval-ntype: Private macros
Macro, specializer-lambda: Private macros
Macro, wrap: Public macros
make-array-ntype: Private compiler macros
make-array-ntype: Private generic functions
make-array-ntype: Private generic functions
make-complex-ntype: Private ordinary functions
make-default-differentiator: Private ordinary functions
make-default-specializer: Private ordinary functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-eql-ntype: Private generic functions
make-fndb: Private ordinary functions
make-load-form: Public standalone methods
make-load-form: Public standalone methods
make-load-form: Public standalone methods
make-single-value-values-ntype: Public ordinary functions
make-values-ntype: Public ordinary functions
map-unique-pairs: Private ordinary functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, array-element-ntype: Public generic functions
Method, complex-part-ntype: Public generic functions
Method, complex-part-ntype: Public generic functions
Method, complex-part-ntype: Public generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, compound-type-specifier-ntype: Private generic functions
Method, fnrecord-differentiator: Public generic functions
Method, fnrecord-differentiator: Public generic functions
Method, fnrecord-function: Public generic functions
Method, fnrecord-function-designator: Public generic functions
Method, fnrecord-lambda-list: Private generic functions
Method, fnrecord-lambda-list: Private generic functions
Method, fnrecord-max-arguments: Public generic functions
Method, fnrecord-max-arguments: Public generic functions
Method, fnrecord-min-arguments: Public generic functions
Method, fnrecord-min-arguments: Public generic functions
Method, fnrecord-name: Public generic functions
Method, fnrecord-properties: Public generic functions
Method, fnrecord-properties: Public generic functions
Method, fnrecord-specializer: Public generic functions
Method, fnrecord-specializer: Public generic functions
Method, fnrecordp: Public generic functions
Method, fnrecordp: Public generic functions
Method, make-array-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-eql-ntype: Private generic functions
Method, make-load-form: Public standalone methods
Method, make-load-form: Public standalone methods
Method, make-load-form: Public standalone methods
Method, ntype-bits: Public generic functions
Method, ntype-bits: Public generic functions
Method, ntype-contagion: Public generic functions
Method, ntype-intersection: Public generic functions
Method, ntype-intersection: Public generic functions
Method, ntype-intersection: Public generic functions
Method, ntype-intersection: Public generic functions
Method, ntype-intersection: Public generic functions
Method, ntype-intersection: Public generic functions
Method, ntype-intersection: Public generic functions
Method, ntype-intersection: Public generic functions
Method, ntype-intersection: Public generic functions
Method, ntype-intersection: Public generic functions
Method, ntype-intersection: Public generic functions
Method, ntype-intersection: Public generic functions
Method, ntype-primitive-ntype: Public generic functions
Method, ntype-primitive-ntype: Public generic functions
Method, ntype-primitive-ntype: Public generic functions
Method, ntype-primitive-ntype: Public generic functions
Method, ntype-subtypep: Public generic functions
Method, ntype-subtypep: Public generic functions
Method, ntype-subtypep: Public generic functions
Method, ntype-subtypep: Public generic functions
Method, ntype-subtypep: Public generic functions
Method, ntype-subtypep: Public generic functions
Method, ntype-subtypep: Public generic functions
Method, ntype-subtypep: Public generic functions
Method, ntype-subtypepc2: Public generic functions
Method, ntype-subtypepc2: Public generic functions
Method, ntype-subtypepc2: Public generic functions
Method, ntype-subtypepc2: Public generic functions
Method, ntype-subtypepc2: Public generic functions
Method, ntype-type-specifier: Public generic functions
Method, ntype-type-specifier: Public generic functions
Method, ntype-type-specifier: Public generic functions
Method, ntype-union: Public generic functions
Method, ntype-union: Public generic functions
Method, ntype-union: Public generic functions
Method, ntype-union: Public generic functions
Method, ntype-union: Public generic functions
Method, ntype-union: Public generic functions
Method, ntype-union: Public generic functions
Method, ntype-union: Public generic functions
Method, ntype-union: Public generic functions
Method, ntype-union: Public generic functions
Method, ntype=: Public generic functions
Method, ntype=: Public generic functions
Method, ntype=: Public generic functions
Method, ntype=: Public generic functions
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, shared-initialize: Public standalone methods
Method, shared-initialize: Public standalone methods
Method, specialization-error-argument-types: Private generic functions
Method, specialization-error-arguments: Private generic functions
Method, specialization-error-arguments: Private generic functions
Method, specialization-error-arguments: Private generic functions
Method, specialization-error-function: Private generic functions
Method, specialization-error-index: Private generic functions
Method, specialization-error-index: Private generic functions
Method, type-specifier-ntype: Public generic functions
Method, type-specifier-ntype: Public generic functions
Method, type-specifier-ntype: Public generic functions
Method, type-specifier-ntype: Public generic functions
Method, type-specifier-ntype: Public generic functions
Method, upgraded-array-element-ntype: Public generic functions
Method, upgraded-array-element-ntype: Public generic functions
Method, upgraded-complex-part-ntype: Public generic functions
Method, upgraded-complex-part-ntype: Public generic functions
Method, values-ntype-minimum-number-of-values: Public generic functions
Method, values-ntype-minimum-number-of-values: Public generic functions
Method, values-ntype-nth-value-ntype: Public generic functions
Method, values-ntype-nth-value-ntype: Public generic functions
Method, values-ntype-nth-value-ntype: Public generic functions
Method, values-ntype-number-of-non-rest-values: Public generic functions
Method, values-ntype-number-of-non-rest-values: Public generic functions
Method, values-ntype-number-of-optional-values: Public generic functions
Method, values-ntype-number-of-optional-values: Public generic functions
Method, values-ntype-rest-ntype: Public generic functions
Method, values-ntype-rest-ntype: Public generic functions
Method, values-ntype-type-specifier: Public generic functions

N
ntype-bits: Public generic functions
ntype-bits: Public generic functions
ntype-bits: Public generic functions
ntype-contagion: Public generic functions
ntype-contagion: Public generic functions
ntype-contagion/slow: Private ordinary functions
ntype-index: Public ordinary functions
ntype-intersection: Public generic functions
ntype-intersection: Public generic functions
ntype-intersection: Public generic functions
ntype-intersection: Public generic functions
ntype-intersection: Public generic functions
ntype-intersection: Public generic functions
ntype-intersection: Public generic functions
ntype-intersection: Public generic functions
ntype-intersection: Public generic functions
ntype-intersection: Public generic functions
ntype-intersection: Public generic functions
ntype-intersection: Public generic functions
ntype-intersection: Public generic functions
ntype-of: Public ordinary functions
ntype-primitive-ntype: Public generic functions
ntype-primitive-ntype: Public generic functions
ntype-primitive-ntype: Public generic functions
ntype-primitive-ntype: Public generic functions
ntype-primitive-ntype: Public generic functions
ntype-subtypecase: Public macros
ntype-subtypep: Public generic functions
ntype-subtypep: Public generic functions
ntype-subtypep: Public generic functions
ntype-subtypep: Public generic functions
ntype-subtypep: Public generic functions
ntype-subtypep: Public generic functions
ntype-subtypep: Public generic functions
ntype-subtypep: Public generic functions
ntype-subtypep: Public generic functions
ntype-subtypepc2: Public generic functions
ntype-subtypepc2: Public generic functions
ntype-subtypepc2: Public generic functions
ntype-subtypepc2: Public generic functions
ntype-subtypepc2: Public generic functions
ntype-subtypepc2: Public generic functions
ntype-type-specifier: Public generic functions
ntype-type-specifier: Public generic functions
ntype-type-specifier: Public generic functions
ntype-type-specifier: Public generic functions
ntype-union: Public generic functions
ntype-union: Public generic functions
ntype-union: Public generic functions
ntype-union: Public generic functions
ntype-union: Public generic functions
ntype-union: Public generic functions
ntype-union: Public generic functions
ntype-union: Public generic functions
ntype-union: Public generic functions
ntype-union: Public generic functions
ntype-union: Public generic functions
ntype=: Public generic functions
ntype=: Public generic functions
ntype=: Public generic functions
ntype=: Public generic functions
ntype=: Public generic functions
ntypep: Public ordinary functions

O
one-arg-complex-double-float-: Public ordinary functions
one-arg-complex-long-float-: Public ordinary functions
one-arg-complex-short-float-: Public ordinary functions
one-arg-complex-single-float-: Public ordinary functions
one-arg-double-float-: Public ordinary functions
one-arg-integer-: Public ordinary functions
one-arg-long-float-: Public ordinary functions
one-arg-short-float-: Public ordinary functions
one-arg-single-float-: Public ordinary functions
or-fn: Public ordinary functions

P
primitive-ntype-bits: Private ordinary functions
primitive-ntype-class: Private ordinary functions
primitive-ntype-contagion: Private ordinary functions
primitive-ntype-from-index: Public ordinary functions
primitive-ntype-index: Private ordinary functions
primitive-ntype-intersection: Private ordinary functions
primitive-ntype-p: Public ordinary functions
primitive-ntype-subtypep: Private ordinary functions
primitive-ntype-subtypepc2: Private ordinary functions
primitive-ntype-type-specifier: Private ordinary functions
primitive-ntype-union: Private ordinary functions
primitive-ntype-upgraded-array-element-ntype: Private ordinary functions
primitive-ntype-upgraded-complex-part-ntype: Private ordinary functions
primitive-ntypes: Public ordinary functions
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
prog2-fn: Public ordinary functions

S
search-interval-ntype: Private macros
shared-initialize: Public standalone methods
shared-initialize: Public standalone methods
short-float-abs: Public ordinary functions
short-float-cis: Public ordinary functions
short-float-complex: Public ordinary functions
short-float-cos: Public ordinary functions
short-float-exp: Public ordinary functions
short-float-from-double-float: Public ordinary functions
short-float-from-integer: Public ordinary functions
short-float-from-long-float: Public ordinary functions
short-float-from-single-float: Public ordinary functions
short-float-ln: Public ordinary functions
short-float-row-major-aref: Public ordinary functions
short-float-sin: Public ordinary functions
short-float-sqrt: Public ordinary functions
short-float-tan: Public ordinary functions
single-float-abs: Public ordinary functions
single-float-cis: Public ordinary functions
single-float-complex: Public ordinary functions
single-float-cos: Public ordinary functions
single-float-exp: Public ordinary functions
single-float-from-double-float: Public ordinary functions
single-float-from-integer: Public ordinary functions
single-float-from-long-float: Public ordinary functions
single-float-from-short-float: Public ordinary functions
single-float-ln: Public ordinary functions
single-float-row-major-aref: Public ordinary functions
single-float-sin: Public ordinary functions
single-float-sqrt: Public ordinary functions
single-float-tan: Public ordinary functions
single-value-values-ntype-ntype: Private ordinary functions
single-value-values-ntype-p: Private ordinary functions
specialization-error-argument-types: Private generic functions
specialization-error-argument-types: Private generic functions
specialization-error-arguments: Private generic functions
specialization-error-arguments: Private generic functions
specialization-error-arguments: Private generic functions
specialization-error-arguments: Private generic functions
specialization-error-function: Private generic functions
specialization-error-function: Private generic functions
specialization-error-index: Private generic functions
specialization-error-index: Private generic functions
specialization-error-index: Private generic functions
specialize: Public ordinary functions
specializer-lambda: Private macros

T
the-character: Public ordinary functions
the-complex: Public ordinary functions
the-complex-double-float: Public ordinary functions
the-complex-long-float: Public ordinary functions
the-complex-short-float: Public ordinary functions
the-complex-single-float: Public ordinary functions
the-double-float: Public ordinary functions
the-float: Public ordinary functions
the-function: Public ordinary functions
the-integer: Public ordinary functions
the-long-float: Public ordinary functions
the-number: Public ordinary functions
the-rational: Public ordinary functions
the-real: Public ordinary functions
the-short-float: Public ordinary functions
the-single-float: Public ordinary functions
the-symbol: Public ordinary functions
true-ntype: Public ordinary functions
two-arg*: Private ordinary functions
two-arg+: Private ordinary functions
two-arg-: Private ordinary functions
two-arg-base-char-equal: Public ordinary functions
two-arg-base-char-greaterp: Public ordinary functions
two-arg-base-char-lessp: Public ordinary functions
two-arg-base-char-not-equal: Public ordinary functions
two-arg-base-char-not-greaterp: Public ordinary functions
two-arg-base-char-not-lessp: Public ordinary functions
two-arg-base-char/=: Public ordinary functions
two-arg-base-char<: Public ordinary functions
two-arg-base-char<=: Public ordinary functions
two-arg-base-char=: Public ordinary functions
two-arg-base-char>: Public ordinary functions
two-arg-base-char>=: Public ordinary functions
two-arg-char-equal: Public ordinary functions
two-arg-char-greaterp: Public ordinary functions
two-arg-char-lessp: Public ordinary functions
two-arg-char-not-equal: Public ordinary functions
two-arg-char-not-greaterp: Public ordinary functions
two-arg-char-not-lessp: Public ordinary functions
two-arg-char/=: Public ordinary functions
two-arg-char<: Public ordinary functions
two-arg-char<=: Public ordinary functions
two-arg-char=: Public ordinary functions
two-arg-char>: Public ordinary functions
two-arg-char>=: Public ordinary functions
two-arg-complex-double-float*: Public ordinary functions
two-arg-complex-double-float+: Public ordinary functions
two-arg-complex-double-float-: Public ordinary functions
two-arg-complex-double-float/: Public ordinary functions
two-arg-complex-double-float/=: Public ordinary functions
two-arg-complex-double-float=: Public ordinary functions
two-arg-complex-long-float*: Public ordinary functions
two-arg-complex-long-float+: Public ordinary functions
two-arg-complex-long-float-: Public ordinary functions
two-arg-complex-long-float/: Public ordinary functions
two-arg-complex-long-float/=: Public ordinary functions
two-arg-complex-long-float=: Public ordinary functions
two-arg-complex-short-float*: Public ordinary functions
two-arg-complex-short-float+: Public ordinary functions
two-arg-complex-short-float-: Public ordinary functions
two-arg-complex-short-float/: Public ordinary functions
two-arg-complex-short-float/=: Public ordinary functions
two-arg-complex-short-float=: Public ordinary functions
two-arg-complex-single-float*: Public ordinary functions
two-arg-complex-single-float+: Public ordinary functions
two-arg-complex-single-float-: Public ordinary functions
two-arg-complex-single-float/: Public ordinary functions
two-arg-complex-single-float/=: Public ordinary functions
two-arg-complex-single-float=: Public ordinary functions
two-arg-double-float*: Public ordinary functions
two-arg-double-float+: Public ordinary functions
two-arg-double-float-: Public ordinary functions
two-arg-double-float-max: Public ordinary functions
two-arg-double-float-min: Public ordinary functions
two-arg-double-float/: Public ordinary functions
two-arg-double-float/=: Public ordinary functions
two-arg-double-float<: Public ordinary functions
two-arg-double-float<=: Public ordinary functions
two-arg-double-float=: Public ordinary functions
two-arg-double-float>: Public ordinary functions
two-arg-double-float>=: Public ordinary functions
two-arg-integer*: Public ordinary functions
two-arg-integer+: Public ordinary functions
two-arg-integer-: Public ordinary functions
two-arg-long-float*: Public ordinary functions
two-arg-long-float+: Public ordinary functions
two-arg-long-float-: Public ordinary functions
two-arg-long-float-max: Public ordinary functions
two-arg-long-float-min: Public ordinary functions
two-arg-long-float/: Public ordinary functions
two-arg-long-float/=: Public ordinary functions
two-arg-long-float<: Public ordinary functions
two-arg-long-float<=: Public ordinary functions
two-arg-long-float=: Public ordinary functions
two-arg-long-float>: Public ordinary functions
two-arg-long-float>=: Public ordinary functions
two-arg-short-float*: Public ordinary functions
two-arg-short-float+: Public ordinary functions
two-arg-short-float-: Public ordinary functions
two-arg-short-float-max: Public ordinary functions
two-arg-short-float-min: Public ordinary functions
two-arg-short-float/: Public ordinary functions
two-arg-short-float/=: Public ordinary functions
two-arg-short-float<: Public ordinary functions
two-arg-short-float<=: Public ordinary functions
two-arg-short-float=: Public ordinary functions
two-arg-short-float>: Public ordinary functions
two-arg-short-float>=: Public ordinary functions
two-arg-single-float*: Public ordinary functions
two-arg-single-float+: Public ordinary functions
two-arg-single-float-: Public ordinary functions
two-arg-single-float-max: Public ordinary functions
two-arg-single-float-min: Public ordinary functions
two-arg-single-float/: Public ordinary functions
two-arg-single-float/=: Public ordinary functions
two-arg-single-float<: Public ordinary functions
two-arg-single-float<=: Public ordinary functions
two-arg-single-float=: Public ordinary functions
two-arg-single-float>: Public ordinary functions
two-arg-single-float>=: Public ordinary functions
two-arg/: Private ordinary functions
two-arg/=: Public ordinary functions
two-arg=: Public ordinary functions
type-specifier-ntype: Public compiler macros
type-specifier-ntype: Public generic functions
type-specifier-ntype: Public generic functions
type-specifier-ntype: Public generic functions
type-specifier-ntype: Public generic functions
type-specifier-ntype: Public generic functions
type-specifier-ntype: Public generic functions

U
unbound-special-function: Private ordinary functions
universal-ntype: Public ordinary functions
update-fnrecord: Private ordinary functions
upgraded-array-element-ntype: Public generic functions
upgraded-array-element-ntype: Public generic functions
upgraded-array-element-ntype: Public generic functions
upgraded-complex-part-ntype: Public generic functions
upgraded-complex-part-ntype: Public generic functions
upgraded-complex-part-ntype: Public generic functions

V
values-ntype-minimum-number-of-values: Public generic functions
values-ntype-minimum-number-of-values: Public generic functions
values-ntype-minimum-number-of-values: Public generic functions
values-ntype-mininum-number-of-values: Private generic functions
values-ntype-nth-value-ntype: Public generic functions
values-ntype-nth-value-ntype: Public generic functions
values-ntype-nth-value-ntype: Public generic functions
values-ntype-nth-value-ntype: Public generic functions
values-ntype-number-of-non-rest-values: Public generic functions
values-ntype-number-of-non-rest-values: Public generic functions
values-ntype-number-of-non-rest-values: Public generic functions
values-ntype-number-of-optional-values: Public generic functions
values-ntype-number-of-optional-values: Public generic functions
values-ntype-number-of-optional-values: Public generic functions
values-ntype-p: Public ordinary functions
values-ntype-rest-ntype: Public generic functions
values-ntype-rest-ntype: Public generic functions
values-ntype-rest-ntype: Public generic functions
values-ntype-type-specifier: Public generic functions
values-ntype-type-specifier: Public generic functions
values-type-specifier-values-ntype: Public compiler macros
values-type-specifier-values-ntype: Public ordinary functions

W
wrap: Public macros
wrap-constant: Public ordinary functions
wrap-function: Public ordinary functions
wrapper-nth-value-ntype: Private ordinary functions
wrapper-ntype: Public ordinary functions


A.3 Variables

Jump to:   %   *   +  
B   C   D   E   F   I   L   N   O   R   S   T  
Index Entry  Section

%
%argument-types: Private conditions
%arguments: Private conditions
%arguments: Private conditions
%arguments: Private conditions
%differentiator: Private classes
%function: Public classes
%function: Private conditions
%index: Private conditions
%index: Private conditions
%lambda-list: Private classes
%max-arguments: Private classes
%min-arguments: Private classes
%name: Public classes
%properties: Private classes
%specializer: Private classes

*
*array-ntype-table*: Private special variables
*atomic-type-specifier-table*: Private special variables
*built-in-classes*: Private special variables
*class-type-specifier-table*: Private special variables
*complex-primitive-ntypes*: Private special variables
*eql-ntype-table*: Private special variables
*float-primitive-ntypes*: Private special variables
*fndb*: Private special variables
*primitive-ntype-information*: Private special variables
*primitive-ntypes*: Private special variables
*standardized-atomic-type-specifiers*: Private special variables
*standardized-compound-only-type-specifiers*: Private special variables
*standardized-compound-type-specifiers*: Private special variables
*upgraded-array-element-primitive-ntypes*: Private special variables
*upgraded-complex-part-primitive-ntypes*: Private special variables
*wrap-constant*: Private special variables
*wrap-function*: Private special variables
*wrapper-nth-value-ntype*: Private special variables
*wrapper-ntype*: Private special variables

+
+base-char-bits+: Public constants
+character-bits+: Public constants
+double-float-bits+: Public constants
+fixnum-bits+: Private constants
+long-float-bits+: Public constants
+primitive-ntype-limit+: Public constants
+short-float-bits+: Public constants
+single-float-bits+: Public constants
+word-bits+: Public constants

B
base-char-code-limit: Public constants
bits: Public structures

C
class: Public structures
Constant, +base-char-bits+: Public constants
Constant, +character-bits+: Public constants
Constant, +double-float-bits+: Public constants
Constant, +fixnum-bits+: Private constants
Constant, +long-float-bits+: Public constants
Constant, +primitive-ntype-limit+: Public constants
Constant, +short-float-bits+: Public constants
Constant, +single-float-bits+: Public constants
Constant, +word-bits+: Public constants
Constant, base-char-code-limit: Public constants
Constant, double-float-e: Private constants
Constant, double-float-pi: Private constants
Constant, long-float-e: Private constants
Constant, long-float-pi: Private constants
Constant, short-float-e: Private constants
Constant, short-float-pi: Private constants
Constant, single-float-e: Private constants
Constant, single-float-pi: Private constants

D
dimensions: Private structures
double-float-e: Private constants
double-float-pi: Private constants

E
element-ntype: Private structures

F
function-name-table: Private structures
function-table: Private structures

I
index: Public structures

L
long-float-e: Private constants
long-float-pi: Private constants

N
nmin: Private structures
ntype: Private structures
ntypes: Private structures

O
object: Private structures

R
rest: Private structures

S
setf-function-name-table: Private structures
short-float-e: Private constants
short-float-pi: Private constants
simplep: Private structures
single-float-e: Private constants
single-float-pi: Private constants
Slot, %argument-types: Private conditions
Slot, %arguments: Private conditions
Slot, %arguments: Private conditions
Slot, %arguments: Private conditions
Slot, %differentiator: Private classes
Slot, %function: Public classes
Slot, %function: Private conditions
Slot, %index: Private conditions
Slot, %index: Private conditions
Slot, %lambda-list: Private classes
Slot, %max-arguments: Private classes
Slot, %min-arguments: Private classes
Slot, %name: Public classes
Slot, %properties: Private classes
Slot, %specializer: Private classes
Slot, bits: Public structures
Slot, class: Public structures
Slot, dimensions: Private structures
Slot, element-ntype: Private structures
Slot, function-name-table: Private structures
Slot, function-table: Private structures
Slot, index: Public structures
Slot, nmin: Private structures
Slot, ntype: Private structures
Slot, ntypes: Private structures
Slot, object: Private structures
Slot, rest: Private structures
Slot, setf-function-name-table: Private structures
Slot, simplep: Private structures
Slot, type-specifier: Public structures
Special Variable, *array-ntype-table*: Private special variables
Special Variable, *atomic-type-specifier-table*: Private special variables
Special Variable, *built-in-classes*: Private special variables
Special Variable, *class-type-specifier-table*: Private special variables
Special Variable, *complex-primitive-ntypes*: Private special variables
Special Variable, *eql-ntype-table*: Private special variables
Special Variable, *float-primitive-ntypes*: Private special variables
Special Variable, *fndb*: Private special variables
Special Variable, *primitive-ntype-information*: Private special variables
Special Variable, *primitive-ntypes*: Private special variables
Special Variable, *standardized-atomic-type-specifiers*: Private special variables
Special Variable, *standardized-compound-only-type-specifiers*: Private special variables
Special Variable, *standardized-compound-type-specifiers*: Private special variables
Special Variable, *upgraded-array-element-primitive-ntypes*: Private special variables
Special Variable, *upgraded-complex-part-primitive-ntypes*: Private special variables
Special Variable, *wrap-constant*: Private special variables
Special Variable, *wrap-function*: Private special variables
Special Variable, *wrapper-nth-value-ntype*: Private special variables
Special Variable, *wrapper-ntype*: Private special variables

T
type-specifier: Public structures


A.4 Data types

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

A
abs.lisp: The typo/vm/abs․lisp file
add.lisp: The typo/vm/add․lisp file
argument-index: Public types
arity: Public types
array-element-ntype.lisp: The typo/ntype/array-element-ntype․lisp file
array-ntype: Private structures
array.lisp: The typo/vm/array․lisp file
auxiliary-types.lisp: The typo/ntype/auxiliary-types․lisp file
auxiliary.lisp: The typo/vm/auxiliary․lisp file

B
bits.lisp: The typo/ntype/bits․lisp file
byte-specifier: Public types

C
casts.lisp: The typo/vm/casts․lisp file
char.lisp: The typo/vm/char․lisp file
character-code: Public types
character-designator: Public types
Class, fnrecord: Public classes
Class, full-fnrecord: Private classes
Class, minimal-fnrecord: Private classes
class-subclasses.lisp: The typo/ntype/class-subclasses․lisp file
cmpeq.lisp: The typo/vm/cmpeq․lisp file
cmpneq.lisp: The typo/vm/cmpneq․lisp file
cmpx.lisp: The typo/vm/cmpx․lisp file
complex-double-float: Public types
complex-long-float: Public types
complex-part-ntype.lisp: The typo/ntype/complex-part-ntype․lisp file
complex-short-float: Public types
complex-single-float: Public types
complex.lisp: The typo/vm/complex․lisp file
Condition, invalid-arguments: Private conditions
Condition, invalid-differentiation-index: Private conditions
Condition, non-numeric-differentiation-argument: Private conditions
Condition, specialization-error: Private conditions
Condition, wrong-number-of-arguments: Private conditions
conditions.lisp: The typo/fndb/conditions․lisp file
cos.lisp: The typo/vm/cos․lisp file

D
data-and-control-flow.lisp: The typo/vm/data-and-control-flow․lisp file
define-fnrecord.lisp: The typo/fndb/define-fnrecord․lisp file
differentiate.lisp: The typo/fndb/differentiate․lisp file
div.lisp: The typo/vm/div․lisp file

E
eql-ntype: Private structures
exp.lisp: The typo/vm/exp․lisp file
extended-function-designator: Public types

F
File, abs.lisp: The typo/vm/abs․lisp file
File, add.lisp: The typo/vm/add․lisp file
File, array-element-ntype.lisp: The typo/ntype/array-element-ntype․lisp file
File, array.lisp: The typo/vm/array․lisp file
File, auxiliary-types.lisp: The typo/ntype/auxiliary-types․lisp file
File, auxiliary.lisp: The typo/vm/auxiliary․lisp file
File, bits.lisp: The typo/ntype/bits․lisp file
File, casts.lisp: The typo/vm/casts․lisp file
File, char.lisp: The typo/vm/char․lisp file
File, class-subclasses.lisp: The typo/ntype/class-subclasses․lisp file
File, cmpeq.lisp: The typo/vm/cmpeq․lisp file
File, cmpneq.lisp: The typo/vm/cmpneq․lisp file
File, cmpx.lisp: The typo/vm/cmpx․lisp file
File, complex-part-ntype.lisp: The typo/ntype/complex-part-ntype․lisp file
File, complex.lisp: The typo/vm/complex․lisp file
File, conditions.lisp: The typo/fndb/conditions․lisp file
File, cos.lisp: The typo/vm/cos․lisp file
File, data-and-control-flow.lisp: The typo/vm/data-and-control-flow․lisp file
File, define-fnrecord.lisp: The typo/fndb/define-fnrecord․lisp file
File, differentiate.lisp: The typo/fndb/differentiate․lisp file
File, div.lisp: The typo/vm/div․lisp file
File, exp.lisp: The typo/vm/exp․lisp file
File, fndb.lisp: The typo/fndb/fndb․lisp file
File, function-lambda-lists.lisp: The typo/fndb/function-lambda-lists․lisp file
File, function-name.lisp: The typo/fndb/function-name․lisp file
File, log.lisp: The typo/vm/log․lisp file
File, macros.lisp: The typo/fndb/macros․lisp file
File, make-array-ntype.lisp: The typo/ntype/make-array-ntype․lisp file
File, make-eql-ntype.lisp: The typo/ntype/make-eql-ntype․lisp file
File, max.lisp: The typo/vm/max․lisp file
File, min.lisp: The typo/vm/min․lisp file
File, mul.lisp: The typo/vm/mul․lisp file
File, ntype-contagion.lisp: The typo/ntype/ntype-contagion․lisp file
File, ntype-intersection.lisp: The typo/ntype/ntype-intersection․lisp file
File, ntype-subtypecase.lisp: The typo/ntype/ntype-subtypecase․lisp file
File, ntype-subtypep.lisp: The typo/ntype/ntype-subtypep․lisp file
File, ntype-subtypepc2.lisp: The typo/ntype/ntype-subtypepc2․lisp file
File, ntype-union.lisp: The typo/ntype/ntype-union․lisp file
File, ntype.lisp: The typo/ntype/ntype․lisp file
File, ntype=.lisp: The typo/ntype/ntype=․lisp file
File, packages.lisp: The typo/packages․lisp file
File, predicates.lisp: The typo/vm/predicates․lisp file
File, primitive-ntype-information.lisp: The typo/ntype/primitive-ntype-information․lisp file
File, primitive-ntype.lisp: The typo/ntype/primitive-ntype․lisp file
File, signum.lisp: The typo/vm/signum․lisp file
File, sin.lisp: The typo/vm/sin․lisp file
File, specialize.lisp: The typo/fndb/specialize․lisp file
File, sqrt.lisp: The typo/vm/sqrt․lisp file
File, string.lisp: The typo/vm/string․lisp file
File, sub.lisp: The typo/vm/sub․lisp file
File, tan.lisp: The typo/vm/tan․lisp file
File, type-checks.lisp: The typo/vm/type-checks․lisp file
File, type-specifier-ntype.lisp: The typo/ntype/type-specifier-ntype․lisp file
File, types-and-classes.lisp: The typo/vm/types-and-classes․lisp file
File, typo.asd: The typo/typo․asd file
File, upgraded-array-element-ntype.lisp: The typo/ntype/upgraded-array-element-ntype․lisp file
File, upgraded-complex-part-ntype.lisp: The typo/ntype/upgraded-complex-part-ntype․lisp file
File, values-ntype.lisp: The typo/ntype/values-ntype․lisp file
File, wrap.lisp: The typo/fndb/wrap․lisp file
fndb: The typo/fndb module
fndb: Private structures
fndb.lisp: The typo/fndb/fndb․lisp file
fnrecord: Public classes
full-fnrecord: Private classes
full-values-ntype: Private structures
function-designator: Public types
function-lambda-lists.lisp: The typo/fndb/function-lambda-lists․lisp file
function-name: Public types
function-name.lisp: The typo/fndb/function-name․lisp file

G
generalized-boolean: Public types

I
invalid-arguments: Private conditions
invalid-differentiation-index: Private conditions

L
log.lisp: The typo/vm/log․lisp file

M
macros.lisp: The typo/fndb/macros․lisp file
make-array-ntype.lisp: The typo/ntype/make-array-ntype․lisp file
make-eql-ntype.lisp: The typo/ntype/make-eql-ntype․lisp file
max.lisp: The typo/vm/max․lisp file
min.lisp: The typo/vm/min․lisp file
minimal-fnrecord: Private classes
Module, fndb: The typo/fndb module
Module, ntype: The typo/ntype module
Module, vm: The typo/vm module
mul.lisp: The typo/vm/mul․lisp file

N
non-nil-symbol: Public types
non-numeric-differentiation-argument: Private conditions
ntype: The typo/ntype module
ntype: Public structures
ntype-contagion.lisp: The typo/ntype/ntype-contagion․lisp file
ntype-index: Public types
ntype-intersection.lisp: The typo/ntype/ntype-intersection․lisp file
ntype-subtypecase.lisp: The typo/ntype/ntype-subtypecase․lisp file
ntype-subtypep.lisp: The typo/ntype/ntype-subtypep․lisp file
ntype-subtypepc2.lisp: The typo/ntype/ntype-subtypepc2․lisp file
ntype-union.lisp: The typo/ntype/ntype-union․lisp file
ntype.lisp: The typo/ntype/ntype․lisp file
ntype=.lisp: The typo/ntype/ntype=․lisp file

P
Package, typo: The typo package
Package, typo.cl-stubs: The typo․cl-stubs package
Package, typo.fndb: The typo․fndb package
Package, typo.ntype: The typo․ntype package
Package, typo.vm: The typo․vm package
package-designator: Public types
packages.lisp: The typo/packages․lisp file
predicates.lisp: The typo/vm/predicates․lisp file
primitive-ntype: Public structures
primitive-ntype-information.lisp: The typo/ntype/primitive-ntype-information․lisp file
primitive-ntype.lisp: The typo/ntype/primitive-ntype․lisp file

R
radix: Public types

S
signum.lisp: The typo/vm/signum․lisp file
sin.lisp: The typo/vm/sin․lisp file
single-value-values-ntype: Private structures
specialization-error: Private conditions
specialize.lisp: The typo/fndb/specialize․lisp file
sqrt.lisp: The typo/vm/sqrt․lisp file
standardized-atomic-type-specifier: Private types
standardized-compound-type-specifier: Private types
standardized-type-specifier: Private types
string-designator: Public types
string.lisp: The typo/vm/string․lisp file
Structure, array-ntype: Private structures
Structure, eql-ntype: Private structures
Structure, fndb: Private structures
Structure, full-values-ntype: Private structures
Structure, ntype: Public structures
Structure, primitive-ntype: Public structures
Structure, single-value-values-ntype: Private structures
Structure, values-ntype: Public structures
sub.lisp: The typo/vm/sub․lisp file
System, typo: The typo system

T
tan.lisp: The typo/vm/tan․lisp file
Type, argument-index: Public types
Type, arity: Public types
Type, byte-specifier: Public types
Type, character-code: Public types
Type, character-designator: Public types
Type, complex-double-float: Public types
Type, complex-long-float: Public types
Type, complex-short-float: Public types
Type, complex-single-float: Public types
Type, extended-function-designator: Public types
Type, function-designator: Public types
Type, function-name: Public types
Type, generalized-boolean: Public types
Type, non-nil-symbol: Public types
Type, ntype-index: Public types
Type, package-designator: Public types
Type, radix: Public types
Type, standardized-atomic-type-specifier: Private types
Type, standardized-compound-type-specifier: Private types
Type, standardized-type-specifier: Private types
Type, string-designator: Public types
Type, type-specifier: Public types
Type, variable-name: Public types
Type, zero: Public types
type-checks.lisp: The typo/vm/type-checks․lisp file
type-specifier: Public types
type-specifier-ntype.lisp: The typo/ntype/type-specifier-ntype․lisp file
types-and-classes.lisp: The typo/vm/types-and-classes․lisp file
typo: The typo system
typo: The typo package
typo.asd: The typo/typo․asd file
typo.cl-stubs: The typo․cl-stubs package
typo.fndb: The typo․fndb package
typo.ntype: The typo․ntype package
typo.vm: The typo․vm package

U
upgraded-array-element-ntype.lisp: The typo/ntype/upgraded-array-element-ntype․lisp file
upgraded-complex-part-ntype.lisp: The typo/ntype/upgraded-complex-part-ntype․lisp file

V
values-ntype: Public structures
values-ntype.lisp: The typo/ntype/values-ntype․lisp file
variable-name: Public types
vm: The typo/vm module

W
wrap.lisp: The typo/fndb/wrap․lisp file
wrong-number-of-arguments: Private conditions

Z
zero: Public types