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

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 Tue Jul 15 06:57:49 2025 GMT+0.

Next: Systems, Previous: The type-r Reference Manual, Up: The type-r Reference Manual [Contents][Index]

1 Introduction

Next: Files, Previous: Introduction, Up: The type-r Reference Manual [Contents][Index]

2 Systems

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

type-r

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

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

guicho2.71828@gmail.com

License

LLGPL

Version

0.1

Dependencies

trivia (system).
alexandria (system).

Source

type-r.asd.

Child Components

package.lisp (file).
patterns.lisp (file).

Next: Packages, Previous: Systems, Up: The type-r Reference Manual [Contents][Index]

3 Files

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

Lisp

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

Next: type-r/package.lisp, Previous: Lisp, Up: Lisp [Contents][Index]

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.

Next: type-r/patterns.lisp, Previous: type-r/type-r.asd, Up: Lisp [Contents][Index]

3.1.2 `type-r/package.lisp`

Source: type-r.asd.
Parent Component: type-r (system).
Packages: type-r.

Previous: type-r/package.lisp, Up: Lisp [Contents][Index]

3.1.3 `type-r/patterns.lisp`

Dependency

package.lisp (file).

Source

type-r.asd.

Parent Component

type-r (system).

Public Interface

and-type (macro).
and-type-p (function).
and-type-types (function).
array-subtype (macro).
array-subtype-dimensions (function).
array-subtype-element-type (function).
array-subtype-p (function).
array-type (macro).
array-type-dimensions (function).
array-type-element-type (function).
array-type-p (function).
base-string-subtype (macro).
base-string-subtype-element-type (function).
base-string-subtype-p (function).
base-string-subtype-size (function).
base-string-type (macro).
base-string-type-element-type (function).
base-string-type-p (function).
base-string-type-size (function).
bignum-type (macro).
bignum-type-p (function).
bit-type (macro).
bit-type-p (function).
bit-vector-subtype (macro).
bit-vector-subtype-element-type (function).
bit-vector-subtype-p (function).
bit-vector-subtype-size (function).
bit-vector-type (macro).
bit-vector-type-element-type (function).
bit-vector-type-p (function).
bit-vector-type-size (function).
byte-subtype (macro).
byte-subtype-bits (function).
byte-subtype-p (function).
complex-type (macro).
complex-type-element-type (function).
complex-type-p (function).
cons-type (macro).
cons-type-car-type (function).
cons-type-cdr-type (function).
cons-type-p (function).
double-float-type (macro).
double-float-type-high (function).
double-float-type-low (function).
double-float-type-p (function).
eql-type (macro).
eql-type-object (function).
eql-type-p (function).
fixnum-subtype (macro).
fixnum-subtype-high (function).
fixnum-subtype-low (function).
fixnum-subtype-p (function).
fixnum-type (macro).
fixnum-type-p (function).
float-subtype (macro).
float-subtype-high (function).
float-subtype-low (function).
float-subtype-p (function).
float-type (macro).
float-type-high (function).
float-type-low (function).
float-type-p (function).
function-type (macro).
function-type-args-types (function).
function-type-p (function).
function-type-return-type (function).
integer-subtype (macro).
integer-subtype-high (function).
integer-subtype-low (function).
integer-subtype-p (function).
integer-type (macro).
integer-type-high (function).
integer-type-low (function).
integer-type-p (function).
list-type (macro).
list-type-p (function).
long-float-type (macro).
long-float-type-high (function).
long-float-type-low (function).
long-float-type-p (function).
member-type (macro).
member-type-members (function).
member-type-p (function).
mod-type (macro).
mod-type-n (function).
mod-type-p (function).
not-type (macro).
not-type-p (function).
not-type-type (function).
null-type (macro).
null-type-p (function).
number-subtype (macro).
number-subtype-p (function).
number-type (macro).
number-type-p (function).
or-type (macro).
or-type-p (function).
or-type-types (function).
ratio-type (macro).
ratio-type-p (function).
rational-subtype (macro).
rational-subtype-high (function).
rational-subtype-low (function).
rational-subtype-p (function).
rational-type (macro).
rational-type-high (function).
rational-type-low (function).
rational-type-p (function).
real-subtype (macro).
real-subtype-high (function).
real-subtype-low (function).
real-subtype-p (function).
real-type (macro).
real-type-high (function).
real-type-low (function).
real-type-p (function).
satisfies-type (macro).
satisfies-type-function (function).
satisfies-type-p (function).
sequence-subtype (macro).
sequence-subtype-p (function).
sequence-type (macro).
sequence-type-p (function).
short-float-type (macro).
short-float-type-high (function).
short-float-type-low (function).
short-float-type-p (function).
signed-byte-type (macro).
signed-byte-type-bits (function).
signed-byte-type-p (function).
simple-array-subtype (macro).
simple-array-subtype-dimensions (function).
simple-array-subtype-element-type (function).
simple-array-subtype-p (function).
simple-array-type (macro).
simple-array-type-dimensions (function).
simple-array-type-element-type (function).
simple-array-type-p (function).
simple-base-string-type (macro).
simple-base-string-type-element-type (function).
simple-base-string-type-p (function).
simple-base-string-type-size (function).
simple-bit-vector-type (macro).
simple-bit-vector-type-element-type (function).
simple-bit-vector-type-p (function).
simple-bit-vector-type-size (function).
simple-string-subtype (macro).
simple-string-subtype-element-type (function).
simple-string-subtype-p (function).
simple-string-subtype-size (function).
simple-string-type (macro).
simple-string-type-element-type (function).
simple-string-type-p (function).
simple-string-type-size (function).
simple-vector-type (macro).
simple-vector-type-element-type (function).
simple-vector-type-p (function).
simple-vector-type-size (function).
single-float-type (macro).
single-float-type-high (function).
single-float-type-low (function).
single-float-type-p (function).
string-subtype (macro).
string-subtype-element-type (function).
string-subtype-p (function).
string-subtype-size (function).
string-type (macro).
string-type-element-type (function).
string-type-p (function).
string-type-size (function).
unsigned-byte-type (macro).
unsigned-byte-type-bits (function).
unsigned-byte-type-p (function).
values-type (macro).
values-type-p (function).
values-type-primary (function).
vector-subtype (macro).
vector-subtype-element-type (function).
vector-subtype-p (function).
vector-subtype-size (function).
vector-type (macro).
vector-type-element-type (function).
vector-type-p (function).
vector-type-size (function).

