This is the ctype Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Dec 15 05:52:17 2024 GMT+0.
ctype/ctype.asd
ctype/packages.lisp
ctype/trivalent.lisp
ctype/method-combination.lisp
ctype/config/common.lisp
ctype/config/abcl.lisp
ctype/config/clasp.lisp
ctype/config/sbcl.lisp
ctype/config/ccl.lisp
ctype/config/cmucl.lisp
ctype/config/sicl.lisp
ctype/config/ecl.lisp
ctype/config/unsupported.lisp
ctype/config/common-post.lisp
ctype/classes.lisp
ctype/create.lisp
ctype/generic-functions.lisp
ctype/cclass.lisp
ctype/negation.lisp
ctype/conjunction.lisp
ctype/disjunction.lisp
ctype/ccons.lisp
ctype/range.lisp
ctype/fpzero.lisp
ctype/ccomplex.lisp
ctype/cmember.lisp
ctype/carray.lisp
ctype/charset.lisp
ctype/cvalues.lisp
ctype/cfunction.lisp
ctype/csatisfies.lisp
ctype/pairwise.lisp
ctype/parse.lisp
The main system appears first, followed by any subsystem dependency.
ctype
An implementation of the Common Lisp type system.
Bike <aeshtaer@gmail.com>
BSD
packages.lisp
(file).
trivalent.lisp
(file).
method-combination.lisp
(file).
config
(module).
classes.lisp
(file).
create.lisp
(file).
generic-functions.lisp
(file).
cclass.lisp
(file).
negation.lisp
(file).
conjunction.lisp
(file).
disjunction.lisp
(file).
ccons.lisp
(file).
range.lisp
(file).
fpzero.lisp
(file).
ccomplex.lisp
(file).
cmember.lisp
(file).
carray.lisp
(file).
charset.lisp
(file).
cvalues.lisp
(file).
cfunction.lisp
(file).
csatisfies.lisp
(file).
pairwise.lisp
(file).
parse.lisp
(file).
Modules are listed depth-first from the system components tree.
ctype/config
ctype
(system).
common.lisp
(file).
abcl.lisp
(file).
clasp.lisp
(file).
sbcl.lisp
(file).
ccl.lisp
(file).
cmucl.lisp
(file).
sicl.lisp
(file).
ecl.lisp
(file).
unsupported.lisp
(file).
common-post.lisp
(file).
Files are sorted by type and then listed depth-first from the systems components trees.
ctype/ctype.asd
ctype/packages.lisp
ctype/trivalent.lisp
ctype/method-combination.lisp
ctype/config/common.lisp
ctype/config/abcl.lisp
ctype/config/clasp.lisp
ctype/config/sbcl.lisp
ctype/config/ccl.lisp
ctype/config/cmucl.lisp
ctype/config/sicl.lisp
ctype/config/ecl.lisp
ctype/config/unsupported.lisp
ctype/config/common-post.lisp
ctype/classes.lisp
ctype/create.lisp
ctype/generic-functions.lisp
ctype/cclass.lisp
ctype/negation.lisp
ctype/conjunction.lisp
ctype/disjunction.lisp
ctype/ccons.lisp
ctype/range.lisp
ctype/fpzero.lisp
ctype/ccomplex.lisp
ctype/cmember.lisp
ctype/carray.lisp
ctype/charset.lisp
ctype/cvalues.lisp
ctype/cfunction.lisp
ctype/csatisfies.lisp
ctype/pairwise.lisp
ctype/parse.lisp
ctype/trivalent.lisp
packages.lisp
(file).
ctype
(system).
and/tri
(macro).
every/tri
(compiler macro).
every/tri
(function).
notany/tri
(compiler macro).
notany/tri
(function).
notevery/tri
(compiler macro).
notevery/tri
(function).
or/tri
(macro).
some/tri
(compiler macro).
some/tri
(function).
surely
(macro).
ctype/method-combination.lisp
packages.lisp
(file).
ctype
(system).
basic
(method combination).
ctype/config/common.lisp
config
(module).
define-constant
(macro).
reconstant
(function).
ctype/config/abcl.lisp
:abcl
common.lisp
(file).
config
(module).
ctype/config/clasp.lisp
:clasp
abcl.lisp
(file).
common.lisp
(file).
config
(module).
ctype/config/sbcl.lisp
:sbcl
clasp.lisp
(file).
abcl.lisp
(file).
common.lisp
(file).
config
(module).
+complex-arrays-exist-p+
(constant).
+base-charset+
(constant).
+class-aliases+
(constant).
+floats+
(constant).
+standard-charset+
(constant).
+string-uaets+
(constant).
complex-ucptp
(macro).
ratiop
(function).
simple-array-p
(function).
subclassp
(function).
typexpand
(function).
ctype/config/ccl.lisp
:ccl
sbcl.lisp
(file).
clasp.lisp
(file).
abcl.lisp
(file).
common.lisp
(file).
config
(module).
ctype/config/cmucl.lisp
:cmucl
ccl.lisp
(file).
sbcl.lisp
(file).
clasp.lisp
(file).
abcl.lisp
(file).
common.lisp
(file).
config
(module).
ctype/config/sicl.lisp
:sicl
cmucl.lisp
(file).
ccl.lisp
(file).
sbcl.lisp
(file).
clasp.lisp
(file).
abcl.lisp
(file).
common.lisp
(file).
config
(module).
ctype/config/ecl.lisp
:ecl
sicl.lisp
(file).
cmucl.lisp
(file).
ccl.lisp
(file).
sbcl.lisp
(file).
clasp.lisp
(file).
abcl.lisp
(file).
common.lisp
(file).
config
(module).
ctype/config/unsupported.lisp
(:not (:or :abcl :clasp :sbcl :ccl :cmucl :sicl :ecl))
ecl.lisp
(file).
sicl.lisp
(file).
cmucl.lisp
(file).
ccl.lisp
(file).
sbcl.lisp
(file).
clasp.lisp
(file).
abcl.lisp
(file).
common.lisp
(file).
config
(module).
ctype/config/common-post.lisp
unsupported.lisp
(file).
ecl.lisp
(file).
sicl.lisp
(file).
cmucl.lisp
(file).
ccl.lisp
(file).
sbcl.lisp
(file).
clasp.lisp
(file).
abcl.lisp
(file).
common.lisp
(file).
config
(module).
+distinct-double-float-zeroes-p+
(constant).
+distinct-long-float-zeroes-p+
(constant).
+distinct-short-float-zeroes-p+
(constant).
+distinct-single-float-zeroes-p+
(constant).
range-kindp
(macro).
ctype/classes.lisp
packages.lisp
(file).
ctype
(system).
carray
(class).
carray-dims
(reader method).
carray-eaet
(reader method).
carray-simplicity
(reader method).
carray-uaet
(reader method).
cclass
(class).
cclass-class
(reader method).
ccomplex
(class).
ccomplex-ucpt
(reader method).
ccons
(class).
ccons-car
(reader method).
ccons-cdr
(reader method).
cfunction
(class).
cfunction-lambda-list
(reader method).
cfunction-returns
(reader method).
charset
(class).
charset-pairs
(reader method).
cmember
(class).
cmember-members
(reader method).
conjunction
(class).
csatisfies
(class).
csatisfies-fname
(reader method).
ctype
(class).
cvalues
(class).
cvalues-optional
(reader method).
cvalues-required
(reader method).
cvalues-rest
(reader method).
disjunction
(class).
fpzero
(class).
fpzero-kind
(reader method).
fpzero-zero
(reader method).
junction-ctypes
(reader method).
lambda-list
(class).
lambda-list-aokp
(reader method).
lambda-list-key
(reader method).
lambda-list-keyp
(reader method).
lambda-list-optional
(reader method).
lambda-list-required
(reader method).
lambda-list-rest
(reader method).
make-load-form
(method).
negation
(class).
negation-ctype
(reader method).
range
(class).
range-high
(reader method).
range-high-exclusive-p
(reader method).
range-kind
(reader method).
range-low
(reader method).
range-low-exclusive-p
(reader method).
ctype/create.lisp
classes.lisp
(file).
packages.lisp
(file).
ctype
(system).
bot
(function).
bot-p
(function).
carray
(function).
cclass
(function).
ccomplex
(function).
ccons
(function).
cfunction
(function).
charset
(function).
cmember
(function).
conjunction
(function).
csatisfies
(function).
cvalues
(function).
disjunction
(function).
fpzero
(function).
function-top
(function).
lambda-list-top
(function).
negation
(function).
range
(function).
top
(function).
top-p
(function).
values-bot
(function).
values-top
(function).
*bot*
(special variable).
*top*
(special variable).
single-value
(function).
ctype/generic-functions.lisp
trivalent.lisp
(file).
method-combination.lisp
(file).
create.lisp
(file).
classes.lisp
(file).
packages.lisp
(file).
ctype
(system).
cofinitep
(generic function).
conjoin
(function).
conjoin/2
(generic function).
conjointp
(generic function).
ctype=
(generic function).
ctypep
(generic function).
define-commutative-method
(macro).
disjoin
(function).
disjoin/2
(generic function).
disjointp
(generic function).
negate
(generic function).
print-object
(method).
subctypep
(generic function).
subtract
(generic function).
unparse
(generic function).
ctype/cclass.lisp
generic-functions.lisp
(file).
classes.lisp
(file).
config
(module).
packages.lisp
(file).
ctype
(system).
*disjoint-classes*
(special variable).
ctype/negation.lisp
generic-functions.lisp
(file).
create.lisp
(file).
classes.lisp
(file).
trivalent.lisp
(file).
packages.lisp
(file).
ctype
(system).
conjoin/2
(method).
conjoin/2
(method).
conjoin/2
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
ctype=
(method).
ctypep
(method).
disjoin/2
(method).
disjoin/2
(method).
disjoin/2
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
negate
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subtract
(method).
unparse
(method).
ctype/conjunction.lisp
generic-functions.lisp
(file).
create.lisp
(file).
classes.lisp
(file).
trivalent.lisp
(file).
packages.lisp
(file).
ctype
(system).
ctype/disjunction.lisp
generic-functions.lisp
(file).
create.lisp
(file).
classes.lisp
(file).
trivalent.lisp
(file).
packages.lisp
(file).
ctype
(system).
ctype/ccons.lisp
generic-functions.lisp
(file).
create.lisp
(file).
classes.lisp
(file).
trivalent.lisp
(file).
packages.lisp
(file).
ctype
(system).
ctype/range.lisp
generic-functions.lisp
(file).
create.lisp
(file).
classes.lisp
(file).
config
(module).
packages.lisp
(file).
ctype
(system).
ranges-disjoint-p
(function).
ctype/fpzero.lisp
generic-functions.lisp
(file).
create.lisp
(file).
classes.lisp
(file).
packages.lisp
(file).
ctype
(system).
ctype/ccomplex.lisp
generic-functions.lisp
(file).
create.lisp
(file).
classes.lisp
(file).
config
(module).
packages.lisp
(file).
ctype
(system).
ctype/cmember.lisp
generic-functions.lisp
(file).
create.lisp
(file).
classes.lisp
(file).
packages.lisp
(file).
ctype
(system).
cofinitep
(method).
conjoin/2
(method).
conjoin/2
(method).
conjoin/2
(method).
conjointp
(method).
ctypep
(method).
disjoin/2
(method).
disjoin/2
(method).
disjoin/2
(method).
disjointp
(method).
disjointp
(method).
subctypep
(method).
subctypep
(method).
subtract
(method).
subtract
(method).
subtract
(method).
unparse
(method).
ctype/carray.lisp
generic-functions.lisp
(file).
create.lisp
(file).
classes.lisp
(file).
packages.lisp
(file).
ctype
(system).
unparse-vector-simple
(function).
ctype/charset.lisp
generic-functions.lisp
(file).
create.lisp
(file).
classes.lisp
(file).
config
(module).
packages.lisp
(file).
ctype
(system).
conjoin-charset-pairs
(function).
disjoin-charset-pairs
(function).
negate-charset-pairs
(function).
ctype/cvalues.lisp
generic-functions.lisp
(file).
create.lisp
(file).
classes.lisp
(file).
packages.lisp
(file).
ctype
(system).
conjoin/2
(method).
ctypep
(method).
subctypep
(method).
unparse
(method).
values-bot-p
(function).
values-top-p
(function).
ctype/cfunction.lisp
cvalues.lisp
(file).
generic-functions.lisp
(file).
create.lisp
(file).
classes.lisp
(file).
packages.lisp
(file).
ctype
(system).
cofinitep
(method).
conjoin/2
(method).
ctypep
(method).
function-top-p
(function).
sub-lambda-list-p
(function).
subctypep
(method).
unparse
(method).
lambda-list-conjoin
(function).
lambda-list-top-p
(function).
unparse-lambda-list
(function).
ctype/csatisfies.lisp
generic-functions.lisp
(file).
create.lisp
(file).
classes.lisp
(file).
packages.lisp
(file).
ctype
(system).
ctype/pairwise.lisp
generic-functions.lisp
(file).
trivalent.lisp
(file).
create.lisp
(file).
classes.lisp
(file).
cfunction.lisp
(file).
packages.lisp
(file).
ctype
(system).
conjoin/2
(method).
conjoin/2
(method).
conjoin/2
(method).
conjoin/2
(method).
conjoin/2
(method).
conjoin/2
(method).
conjoin/2
(method).
conjoin/2
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
conjointp
(method).
defexclusives
(macro).
defexistential
(macro).
disjoin/2
(method).
disjoin/2
(method).
disjoin/2
(method).
disjoin/2
(method).
disjoin/2
(method).
disjoin/2
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
disjointp
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subctypep
(method).
subtract
(method).
subtract
(method).
subtract
(method).
subtract
(method).
subtract
(method).
subtract
(method).
subtract
(method).
subtract
(method).
ccons-bottom-p
(function).
defexclusive
(macro).
defexclusive/2
(macro).
definfinite
(macro).
sequence-cclass-p
(function).
subfunction-cclass-p
(function).
ctype/parse.lisp
generic-functions.lisp
(file).
create.lisp
(file).
classes.lisp
(file).
config
(module).
packages.lisp
(file).
ctype
(system).
define-extended-type
(macro).
extended-specifier-ctype
(function).
extended-values-specifier-ctype
(function).
specifier-ctype
(function).
values-specifier-ctype
(function).
%fuzz-values-ctype
(function).
%parse-lambda-list
(function).
%parse-values-ctype
(function).
*parse-extended-types*
(special variable).
array-ctype
(function).
class-specifier-ctype
(function).
coerce-to-values
(generic function).
complex-ctype
(function).
cons-ctype
(function).
cons-specifier-ctype
(generic function).
declaration-abouts
(function).
declaration-specifier
(function).
declarations-by
(function).
declarations-for
(function).
declare-p
(function).
error-interval-designator
(function).
float-range
(function).
function-ctype
(function).
mapcar-rcurry
(function).
member-ctype
(function).
parse
(function).
parse-expanded
(generic function).
parse-extended
(generic function).
parse-interval-designator
(function).
parse-lambda-list
(function).
parse-values-ctype
(function).
range-ctype
(function).
rational-range
(function).
remove-declarations-for
(function).
remove-environment
(function).
satisfies-ctype
(function).
symbol-specifier-ctype
(generic function).
Packages are listed by definition order.
ctype
common-lisp
.
+complex-arrays-exist-p+
(constant).
and/tri
(macro).
basic
(method combination).
bot
(function).
bot-p
(function).
carray
(function).
carray
(class).
carray-dims
(generic reader).
carray-eaet
(generic reader).
carray-simplicity
(generic reader).
carray-uaet
(generic reader).
cclass
(function).
cclass
(class).
cclass-class
(generic reader).
ccomplex
(function).
ccomplex
(class).
ccomplex-ucpt
(generic reader).
ccons
(function).
ccons
(class).
ccons-car
(generic reader).
ccons-cdr
(generic reader).
cfunction
(function).
cfunction
(class).
cfunction-lambda-list
(generic reader).
cfunction-returns
(generic reader).
charset
(function).
charset
(class).
charset-pairs
(generic reader).
cmember
(function).
cmember
(class).
cmember-members
(generic reader).
cofinitep
(generic function).
conjoin
(function).
conjoin/2
(generic function).
conjointp
(generic function).
conjunction
(function).
conjunction
(class).
csatisfies
(function).
csatisfies
(class).
csatisfies-fname
(generic reader).
ctype
(class).
ctype=
(generic function).
ctypep
(generic function).
cvalues
(function).
cvalues
(class).
cvalues-optional
(generic reader).
cvalues-required
(generic reader).
cvalues-rest
(generic reader).
defexclusives
(macro).
defexistential
(macro).
define-commutative-method
(macro).
define-extended-type
(macro).
disjoin
(function).
disjoin/2
(generic function).
disjointp
(generic function).
disjunction
(function).
disjunction
(class).
every/tri
(compiler macro).
every/tri
(function).
extended-specifier-ctype
(function).
extended-values-specifier-ctype
(function).
fpzero
(function).
fpzero
(class).
fpzero-kind
(generic reader).
fpzero-zero
(generic reader).
function-top
(function).
function-top-p
(function).
junction-ctypes
(generic reader).
lambda-list
(class).
lambda-list-aokp
(generic reader).
lambda-list-key
(generic reader).
lambda-list-keyp
(generic reader).
lambda-list-optional
(generic reader).
lambda-list-required
(generic reader).
lambda-list-rest
(generic reader).
lambda-list-top
(function).
negate
(generic function).
negation
(function).
negation
(class).
negation-ctype
(generic reader).
notany/tri
(compiler macro).
notany/tri
(function).
notevery/tri
(compiler macro).
notevery/tri
(function).
or/tri
(macro).
range
(function).
range
(class).
range-high
(generic reader).
range-high-exclusive-p
(generic reader).
range-kind
(generic reader).
range-low
(generic reader).
range-low-exclusive-p
(generic reader).
some/tri
(compiler macro).
some/tri
(function).
specifier-ctype
(function).
sub-lambda-list-p
(function).
subctypep
(generic function).
subtract
(generic function).
surely
(macro).
top
(function).
top-p
(function).
unparse
(generic function).
values-bot
(function).
values-bot-p
(function).
values-specifier-ctype
(function).
values-top
(function).
values-top-p
(function).
%fuzz-values-ctype
(function).
%parse-lambda-list
(function).
%parse-values-ctype
(function).
*bot*
(special variable).
*disjoint-classes*
(special variable).
*parse-extended-types*
(special variable).
*top*
(special variable).
+base-charset+
(constant).
+class-aliases+
(constant).
+distinct-double-float-zeroes-p+
(constant).
+distinct-long-float-zeroes-p+
(constant).
+distinct-short-float-zeroes-p+
(constant).
+distinct-single-float-zeroes-p+
(constant).
+floats+
(constant).
+standard-charset+
(constant).
+string-uaets+
(constant).
array-ctype
(function).
ccons-bottom-p
(function).
class-specifier-ctype
(function).
coerce-to-values
(generic function).
complex-ctype
(function).
complex-ucptp
(macro).
conjoin-charset-pairs
(function).
cons-ctype
(function).
cons-specifier-ctype
(generic function).
cvalues-p
(generic function).
declaration-abouts
(function).
declaration-specifier
(function).
declarations-by
(function).
declarations-for
(function).
declare-p
(function).
defexclusive
(macro).
defexclusive/2
(macro).
define-constant
(macro).
definfinite
(macro).
disjoin-charset-pairs
(function).
error-interval-designator
(function).
float-range
(function).
function-ctype
(function).
junction
(class).
lambda-list-conjoin
(function).
lambda-list-top-p
(function).
mapcar-rcurry
(function).
member-ctype
(function).
negate-charset-pairs
(function).
parse
(function).
parse-expanded
(generic function).
parse-extended
(generic function).
parse-interval-designator
(function).
parse-lambda-list
(function).
parse-values-ctype
(function).
range-ctype
(function).
range-kindp
(macro).
ranges-disjoint-p
(function).
rational-range
(function).
ratiop
(function).
reconstant
(function).
remove-declarations-for
(function).
remove-environment
(function).
satisfies-ctype
(function).
sequence-cclass-p
(function).
simple-array-p
(function).
single-value
(function).
subclassp
(function).
subfunction-cclass-p
(function).
symbol-specifier-ctype
(generic function).
typexpand
(function).
unparse-lambda-list
(function).
unparse-vector-simple
(function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
Define a type NAME that can be used as a type specifier and as a constructor
for a custom ctype. The :simple expander is used by programs that only work
with type specifiers like ‘specifier-ctype’. The :extended expander is used by
programs that can take advantage of ctype extensions like
‘extended-specifier-ctype’.
SIMPLE is a list of forms that return a type specifier that might not
completely represent the custom type.
EXTENDED is a list of forms that return a ctype that completely represents the
custom type.
Both the SIMPLE and the EXTENDED forms share the parameters of LAMBDA-LIST.
LAMBDA-LIST is a macro lambda list.
Return the ctype specified by the possibly extended SPECIFIER.
Return the ctype specified by the possibly extended values SPECIFIER.
ctype:surely
or
ctype
) (disjunction disjunction
)) ¶disjunction
) (ctype ctype
)) ¶ctype
) (ct1 conjunction
)) ¶conjunction
) (ct2 ctype
)) ¶conjunction
) (ct2 conjunction
)) ¶ctype:surely
ctype
) (ct1 disjunction
)) ¶disjunction
) (ct2 ctype
)) ¶ctype
) (ct1 conjunction
)) ¶conjunction
) (ct2 ctype
)) ¶csatisfies
)) ¶automatically generated reader method
ctype:surely
csatisfies
) (ct2 csatisfies
)) ¶csatisfies
)) ¶disjunction
)) ¶conjunction
)) ¶or
disjunction
) (cmember cmember
)) ¶cmember
) (disjunction disjunction
)) ¶ctype
) (ct1 disjunction
)) ¶disjunction
) (ct2 ctype
)) ¶disjunction
) (ct2 disjunction
)) ¶ctype
) (conjunction conjunction
)) ¶conjunction
) (ctype ctype
)) ¶ctype:surely
ctype
) (ct1 disjunction
)) ¶disjunction
) (ct2 ctype
)) ¶ctype
) (ct1 conjunction
)) ¶conjunction
) (ct2 ctype
)) ¶lambda-list
)) ¶automatically generated reader method
lambda-list
)) ¶automatically generated reader method
lambda-list
)) ¶automatically generated reader method
lambda-list
)) ¶automatically generated reader method
lambda-list
)) ¶automatically generated reader method
lambda-list
)) ¶automatically generated reader method
ctype:surely
conjunction
) (ct2 disjunction
)) ¶conjunction
) (ct2 ccons
)) ¶ccons
) (ct2 disjunction
)) ¶conjunction
) (ct2 cfunction
)) ¶cfunction
) (ct2 disjunction
)) ¶conjunction
) (ct2 charset
)) ¶charset
) (ct2 disjunction
)) ¶conjunction
) (ct2 carray
)) ¶carray
) (ct2 disjunction
)) ¶conjunction
) (ct2 ccomplex
)) ¶ccomplex
) (ct2 disjunction
)) ¶conjunction
) (ct2 range
)) ¶range
) (ct2 disjunction
)) ¶conjunction
) (ct2 cclass
)) ¶cclass
) (ct2 disjunction
)) ¶csatisfies
) (ct2 csatisfies
)) ¶ctype
) (ct2 disjunction
)) ¶disjunction
) (ct2 ctype
)) ¶ctype
) (ct2 conjunction
)) ¶conjunction
) (ct2 ctype
)) ¶or
csatisfies
)) ¶disjunction
)) ¶conjunction
)) ¶This is like standard short form combinations, except
* You write basic operator instead of just operator to refer to the combo.
* You don’t need to put the operator name as a qualifier.
* :order and :identity-with-one-argument are not supported because I don’t need them.
This is based on the BASIC combination in sellout’s method-combination-utilities library.
carray-dims
.
carray-eaet
.
carray-simplicity
.
carray-uaet
.
cofinitep
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
ctype=
.
ctypep
.
ctypep
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subtract
.
subtract
.
subtract
.
unparse
.
(member :simple :complex)
:simplicity
This slot is read-only.
:uaet
This slot is read-only.
ctype:ctype
:eaet
This slot is read-only.
(or list (eql *))
:dims
This slot is read-only.
cclass-class
.
cofinitep
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
ctype=
.
ctypep
.
disjoin/2
.
disjoin/2
.
disjoin/2
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subtract
.
subtract
.
subtract
.
subtract
.
subtract
.
subtract
.
unparse
.
class
:class
This slot is read-only.
ccomplex-ucpt
.
cofinitep
.
conjoin/2
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
ctype=
.
ctypep
.
ctypep
.
disjoin/2
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subtract
.
unparse
.
:ucpt
This slot is read-only.
ccons-car
.
ccons-cdr
.
cofinitep
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
ctype=
.
ctypep
.
ctypep
.
disjoin/2
.
disjoin/2
.
disjoin/2
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
negate
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subtract
.
subtract
.
subtract
.
unparse
.
cfunction-lambda-list
.
cfunction-returns
.
cofinitep
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
ctypep
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subtract
.
subtract
.
unparse
.
ctype:lambda-list
:lambda-list
This slot is read-only.
ctype:cvalues
:returns
This slot is read-only.
charset-pairs
.
cofinitep
.
conjoin/2
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
ctype=
.
ctypep
.
disjoin/2
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
negate
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subtract
.
unparse
.
list
:pairs
This slot is read-only.
cmember-members
.
cofinitep
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
ctypep
.
disjoin/2
.
disjoin/2
.
disjoin/2
.
disjoin/2
.
disjoin/2
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subtract
.
subtract
.
subtract
.
unparse
.
list
:members
This slot is read-only.
:fname
This slot is read-only.
coerce-to-values
.
cofinitep
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
ctype=
.
cvalues-p
.
disjoin/2
.
disjoin/2
.
disjoin/2
.
disjoin/2
.
disjoin/2
.
disjoin/2
.
disjoin/2
.
disjoin/2
.
disjoin/2
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
make-load-form
.
negate
.
print-object
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subtract
.
subtract
.
subtract
.
subtract
.
list
:required
This slot is read-only.
list
:optional
This slot is read-only.
ctype:ctype
:rest
This slot is read-only.
cofinitep
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
ctype=
.
ctypep
.
disjoin/2
.
disjoin/2
.
disjoin/2
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
fpzero-kind
.
fpzero-zero
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subtract
.
subtract
.
subtract
.
unparse
.
(member short-float single-float double-float long-float)
:kind
This slot is read-only.
float
:zero
This slot is read-only.
list
:required
This slot is read-only.
list
:optional
This slot is read-only.
ctype:ctype
:rest
This slot is read-only.
boolean
:keyp
This slot is read-only.
list
:keys
This slot is read-only.
boolean
:aokp
This slot is read-only.
ctype:ctype
:ctype
This slot is read-only.
cofinitep
.
conjoin/2
.
conjoin/2
.
conjoin/2
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
conjointp
.
ctype=
.
ctypep
.
disjoin/2
.
disjoin/2
.
disjoin/2
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
disjointp
.
negate
.
range-high
.
range-high-exclusive-p
.
range-kind
.
range-low
.
range-low-exclusive-p
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subctypep
.
subtract
.
subtract
.
subtract
.
unparse
.
(member integer ratio short-float single-float double-float long-float)
:kind
This slot is read-only.
(or real null)
:high
This slot is read-only.
boolean
:lxp
This slot is read-only.
boolean
:hxp
This slot is read-only.
When ‘t’, ‘specifier-ctype’ will parse extended types. Use ‘extended-specifier-ctype’ instead of using this variable directly.
Return(0) a new lambda list like LAMBDA-LIST but without the &environment parameter. Return(1) the name of the removed &environment parameter.
(eql vector)
) rest env) ¶(eql values)
) rest env) ¶(eql unsigned-byte)
) rest env) ¶(eql string)
) rest env) ¶(eql single-float)
) rest env) ¶(eql simple-vector)
) rest env) ¶(eql simple-string)
) rest env) ¶(eql simple-bit-vector)
) rest env) ¶(eql simple-base-string)
) rest env) ¶(eql simple-array)
) rest env) ¶(eql signed-byte)
) rest env) ¶(eql short-float)
) rest env) ¶(eql satisfies)
) rest env) ¶(eql real)
) rest env) ¶(eql rational)
) rest env) ¶(eql or)
) rest env) ¶(eql not)
) rest env) ¶(eql mod)
) rest env) ¶(eql member)
) rest env) ¶(eql long-float)
) rest env) ¶(eql integer)
) rest env) ¶(eql function)
) rest env) ¶(eql float)
) rest env) ¶(eql eql)
) rest env) ¶(eql double-float)
) rest env) ¶(eql cons)
) rest env) ¶(eql complex)
) rest env) ¶(eql bit-vector)
) rest env) ¶(eql base-string)
) rest env) ¶(eql array)
) rest env) ¶(eql and)
) rest env) ¶symbol
) env) ¶(eql vector)
) env) ¶(eql unsigned-byte)
) env) ¶(eql t)
) env) ¶(eql string)
) env) ¶(eql standard-char)
) env) ¶(eql single-float)
) env) ¶(eql simple-vector)
) env) ¶(eql simple-string)
) env) ¶(eql simple-bit-vector)
) env) ¶(eql simple-base-string)
) env) ¶(eql simple-array)
) env) ¶(eql signed-byte)
) env) ¶(eql short-float)
) env) ¶(eql real)
) env) ¶(eql rational)
) env) ¶(eql ratio)
) env) ¶(eql number)
) env) ¶(eql null)
) env) ¶(eql nil)
) env) ¶(eql long-float)
) env) ¶(eql list)
) env) ¶(eql keyword)
) env) ¶(eql integer)
) env) ¶(eql function)
) env) ¶(eql float)
) env) ¶(eql fixnum)
) env) ¶(eql extended-char)
) env) ¶(eql double-float)
) env) ¶(eql cons)
) env) ¶(eql complex)
) env) ¶(eql compiled-function)
) env) ¶(eql character)
) env) ¶(eql boolean)
) env) ¶(eql bit-vector)
) env) ¶(eql bit)
) env) ¶(eql bignum)
) env) ¶(eql base-string)
) env) ¶(eql base-char)
) env) ¶(eql atom)
) env) ¶(eql array)
) env) ¶Jump to: | %
A B C D E F G J L M N O P R S T U V |
---|
Jump to: | %
A B C D E F G J L M N O P R S T U V |
---|
Jump to: | %
*
+
C S |
---|
Jump to: | %
*
+
C S |
---|
Jump to: | A C D E F G J L M N P R S T U |
---|
Jump to: | A C D E F G J L M N P R S T U |
---|