The typo Reference Manual

This is the typo Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sat Dec 03 23:36:06 2022 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).

Internals

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

make-load-form (method).

Internals

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

Source

typo.asd.

Parent Component

ntype (module).

Public Interface

make-load-form (method).

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.21 typo/ntype/array-element-ntype.lisp

Source

typo.asd.

Parent Component

ntype (module).

Public Interface
Internals

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


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

Source

typo.asd.

Parent Component

ntype (module).

Public Interface
Internals

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


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

Source

typo.asd.

Parent Component

fndb (module).

Public Interface
Internals

function-lambda-list (function).


4.1.24 typo/fndb/conditions.lisp

Source

typo.asd.

Parent Component

fndb (module).

Internals

4.1.25 typo/fndb/wrap.lisp

Source

typo.asd.

Parent Component

fndb (module).

Public Interface
Internals

4.1.26 typo/fndb/fndb.lisp

Source

typo.asd.

Parent Component

fndb (module).

Public Interface
Internals

4.1.27 typo/fndb/define-fnrecord.lisp

Source

typo.asd.

Parent Component

fndb (module).

Public Interface

define-fnrecord (macro).


4.1.28 typo/fndb/macros.lisp

Source

typo.asd.

Parent Component

fndb (module).

Public Interface
Internals

4.1.29 typo/fndb/specialize.lisp

Source

typo.asd.

Parent Component

fndb (module).

Public Interface

4.1.30 typo/fndb/differentiate.lisp

Source

typo.asd.

Parent Component

fndb (module).

Public Interface

differentiate (function).

Internals

diff (function).


4.1.31 typo/vm/auxiliary.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface
Internals

4.1.32 typo/vm/predicates.lisp

Source

typo.asd.

Parent Component

vm (module).

Internals

define-predicate-fnrecord (macro).


4.1.33 typo/vm/type-checks.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface
Internals

define-type-check (macro).


4.1.34 typo/vm/casts.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

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

Source

typo.asd.

Parent Component

vm (module).


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

Source

typo.asd.

Parent Component

vm (module).


4.1.37 typo/vm/abs.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface
Internals

integer-abs (function).


4.1.38 typo/vm/add.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.39 typo/vm/array.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.40 typo/vm/cmpeq.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.41 typo/vm/cmpneq.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface
Internals

map-unique-pairs (function).


4.1.42 typo/vm/cmpx.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface
Internals

cmpx (macro).


4.1.43 typo/vm/complex.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.44 typo/vm/exp.lisp

Source

typo.asd.

Parent Component

vm (module).

Internals

4.1.45 typo/vm/log.lisp

Source

typo.asd.

Parent Component

vm (module).

Internals

4.1.46 typo/vm/cos.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.47 typo/vm/div.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.48 typo/vm/max.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.49 typo/vm/min.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.50 typo/vm/mul.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.51 typo/vm/signum.lisp

Source

typo.asd.

Parent Component

vm (module).


4.1.52 typo/vm/sin.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.53 typo/vm/sub.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.54 typo/vm/sqrt.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

4.1.55 typo/vm/tan.lisp

Source

typo.asd.

Parent Component

vm (module).

Public Interface

5 Packages

Packages are listed by definition order.


5.1 typo.fndb

Source

packages.lisp.

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

5.2 typo.ntype

Source

packages.lisp.

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

5.3 typo.vm

Source

packages.lisp.

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

5.4 typo

Source

packages.lisp.

Use List

closer-common-lisp.

Used By List
Public Interface

6 Definitions

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


6.1 Public Interface


6.1.1 Constants

Constant: +double-float-bits+
Package

typo.

Source

bits.lisp.

Constant: +long-float-bits+
Package

typo.

Source

bits.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.


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.


6.1.4 Ordinary functions

Function: and-fn (&rest args)
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: 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-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-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: find-fnrecord (extended-function-designator &optional errorp)
Package

typo.

Source

fndb.lisp.

Function: (setf 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-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-from-double-float (double-float0)
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-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: 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: 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-from-double-float (double-float0)
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-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-from-double-float (double-float0)
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-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: 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-float208 double-float209)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-double-float<= (double-float210 double-float211)
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-float200 double-float201)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-double-float>= (double-float210 double-float211)
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-float272 long-float273)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-long-float<= (long-float279 long-float280)
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-float264 long-float265)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-long-float>= (long-float279 long-float280)
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-float80 short-float81)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-short-float<= (short-float72 short-float73)
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-float72 short-float73)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-short-float>= (short-float72 short-float73)
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-float144 single-float145)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-single-float<= (single-float141 single-float142)
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-float136 single-float137)
Package

typo.

Source

cmpx.lisp.

Function: two-arg-single-float>= (single-float141 single-float142)
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: 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-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.ntype::primitive-ntype t>)) (ntype2 array-ntype))
Source

ntype-intersection.lisp.

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

ntype-intersection.lisp.

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

ntype-intersection.lisp.