Internals

%bignum-type (macro).
%bignum-type-high (function).
%bignum-type-low (function).
%bignum-type-p (function).
%bit-type (macro).
%bit-type-high (function).
%bit-type-low (function).
%bit-type-p (function).
%fixnum-type (macro).
%fixnum-type-high (function).
%fixnum-type-low (function).
%fixnum-type-p (function).
%mod-type (macro).
%mod-type-high (function).
%mod-type-low (function).
%mod-type-p (function).
%ratio-type (macro).
%ratio-type-high (function).
%ratio-type-low (function).
%ratio-type-p (function).
%signed-byte-type (macro).
%signed-byte-type-high (function).
%signed-byte-type-low (function).
%signed-byte-type-p (function).
%unsigned-byte-type (macro).
%unsigned-byte-type-high (function).
%unsigned-byte-type-low (function).
%unsigned-byte-type-p (function).
defpattern-with-accessors (macro).
make-atomic-type-matcher (function).
make-binder (function).
make-compound-type-matcher (function).
make-types-matcher (function).
wildcards-but-nth (function).
wrap-wildcards (function).

Next: Definitions, Previous: Files, Up: The type-r Reference Manual [Contents][Index]

4 Packages

Packages are listed by definition order.

type-r-asd
type-r

Next: type-r, Previous: Packages, Up: Packages [Contents][Index]

4.1 `type-r-asd`

Source

type-r.asd.

Use List

asdf/interface.
common-lisp.

Previous: type-r-asd, Up: Packages [Contents][Index]

4.2 `type-r`

Source

package.lisp.

Use List

alexandria.
common-lisp.
trivia.level2.

Public Interface

