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.
The main system appears first, followed by any subsystem dependency.
type-r
Collections of accessor functions and patterns to access the elements in compound type specifier, e.g. ‘dimensions’ in ‘(array element-type dimensions)’
Masataro Asai
LLGPL
0.1
trivia
(system).
alexandria
(system).
package.lisp
(file).
patterns.lisp
(file).
Files are sorted by type and then listed depth-first from the systems components trees.
type-r/patterns.lisp
package.lisp
(file).
type-r
(system).
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).
%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).
Packages are listed by definition order.
type-r
alexandria
.
common-lisp
.
trivia.level2
.
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).
%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).
Definitions are sorted by export status, category, package, and then by lexicographic order.
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.
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.
Jump to: | %
A B C D E F I L M N O R S U V W |
---|
Jump to: | %
A B C D E F I L M N O R S U V W |
---|
Jump to: | F P S T |
---|
Jump to: | F P S T |
---|