The type-r Reference Manual

This is the type-r Reference Manual, version 0.1, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Sep 15 06:59:39 2024 GMT+0.

Table of Contents


1 Introduction


2 Systems

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


2.1 type-r

Collections of accessor functions and patterns to access the elements in compound type specifier, e.g. ‘dimensions’ in ‘(array element-type dimensions)’

Author

Masataro Asai

Contact

License

LLGPL

Version

0.1

Dependencies
  • trivia (system).
  • alexandria (system).
Source

type-r.asd.

Child Components

3 Files

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


3.1 Lisp


3.1.1 type-r/type-r.asd

Source

type-r.asd.

Parent Component

type-r (system).

ASDF Systems

type-r.

Packages

type-r-asd.


3.1.2 type-r/package.lisp

Source

type-r.asd.

Parent Component

type-r (system).

Packages

type-r.


3.1.3 type-r/patterns.lisp

Dependency

package.lisp (file).

Source

type-r.asd.

Parent Component

type-r (system).

Public Interface
Internals

4 Packages

Packages are listed by definition order.


4.1 type-r-asd

Source

type-r.asd.

Use List
  • asdf/interface.
  • common-lisp.

4.2 type-r

Source

package.lisp.

Use List
  • alexandria.
  • common-lisp.
  • trivia.level2.
Public Interface
Internals

5 Definitions

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


5.1 Public Interface


5.1.1 Macros

Macro: and-type (&optional types)
Package

type-r.

Source

patterns.lisp.

Macro: array-subtype (&optional element-type dimensions)
Package

type-r.

Source

patterns.lisp.

Macro: array-type (&optional element-type dimensions)
Package

type-r.

Source

patterns.lisp.

Macro: base-string-subtype (&optional size element-type)
Package

type-r.

Source

patterns.lisp.

Macro: base-string-type (&optional size element-type)
Package

type-r.

Source

patterns.lisp.

Macro: bignum-type (&optional)
Package

type-r.

Source

patterns.lisp.

Macro: bit-type (&optional)
Package

type-r.

Source

patterns.lisp.

Macro: bit-vector-subtype (&optional size element-type)
Package

type-r.

Source

patterns.lisp.

Macro: bit-vector-type (&optional size element-type)
Package

type-r.

Source

patterns.lisp.

Macro: byte-subtype (&optional bits)
Package

type-r.

Source

patterns.lisp.

Macro: complex-type (&optional element-type)
Package

type-r.

Source

patterns.lisp.

Macro: cons-type (&optional car-type cdr-type)
Package

type-r.

Source

patterns.lisp.