and-type (macro).
and-type-p (function).
and-type-types (function).
array-subtype (macro).
array-subtype-dimensions (function).
array-subtype-element-type (function).
array-subtype-p (function).
array-type (macro).
array-type-dimensions (function).
array-type-element-type (function).
array-type-p (function).
base-string-subtype (macro).
base-string-subtype-element-type (function).
base-string-subtype-p (function).
base-string-subtype-size (function).
base-string-type (macro).
base-string-type-element-type (function).
base-string-type-p (function).
base-string-type-size (function).
bignum-type (macro).
bignum-type-p (function).
bit-type (macro).
bit-type-p (function).
bit-vector-subtype (macro).
bit-vector-subtype-element-type (function).
bit-vector-subtype-p (function).
bit-vector-subtype-size (function).
bit-vector-type (macro).
bit-vector-type-element-type (function).
bit-vector-type-p (function).
bit-vector-type-size (function).
byte-subtype (macro).
byte-subtype-bits (function).
byte-subtype-p (function).
complex-type (macro).
complex-type-element-type (function).
complex-type-p (function).
cons-type (macro).
cons-type-car-type (function).
cons-type-cdr-type (function).
cons-type-p (function).
double-float-type (macro).
double-float-type-high (function).
double-float-type-low (function).
double-float-type-p (function).
eql-type (macro).
eql-type-object (function).
eql-type-p (function).
fixnum-subtype (macro).
fixnum-subtype-high (function).
fixnum-subtype-low (function).
fixnum-subtype-p (function).
fixnum-type (macro).
fixnum-type-p (function).
float-subtype (macro).
float-subtype-high (function).
float-subtype-low (function).
float-subtype-p (function).
float-type (macro).
float-type-high (function).
float-type-low (function).
float-type-p (function).
function-type (macro).
function-type-args-types (function).
function-type-p (function).
function-type-return-type (function).
integer-subtype (macro).
integer-subtype-high (function).
integer-subtype-low (function).
integer-subtype-p (function).
integer-type (macro).
integer-type-high (function).
integer-type-low (function).
integer-type-p (function).
list-type (macro).
list-type-p (function).
long-float-type (macro).
long-float-type-high (function).
long-float-type-low (function).
long-float-type-p (function).
member-type (macro).
member-type-members (function).
member-type-p (function).
mod-type (macro).
mod-type-n (function).
mod-type-p (function).
not-type (macro).
not-type-p (function).
not-type-type (function).
null-type (macro).
null-type-p (function).
number-subtype (macro).
number-subtype-p (function).
number-type (macro).
number-type-p (function).
or-type (macro).
or-type-p (function).
or-type-types (function).
ratio-type (macro).
ratio-type-p (function).
rational-subtype (macro).
rational-subtype-high (function).
rational-subtype-low (function).
rational-subtype-p (function).
rational-type (macro).
rational-type-high (function).
rational-type-low (function).
rational-type-p (function).
real-subtype (macro).
real-subtype-high (function).
real-subtype-low (function).
real-subtype-p (function).
real-type (macro).
real-type-high (function).
real-type-low (function).
real-type-p (function).
satisfies-type (macro).
satisfies-type-function (function).
satisfies-type-p (function).
sequence-subtype (macro).
sequence-subtype-p (function).
sequence-type (macro).
sequence-type-p (function).
short-float-type (macro).
short-float-type-high (function).
short-float-type-low (function).
short-float-type-p (function).
signed-byte-type (macro).
signed-byte-type-bits (function).
signed-byte-type-p (function).
simple-array-subtype (macro).
simple-array-subtype-dimensions (function).
simple-array-subtype-element-type (function).
simple-array-subtype-p (function).
simple-array-type (macro).
simple-array-type-dimensions (function).
simple-array-type-element-type (function).
simple-array-type-p (function).
simple-base-string-type (macro).
simple-base-string-type-element-type (function).
simple-base-string-type-p (function).
simple-base-string-type-size (function).
simple-bit-vector-type (macro).
simple-bit-vector-type-element-type (function).
simple-bit-vector-type-p (function).
simple-bit-vector-type-size (function).
simple-string-subtype (macro).
simple-string-subtype-element-type (function).
simple-string-subtype-p (function).
simple-string-subtype-size (function).
simple-string-type (macro).
simple-string-type-element-type (function).
simple-string-type-p (function).
simple-string-type-size (function).
simple-vector-type (macro).
simple-vector-type-element-type (function).
simple-vector-type-p (function).
simple-vector-type-size (function).
single-float-type (macro).
single-float-type-high (function).
single-float-type-low (function).
single-float-type-p (function).
string-subtype (macro).
string-subtype-element-type (function).
string-subtype-p (function).
string-subtype-size (function).
string-type (macro).
string-type-element-type (function).
string-type-p (function).
string-type-size (function).
unsigned-byte-type (macro).
unsigned-byte-type-bits (function).
unsigned-byte-type-p (function).
values-type (macro).
values-type-p (function).
values-type-primary (function).
vector-subtype (macro).
vector-subtype-element-type (function).
vector-subtype-p (function).
vector-subtype-size (function).
vector-type (macro).
vector-type-element-type (function).
vector-type-p (function).
vector-type-size (function).