Method: ntype-intersection ((ntype1 array-ntype) (ntype2 (eql #<typo.ntype::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.ntype::primitive-ntype null>)))
Source

ntype-intersection.lisp.

Method: ntype-intersection ((ntype1 (eql #<typo.ntype::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-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.ntype::primitive-ntype array>)) (ntype2 array-ntype))
Source

ntype-subtypep.lisp.

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

ntype-subtypep.lisp.

Method: ntype-subtypep ((ntype1 (eql #<typo.ntype::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 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.ntype::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.ntype::primitive-ntype array>)))
Source

ntype-union.lisp.

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

ntype-union.lisp.

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

ntype-union.lisp.

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

ntype-union.lisp.

Method: ntype-union ((ntype1 (eql #<typo.ntype::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.


6.1.6 Standalone methods

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

make-array-ntype.lisp.

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

make-eql-ntype.lisp.

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

primitive-ntype.lisp.

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

fndb.lisp.

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

ntype.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::ntype-index

Initform

(alexandria:required-argument :index)

Readers

ntype-index.

Writers

This slot is read-only.


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: 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: +primitive-ntype-limit+
Package

typo.ntype.

Source

primitive-ntype.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-differentiator (function-name lambda-list index &body body)
Package

typo.fndb.

Source

macros.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-specializer (function-name lambda-list &body body)
Package

typo.fndb.

Source

macros.lisp.

Macro: define-type-check (type)
Package

typo.vm.

Source

type-checks.lisp.

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

typo.ntype.

Source

type-specifier-ntype.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-primitive-ntype (&key index type-specifier bits class)
Package

typo.ntype.

Source

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: choose (boolean a b)
Package

typo.vm.

Source

auxiliary.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: diff (function arguments n)
Package

typo.fndb.

Source

differentiate.lisp.

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

typo.vm.

Source

exp.lisp.

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

typo.vm.

Source

log.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.

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: long-float-exp (long-float0)
Package

typo.vm.

Source

exp.lisp.

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

typo.vm.

Source

log.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

cmpneq.lisp.

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

typo.ntype.

Source

ntype-contagion.lisp.

Reader: ntype-index (instance)
Package

typo.ntype.

Source

ntype.lisp.

Target Slot

index.

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-from-index (index)
Package

typo.ntype.

Source

primitive-ntype.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-p (object)
Package

typo.ntype.

Source

ntype.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.

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

typo.vm.

Source

exp.lisp.

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

typo.vm.

Source

log.lisp.

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

typo.vm.

Source

exp.lisp.

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

typo.vm.

Source

log.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 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.ntype.

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


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: primitive-ntype
Package

typo.ntype.

Source

ntype.lisp.

Direct superclasses

ntype.

Direct methods
Direct slots
Slot: type-specifier
Package

typo.

Type

typo:type-specifier

Initform

(alexandria:required-argument :type-specifier)

Readers

primitive-ntype-type-specifier.

Writers

This slot is read-only.

Slot: bits
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).


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

boolean

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: ntype-index ()
Package

typo.ntype.

Source

primitive-ntype-information.lisp.

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   W  
Index Entry  Section

%
%abort-specialization: Private ordinary functions
%make-array-ntype: Private ordinary functions
%make-eql-ntype: Private ordinary functions
%make-primitive-ntype: Private ordinary functions

(
(setf double-float-row-major-aref): Public ordinary functions
(setf find-fnrecord): 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: Private 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
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

D
define-array-element-ntype-methods: Private macros
define-complex-part-ntype-methods: Private macros
define-differentiator: 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-specializer: Private macros
define-type-check: Private macros
diff: Private ordinary functions
differentiate: Public ordinary functions
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: Private 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: Private 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-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
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-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
Function, %abort-specialization: Private ordinary functions
Function, %make-array-ntype: Private ordinary functions
Function, %make-eql-ntype: Private ordinary functions
Function, %make-primitive-ntype: Private ordinary functions
Function, (setf double-float-row-major-aref): Public ordinary functions
Function, (setf find-fnrecord): 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: Private 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, 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: Private 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: Private 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-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, 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, function-arity: Public ordinary functions
Function, function-differentiator: Public ordinary functions
Function, function-lambda-list: Private 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: Private ordinary functions
Function, long-float-from-double-float: 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: Private 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, map-unique-pairs: Private ordinary functions
Function, ntype-contagion/slow: Private ordinary functions
Function, ntype-index: Private 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: Private ordinary functions
Function, primitive-ntype-index: Private ordinary functions
Function, primitive-ntype-intersection: Private ordinary functions
Function, primitive-ntype-p: Private 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, 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: Private ordinary functions
Function, short-float-from-double-float: 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: Private 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: Private ordinary functions
Function, single-float-from-double-float: 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: Private 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, 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, two-arg*: Private ordinary functions
Function, two-arg+: Private ordinary functions
Function, two-arg-: Private 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, 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-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-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: Private 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
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: Private ordinary functions
long-float-from-double-float: Public ordinary functions
long-float-from-short-float: Public ordinary functions
long-float-from-single-float: Public ordinary functions
long-float-ln: Private 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-differentiator: 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-specializer: Private macros
Macro, define-type-check: Private macros
Macro, ntype-subtypecase: Public macros
Macro, search-interval-ntype: 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
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-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: Private generic functions
Method, ntype-primitive-ntype: Private generic functions
Method, ntype-primitive-ntype: Private generic functions
Method, ntype-primitive-ntype: Private 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-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, 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

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: Private 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: Private generic functions
ntype-primitive-ntype: Private generic functions
ntype-primitive-ntype: Private generic functions
ntype-primitive-ntype: Private generic functions
ntype-primitive-ntype: Private 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-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: Private ordinary functions
primitive-ntype-index: Private ordinary functions
primitive-ntype-intersection: Private ordinary functions
primitive-ntype-p: Private 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
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
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: Private ordinary functions
short-float-from-double-float: Public ordinary functions
short-float-from-long-float: Public ordinary functions
short-float-from-single-float: Public ordinary functions
short-float-ln: Private 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: Private ordinary functions
single-float-from-double-float: Public ordinary functions
single-float-from-long-float: Public ordinary functions
single-float-from-short-float: Public ordinary functions
single-float-ln: Private 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
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

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
two-arg*: Private ordinary functions
two-arg+: Private ordinary functions
two-arg-: Private 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