Macro: double-float-type (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: eql-type (&optional object)
Package

type-r.

Source

patterns.lisp.

Macro: fixnum-subtype (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: fixnum-type (&optional)
Package

type-r.

Source

patterns.lisp.

Macro: float-subtype (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: float-type (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: function-type (&optional args-types return-type)
Package

type-r.

Source

patterns.lisp.

Macro: integer-subtype (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: integer-type (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: list-type (&optional)
Package

type-r.

Source

patterns.lisp.

Macro: long-float-type (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: member-type (&optional members)
Package

type-r.

Source

patterns.lisp.

Macro: mod-type (&optional n)
Package

type-r.

Source

patterns.lisp.

Macro: not-type (&optional type)
Package

type-r.

Source

patterns.lisp.

Macro: null-type (&optional)
Package

type-r.

Source

patterns.lisp.

Macro: number-subtype (&optional)
Package

type-r.

Source

patterns.lisp.

Macro: number-type (&optional)
Package

type-r.

Source

patterns.lisp.

Macro: or-type (&optional types)
Package

type-r.

Source

patterns.lisp.

Macro: ratio-type (&optional)
Package

type-r.

Source

patterns.lisp.

Macro: rational-subtype (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: rational-type (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: real-subtype (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: real-type (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: satisfies-type (&optional function)
Package

type-r.

Source

patterns.lisp.

Macro: sequence-subtype (&optional)
Package

type-r.

Source

patterns.lisp.

Macro: sequence-type (&optional)
Package

type-r.

Source

patterns.lisp.

Macro: short-float-type (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: signed-byte-type (&optional bits)
Package

type-r.

Source

patterns.lisp.

Macro: simple-array-subtype (&optional element-type dimensions)
Package

type-r.

Source

patterns.lisp.

Macro: simple-array-type (&optional element-type dimensions)
Package

type-r.

Source

patterns.lisp.

Macro: simple-base-string-type (&optional size element-type)
Package

type-r.

Source

patterns.lisp.

Macro: simple-bit-vector-type (&optional size element-type)
Package

type-r.

Source

patterns.lisp.

Macro: simple-string-subtype (&optional size element-type)
Package

type-r.

Source

patterns.lisp.

Macro: simple-string-type (&optional size element-type)
Package

type-r.

Source

patterns.lisp.

Macro: simple-vector-type (&optional size element-type)
Package

type-r.

Source

patterns.lisp.

Macro: single-float-type (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: string-subtype (&optional size element-type)
Package

type-r.

Source

patterns.lisp.

Macro: string-type (&optional size element-type)
Package

type-r.

Source

patterns.lisp.

Macro: unsigned-byte-type (&optional bits)
Package

type-r.

Source

patterns.lisp.

Macro: values-type (&optional primary)
Package

type-r.

Source

patterns.lisp.

Macro: vector-subtype (&optional size element-type)
Package

type-r.

Source

patterns.lisp.

Macro: vector-type (&optional size element-type)
Package

type-r.

Source

patterns.lisp.


5.1.2 Ordinary functions

Function: and-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: and-type-types (obj0)
Package

type-r.

Source

patterns.lisp.

Function: array-subtype-dimensions (obj0)
Package

type-r.

Source

patterns.lisp.

Function: array-subtype-element-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: array-subtype-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: array-type-dimensions (obj0)
Package

type-r.

Source

patterns.lisp.

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

type-r.

Source

patterns.lisp.

Function: array-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: base-string-subtype-element-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: base-string-subtype-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: base-string-subtype-size (obj0)
Package

type-r.

Source

patterns.lisp.

Function: base-string-type-element-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: base-string-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: base-string-type-size (obj0)
Package

type-r.

Source

patterns.lisp.

Function: bignum-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: bit-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: bit-vector-subtype-element-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: bit-vector-subtype-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: bit-vector-subtype-size (obj0)
Package

type-r.

Source

patterns.lisp.

Function: bit-vector-type-element-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: bit-vector-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: bit-vector-type-size (obj0)
Package

type-r.

Source

patterns.lisp.

Function: byte-subtype-bits (obj0)
Package

type-r.

Source

patterns.lisp.

Function: byte-subtype-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: complex-type-element-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: complex-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: cons-type-car-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: cons-type-cdr-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: cons-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: double-float-type-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: double-float-type-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: double-float-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: eql-type-object (obj0)
Package

type-r.

Source

patterns.lisp.

Function: eql-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: fixnum-subtype-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: fixnum-subtype-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: fixnum-subtype-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: fixnum-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: float-subtype-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: float-subtype-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: float-subtype-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: float-type-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: float-type-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: float-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: function-type-args-types (obj0)
Package

type-r.

Source

patterns.lisp.

Function: function-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: function-type-return-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: integer-subtype-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: integer-subtype-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: integer-subtype-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: integer-type-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: integer-type-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: integer-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: list-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: long-float-type-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: long-float-type-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: long-float-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: member-type-members (obj0)
Package

type-r.

Source

patterns.lisp.

Function: member-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: mod-type-n (obj0)
Package

type-r.

Source

patterns.lisp.

Function: mod-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: not-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: not-type-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: null-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: number-subtype-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: number-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: or-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: or-type-types (obj0)
Package

type-r.

Source

patterns.lisp.

Function: ratio-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: rational-subtype-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: rational-subtype-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: rational-subtype-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: rational-type-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: rational-type-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: rational-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: real-subtype-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: real-subtype-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: real-subtype-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: real-type-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: real-type-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: real-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: satisfies-type-function (obj0)
Package

type-r.

Source

patterns.lisp.

Function: satisfies-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: sequence-subtype-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: sequence-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: short-float-type-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: short-float-type-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: short-float-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: signed-byte-type-bits (obj0)
Package

type-r.

Source

patterns.lisp.

Function: signed-byte-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-array-subtype-dimensions (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-array-subtype-element-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-array-subtype-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-array-type-dimensions (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-array-type-element-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-array-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-base-string-type-element-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-base-string-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-base-string-type-size (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-bit-vector-type-element-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-bit-vector-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-bit-vector-type-size (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-string-subtype-element-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-string-subtype-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-string-subtype-size (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-string-type-element-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-string-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-string-type-size (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-vector-type-element-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-vector-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: simple-vector-type-size (obj0)
Package

type-r.

Source

patterns.lisp.

Function: single-float-type-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: single-float-type-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: single-float-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: string-subtype-element-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: string-subtype-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: string-subtype-size (obj0)
Package

type-r.

Source

patterns.lisp.

Function: string-type-element-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: string-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: string-type-size (obj0)
Package

type-r.

Source

patterns.lisp.

Function: unsigned-byte-type-bits (obj0)
Package

type-r.

Source

patterns.lisp.

Function: unsigned-byte-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: values-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: values-type-primary (obj0)
Package

type-r.

Source

patterns.lisp.

Function: vector-subtype-element-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: vector-subtype-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: vector-subtype-size (obj0)
Package

type-r.

Source

patterns.lisp.

Function: vector-type-element-type (obj0)
Package

type-r.

Source

patterns.lisp.

Function: vector-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: vector-type-size (obj0)
Package

type-r.

Source

patterns.lisp.


5.2 Internals


5.2.1 Macros

Macro: %bignum-type (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: %bit-type (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: %fixnum-type (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: %mod-type (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: %ratio-type (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: %signed-byte-type (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: %unsigned-byte-type (&optional low high)
Package

type-r.

Source

patterns.lisp.

Macro: defpattern-with-accessors (name args &body body)

defpattern-with-accessor macro provides:
1. it is a simple wrapper around trivia:defpattern.
2. it defines accessors like function-type-return-type automatically, based on the names of the arguments.
3. it defines predicates like function-type-p automatically.
4. using these predicates, implementation of form-typep can be simplified.

several assumptions: only &rest keywords can be recognized.

Package

type-r.

Source

patterns.lisp.


5.2.2 Ordinary functions

Function: %bignum-type-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %bignum-type-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %bignum-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %bit-type-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %bit-type-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %bit-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %fixnum-type-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %fixnum-type-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %fixnum-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %mod-type-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %mod-type-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %mod-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %ratio-type-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %ratio-type-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %ratio-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %signed-byte-type-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %signed-byte-type-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %signed-byte-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %unsigned-byte-type-high (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %unsigned-byte-type-low (obj0)
Package

type-r.

Source

patterns.lisp.

Function: %unsigned-byte-type-p (obj0)
Package

type-r.

Source

patterns.lisp.

Function: make-atomic-type-matcher (name arglist)
Package

type-r.

Source

patterns.lisp.

Function: make-binder (pair)
Package

type-r.

Source

patterns.lisp.

Function: make-compound-type-matcher (name specified unspecified)
Package

type-r.

Source

patterns.lisp.

Function: make-types-matcher (name arglist &optional fixed)

Generates a matcher for variations of compound types, e.g.
vector, (vector), (vector ’fixnum), (vector ’fixnum 2).

name : the symbol denoting the atomic type specifier e.g. vector
arglist : (variable default)* — follows the syntax of &optional arguments of types.
fixed : (variable default)* — specifies the types that can be inferred from the array type.

Package

type-r.

Source

patterns.lisp.

Function: wildcards-but-nth (length n sym)
Package

type-r.

Source

patterns.lisp.

Function: wrap-wildcards (args)
Package

type-r.

Source

patterns.lisp.


Appendix A Indexes


A.1 Concepts


A.2 Functions

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

%
%bignum-type: Private macros
%bignum-type-high: Private ordinary functions
%bignum-type-low: Private ordinary functions
%bignum-type-p: Private ordinary functions
%bit-type: Private macros
%bit-type-high: Private ordinary functions
%bit-type-low: Private ordinary functions
%bit-type-p: Private ordinary functions
%fixnum-type: Private macros
%fixnum-type-high: Private ordinary functions
%fixnum-type-low: Private ordinary functions
%fixnum-type-p: Private ordinary functions
%mod-type: Private macros
%mod-type-high: Private ordinary functions
%mod-type-low: Private ordinary functions
%mod-type-p: Private ordinary functions
%ratio-type: Private macros
%ratio-type-high: Private ordinary functions
%ratio-type-low: Private ordinary functions
%ratio-type-p: Private ordinary functions
%signed-byte-type: Private macros
%signed-byte-type-high: Private ordinary functions
%signed-byte-type-low: Private ordinary functions
%signed-byte-type-p: Private ordinary functions
%unsigned-byte-type: Private macros
%unsigned-byte-type-high: Private ordinary functions
%unsigned-byte-type-low: Private ordinary functions
%unsigned-byte-type-p: Private ordinary functions

A
and-type: Public macros
and-type-p: Public ordinary functions
and-type-types: Public ordinary functions
array-subtype: Public macros
array-subtype-dimensions: Public ordinary functions
array-subtype-element-type: Public ordinary functions
array-subtype-p: Public ordinary functions
array-type: Public macros
array-type-dimensions: Public ordinary functions
array-type-element-type: Public ordinary functions
array-type-p: Public ordinary functions

B
base-string-subtype: Public macros
base-string-subtype-element-type: Public ordinary functions
base-string-subtype-p: Public ordinary functions
base-string-subtype-size: Public ordinary functions
base-string-type: Public macros
base-string-type-element-type: Public ordinary functions
base-string-type-p: Public ordinary functions
base-string-type-size: Public ordinary functions
bignum-type: Public macros
bignum-type-p: Public ordinary functions
bit-type: Public macros
bit-type-p: Public ordinary functions
bit-vector-subtype: Public macros
bit-vector-subtype-element-type: Public ordinary functions
bit-vector-subtype-p: Public ordinary functions
bit-vector-subtype-size: Public ordinary functions
bit-vector-type: Public macros
bit-vector-type-element-type: Public ordinary functions
bit-vector-type-p: Public ordinary functions
bit-vector-type-size: Public ordinary functions
byte-subtype: Public macros
byte-subtype-bits: Public ordinary functions
byte-subtype-p: Public ordinary functions

C
complex-type: Public macros
complex-type-element-type: Public ordinary functions
complex-type-p: Public ordinary functions
cons-type: Public macros
cons-type-car-type: Public ordinary functions
cons-type-cdr-type: Public ordinary functions
cons-type-p: Public ordinary functions

D
defpattern-with-accessors: Private macros
double-float-type: Public macros
double-float-type-high: Public ordinary functions
double-float-type-low: Public ordinary functions
double-float-type-p: Public ordinary functions

E
eql-type: Public macros
eql-type-object: Public ordinary functions
eql-type-p: Public ordinary functions

F
fixnum-subtype: Public macros
fixnum-subtype-high: Public ordinary functions
fixnum-subtype-low: Public ordinary functions
fixnum-subtype-p: Public ordinary functions
fixnum-type: Public macros
fixnum-type-p: Public ordinary functions
float-subtype: Public macros
float-subtype-high: Public ordinary functions
float-subtype-low: Public ordinary functions
float-subtype-p: Public ordinary functions
float-type: Public macros
float-type-high: Public ordinary functions
float-type-low: Public ordinary functions
float-type-p: Public ordinary functions
Function, %bignum-type-high: Private ordinary functions
Function, %bignum-type-low: Private ordinary functions
Function, %bignum-type-p: Private ordinary functions
Function, %bit-type-high: Private ordinary functions
Function, %bit-type-low: Private ordinary functions
Function, %bit-type-p: Private ordinary functions
Function, %fixnum-type-high: Private ordinary functions
Function, %fixnum-type-low: Private ordinary functions
Function, %fixnum-type-p: Private ordinary functions
Function, %mod-type-high: Private ordinary functions
Function, %mod-type-low: Private ordinary functions
Function, %mod-type-p: Private ordinary functions
Function, %ratio-type-high: Private ordinary functions
Function, %ratio-type-low: Private ordinary functions
Function, %ratio-type-p: Private ordinary functions
Function, %signed-byte-type-high: Private ordinary functions
Function, %signed-byte-type-low: Private ordinary functions
Function, %signed-byte-type-p: Private ordinary functions
Function, %unsigned-byte-type-high: Private ordinary functions
Function, %unsigned-byte-type-low: Private ordinary functions
Function, %unsigned-byte-type-p: Private ordinary functions
Function, and-type-p: Public ordinary functions
Function, and-type-types: Public ordinary functions
Function, array-subtype-dimensions: Public ordinary functions
Function, array-subtype-element-type: Public ordinary functions
Function, array-subtype-p: Public ordinary functions
Function, array-type-dimensions: Public ordinary functions
Function, array-type-element-type: Public ordinary functions
Function, array-type-p: Public ordinary functions
Function, base-string-subtype-element-type: Public ordinary functions
Function, base-string-subtype-p: Public ordinary functions
Function, base-string-subtype-size: Public ordinary functions
Function, base-string-type-element-type: Public ordinary functions
Function, base-string-type-p: Public ordinary functions
Function, base-string-type-size: Public ordinary functions
Function, bignum-type-p: Public ordinary functions
Function, bit-type-p: Public ordinary functions
Function, bit-vector-subtype-element-type: Public ordinary functions
Function, bit-vector-subtype-p: Public ordinary functions
Function, bit-vector-subtype-size: Public ordinary functions
Function, bit-vector-type-element-type: Public ordinary functions
Function, bit-vector-type-p: Public ordinary functions
Function, bit-vector-type-size: Public ordinary functions
Function, byte-subtype-bits: Public ordinary functions
Function, byte-subtype-p: Public ordinary functions
Function, complex-type-element-type: Public ordinary functions
Function, complex-type-p: Public ordinary functions
Function, cons-type-car-type: Public ordinary functions
Function, cons-type-cdr-type: Public ordinary functions
Function, cons-type-p: Public ordinary functions
Function, double-float-type-high: Public ordinary functions
Function, double-float-type-low: Public ordinary functions
Function, double-float-type-p: Public ordinary functions
Function, eql-type-object: Public ordinary functions
Function, eql-type-p: Public ordinary functions
Function, fixnum-subtype-high: Public ordinary functions
Function, fixnum-subtype-low: Public ordinary functions
Function, fixnum-subtype-p: Public ordinary functions
Function, fixnum-type-p: Public ordinary functions
Function, float-subtype-high: Public ordinary functions
Function, float-subtype-low: Public ordinary functions
Function, float-subtype-p: Public ordinary functions
Function, float-type-high: Public ordinary functions
Function, float-type-low: Public ordinary functions
Function, float-type-p: Public ordinary functions
Function, function-type-args-types: Public ordinary functions
Function, function-type-p: Public ordinary functions
Function, function-type-return-type: Public ordinary functions
Function, integer-subtype-high: Public ordinary functions
Function, integer-subtype-low: Public ordinary functions
Function, integer-subtype-p: Public ordinary functions
Function, integer-type-high: Public ordinary functions
Function, integer-type-low: Public ordinary functions
Function, integer-type-p: Public ordinary functions
Function, list-type-p: Public ordinary functions
Function, long-float-type-high: Public ordinary functions
Function, long-float-type-low: Public ordinary functions
Function, long-float-type-p: Public ordinary functions
Function, make-atomic-type-matcher: Private ordinary functions
Function, make-binder: Private ordinary functions
Function, make-compound-type-matcher: Private ordinary functions
Function, make-types-matcher: Private ordinary functions
Function, member-type-members: Public ordinary functions
Function, member-type-p: Public ordinary functions
Function, mod-type-n: Public ordinary functions
Function, mod-type-p: Public ordinary functions
Function, not-type-p: Public ordinary functions
Function, not-type-type: Public ordinary functions
Function, null-type-p: Public ordinary functions
Function, number-subtype-p: Public ordinary functions
Function, number-type-p: Public ordinary functions
Function, or-type-p: Public ordinary functions
Function, or-type-types: Public ordinary functions
Function, ratio-type-p: Public ordinary functions
Function, rational-subtype-high: Public ordinary functions
Function, rational-subtype-low: Public ordinary functions
Function, rational-subtype-p: Public ordinary functions
Function, rational-type-high: Public ordinary functions
Function, rational-type-low: Public ordinary functions
Function, rational-type-p: Public ordinary functions
Function, real-subtype-high: Public ordinary functions
Function, real-subtype-low: Public ordinary functions
Function, real-subtype-p: Public ordinary functions
Function, real-type-high: Public ordinary functions
Function, real-type-low: Public ordinary functions
Function, real-type-p: Public ordinary functions
Function, satisfies-type-function: Public ordinary functions
Function, satisfies-type-p: Public ordinary functions
Function, sequence-subtype-p: Public ordinary functions
Function, sequence-type-p: Public ordinary functions
Function, short-float-type-high: Public ordinary functions
Function, short-float-type-low: Public ordinary functions
Function, short-float-type-p: Public ordinary functions
Function, signed-byte-type-bits: Public ordinary functions
Function, signed-byte-type-p: Public ordinary functions
Function, simple-array-subtype-dimensions: Public ordinary functions
Function, simple-array-subtype-element-type: Public ordinary functions
Function, simple-array-subtype-p: Public ordinary functions
Function, simple-array-type-dimensions: Public ordinary functions
Function, simple-array-type-element-type: Public ordinary functions
Function, simple-array-type-p: Public ordinary functions
Function, simple-base-string-type-element-type: Public ordinary functions
Function, simple-base-string-type-p: Public ordinary functions
Function, simple-base-string-type-size: Public ordinary functions
Function, simple-bit-vector-type-element-type: Public ordinary functions
Function, simple-bit-vector-type-p: Public ordinary functions
Function, simple-bit-vector-type-size: Public ordinary functions
Function, simple-string-subtype-element-type: Public ordinary functions
Function, simple-string-subtype-p: Public ordinary functions
Function, simple-string-subtype-size: Public ordinary functions
Function, simple-string-type-element-type: Public ordinary functions
Function, simple-string-type-p: Public ordinary functions
Function, simple-string-type-size: Public ordinary functions
Function, simple-vector-type-element-type: Public ordinary functions
Function, simple-vector-type-p: Public ordinary functions
Function, simple-vector-type-size: Public ordinary functions
Function, single-float-type-high: Public ordinary functions
Function, single-float-type-low: Public ordinary functions
Function, single-float-type-p: Public ordinary functions
Function, string-subtype-element-type: Public ordinary functions
Function, string-subtype-p: Public ordinary functions
Function, string-subtype-size: Public ordinary functions
Function, string-type-element-type: Public ordinary functions
Function, string-type-p: Public ordinary functions
Function, string-type-size: Public ordinary functions
Function, unsigned-byte-type-bits: Public ordinary functions
Function, unsigned-byte-type-p: Public ordinary functions
Function, values-type-p: Public ordinary functions
Function, values-type-primary: Public ordinary functions
Function, vector-subtype-element-type: Public ordinary functions
Function, vector-subtype-p: Public ordinary functions
Function, vector-subtype-size: Public ordinary functions
Function, vector-type-element-type: Public ordinary functions
Function, vector-type-p: Public ordinary functions
Function, vector-type-size: Public ordinary functions
Function, wildcards-but-nth: Private ordinary functions
Function, wrap-wildcards: Private ordinary functions
function-type: Public macros
function-type-args-types: Public ordinary functions
function-type-p: Public ordinary functions
function-type-return-type: Public ordinary functions

I
integer-subtype: Public macros
integer-subtype-high: Public ordinary functions
integer-subtype-low: Public ordinary functions
integer-subtype-p: Public ordinary functions
integer-type: Public macros
integer-type-high: Public ordinary functions
integer-type-low: Public ordinary functions
integer-type-p: Public ordinary functions

L
list-type: Public macros
list-type-p: Public ordinary functions
long-float-type: Public macros
long-float-type-high: Public ordinary functions
long-float-type-low: Public ordinary functions
long-float-type-p: Public ordinary functions

M
Macro, %bignum-type: Private macros
Macro, %bit-type: Private macros
Macro, %fixnum-type: Private macros
Macro, %mod-type: Private macros
Macro, %ratio-type: Private macros
Macro, %signed-byte-type: Private macros
Macro, %unsigned-byte-type: Private macros
Macro, and-type: Public macros
Macro, array-subtype: Public macros
Macro, array-type: Public macros
Macro, base-string-subtype: Public macros
Macro, base-string-type: Public macros
Macro, bignum-type: Public macros
Macro, bit-type: Public macros
Macro, bit-vector-subtype: Public macros
Macro, bit-vector-type: Public macros
Macro, byte-subtype: Public macros
Macro, complex-type: Public macros
Macro, cons-type: Public macros
Macro, defpattern-with-accessors: Private macros
Macro, double-float-type: Public macros
Macro, eql-type: Public macros
Macro, fixnum-subtype: Public macros
Macro, fixnum-type: Public macros
Macro, float-subtype: Public macros
Macro, float-type: Public macros
Macro, function-type: Public macros
Macro, integer-subtype: Public macros
Macro, integer-type: Public macros
Macro, list-type: Public macros
Macro, long-float-type: Public macros
Macro, member-type: Public macros
Macro, mod-type: Public macros
Macro, not-type: Public macros
Macro, null-type: Public macros
Macro, number-subtype: Public macros
Macro, number-type: Public macros
Macro, or-type: Public macros
Macro, ratio-type: Public macros
Macro, rational-subtype: Public macros
Macro, rational-type: Public macros
Macro, real-subtype: Public macros
Macro, real-type: Public macros
Macro, satisfies-type: Public macros
Macro, sequence-subtype: Public macros
Macro, sequence-type: Public macros
Macro, short-float-type: Public macros
Macro, signed-byte-type: Public macros
Macro, simple-array-subtype: Public macros
Macro, simple-array-type: Public macros
Macro, simple-base-string-type: Public macros
Macro, simple-bit-vector-type: Public macros
Macro, simple-string-subtype: Public macros
Macro, simple-string-type: Public macros
Macro, simple-vector-type: Public macros
Macro, single-float-type: Public macros
Macro, string-subtype: Public macros
Macro, string-type: Public macros
Macro, unsigned-byte-type: Public macros
Macro, values-type: Public macros
Macro, vector-subtype: Public macros
Macro, vector-type: Public macros
make-atomic-type-matcher: Private ordinary functions
make-binder: Private ordinary functions
make-compound-type-matcher: Private ordinary functions
make-types-matcher: Private ordinary functions
member-type: Public macros
member-type-members: Public ordinary functions
member-type-p: Public ordinary functions
mod-type: Public macros
mod-type-n: Public ordinary functions
mod-type-p: Public ordinary functions

N
not-type: Public macros
not-type-p: Public ordinary functions
not-type-type: Public ordinary functions
null-type: Public macros
null-type-p: Public ordinary functions
number-subtype: Public macros
number-subtype-p: Public ordinary functions
number-type: Public macros
number-type-p: Public ordinary functions

O
or-type: Public macros
or-type-p: Public ordinary functions
or-type-types: Public ordinary functions

R
ratio-type: Public macros
ratio-type-p: Public ordinary functions
rational-subtype: Public macros
rational-subtype-high: Public ordinary functions
rational-subtype-low: Public ordinary functions
rational-subtype-p: Public ordinary functions
rational-type: Public macros
rational-type-high: Public ordinary functions
rational-type-low: Public ordinary functions
rational-type-p: Public ordinary functions
real-subtype: Public macros
real-subtype-high: Public ordinary functions
real-subtype-low: Public ordinary functions
real-subtype-p: Public ordinary functions
real-type: Public macros
real-type-high: Public ordinary functions
real-type-low: Public ordinary functions
real-type-p: Public ordinary functions

S
satisfies-type: Public macros
satisfies-type-function: Public ordinary functions
satisfies-type-p: Public ordinary functions
sequence-subtype: Public macros
sequence-subtype-p: Public ordinary functions
sequence-type: Public macros
sequence-type-p: Public ordinary functions
short-float-type: Public macros
short-float-type-high: Public ordinary functions
short-float-type-low: Public ordinary functions
short-float-type-p: Public ordinary functions
signed-byte-type: Public macros
signed-byte-type-bits: Public ordinary functions
signed-byte-type-p: Public ordinary functions
simple-array-subtype: Public macros
simple-array-subtype-dimensions: Public ordinary functions
simple-array-subtype-element-type: Public ordinary functions
simple-array-subtype-p: Public ordinary functions
simple-array-type: Public macros
simple-array-type-dimensions: Public ordinary functions
simple-array-type-element-type: Public ordinary functions
simple-array-type-p: Public ordinary functions
simple-base-string-type: Public macros
simple-base-string-type-element-type: Public ordinary functions
simple-base-string-type-p: Public ordinary functions
simple-base-string-type-size: Public ordinary functions
simple-bit-vector-type: Public macros
simple-bit-vector-type-element-type: Public ordinary functions
simple-bit-vector-type-p: Public ordinary functions
simple-bit-vector-type-size: Public ordinary functions
simple-string-subtype: Public macros
simple-string-subtype-element-type: Public ordinary functions
simple-string-subtype-p: Public ordinary functions
simple-string-subtype-size: Public ordinary functions
simple-string-type: Public macros
simple-string-type-element-type: Public ordinary functions
simple-string-type-p: Public ordinary functions
simple-string-type-size: Public ordinary functions
simple-vector-type: Public macros
simple-vector-type-element-type: Public ordinary functions
simple-vector-type-p: Public ordinary functions
simple-vector-type-size: Public ordinary functions
single-float-type: Public macros
single-float-type-high: Public ordinary functions
single-float-type-low: Public ordinary functions
single-float-type-p: Public ordinary functions
string-subtype: Public macros
string-subtype-element-type: Public ordinary functions
string-subtype-p: Public ordinary functions
string-subtype-size: Public ordinary functions
string-type: Public macros
string-type-element-type: Public ordinary functions
string-type-p: Public ordinary functions
string-type-size: Public ordinary functions

U
unsigned-byte-type: Public macros
unsigned-byte-type-bits: Public ordinary functions
unsigned-byte-type-p: Public ordinary functions

V
values-type: Public macros
values-type-p: Public ordinary functions
values-type-primary: Public ordinary functions
vector-subtype: Public macros
vector-subtype-element-type: Public ordinary functions
vector-subtype-p: Public ordinary functions
vector-subtype-size: Public ordinary functions
vector-type: Public macros
vector-type-element-type: Public ordinary functions
vector-type-p: Public ordinary functions
vector-type-size: Public ordinary functions

W
wildcards-but-nth: Private ordinary functions
wrap-wildcards: Private ordinary functions


A.3 Variables