Internals

%bignum-type (macro).
%bignum-type-high (function).
%bignum-type-low (function).
%bignum-type-p (function).
%bit-type (macro).
%bit-type-high (function).
%bit-type-low (function).
%bit-type-p (function).
%fixnum-type (macro).
%fixnum-type-high (function).
%fixnum-type-low (function).
%fixnum-type-p (function).
%mod-type (macro).
%mod-type-high (function).
%mod-type-low (function).
%mod-type-p (function).
%ratio-type (macro).
%ratio-type-high (function).
%ratio-type-low (function).
%ratio-type-p (function).
%signed-byte-type (macro).
%signed-byte-type-high (function).
%signed-byte-type-low (function).
%signed-byte-type-p (function).
%unsigned-byte-type (macro).
%unsigned-byte-type-high (function).
%unsigned-byte-type-low (function).
%unsigned-byte-type-p (function).
defpattern-with-accessors (macro).
make-atomic-type-matcher (function).
make-binder (function).
make-compound-type-matcher (function).
make-types-matcher (function).
wildcards-but-nth (function).
wrap-wildcards (function).

Next: Indexes, Previous: Packages, Up: The type-r Reference Manual [Contents][Index]

5 Definitions

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

Public Interface
Internals

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

5.1 Public Interface

Macros
Ordinary functions

Next: Ordinary functions, Previous: Public Interface, Up: Public Interface [Contents][Index]

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.

Previous: Macros, Up: Public Interface [Contents][Index]

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.

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

5.2 Internals

Macros
Ordinary functions

Next: Ordinary functions, Previous: Internals, Up: Internals [Contents][Index]

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.

Previous: Macros, Up: Internals [Contents][Index]

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.

Previous: Definitions, Up: The type-r Reference Manual [Contents][Index]

Appendix A Indexes

Concepts
Functions
Variables
Data types

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

A.1 Concepts

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

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

Next: Data types, Previous: Functions, Up: Indexes [Contents][Index]

A.3 Variables

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

A.4 Data types

Jump to:	F P S T

	Index Entry	Section

F
	`File, package.lisp`:	The type-r/package․lisp file
	`File, patterns.lisp`:	The type-r/patterns․lisp file
	`File, type-r.asd`:	The type-r/type-r․asd file

P
	`Package, type-r`:	The type-r package
	`Package, type-r-asd`:	The type-r-asd package
	`package.lisp`:	The type-r/package․lisp file
	`patterns.lisp`:	The type-r/patterns․lisp file

S
	`System, type-r`:	The type-r system

T
	`type-r`:	The type-r system
	`type-r`:	The type-r package
	`type-r-asd`:	The type-r-asd package
	`type-r.asd`:	The type-r/type-r․asd file

The type-r Reference Manual

Table of Contents

1 Introduction

2 Systems

2.1 type-r

3 Files

3.1 Lisp

3.1.1 type-r/type-r.asd

3.1.2 type-r/package.lisp

3.1.3 type-r/patterns.lisp

4 Packages

4.1 type-r-asd

4.2 type-r

5 Definitions

5.1 Public Interface

5.1.1 Macros

5.1.2 Ordinary functions

5.2 Internals

5.2.1 Macros

5.2.2 Ordinary functions

Appendix A Indexes

A.1 Concepts

A.2 Functions

A.3 Variables

A.4 Data types

2.1 `type-r`

3.1.1 `type-r/type-r.asd`

3.1.2 `type-r/package.lisp`

3.1.3 `type-r/patterns.lisp`

4.1 `type-r-asd`

4.2 `type-r`