Next: Introduction, Previous: (dir), Up: (dir) [Contents][Index]
This is the ctype Reference Manual, generated automatically by Declt version 3.0 "Montgomery Scott" on Sun May 15 04:33:04 2022 GMT+0.
• Introduction | What ctype is all about | |
• Systems | The systems documentation | |
• Modules | The modules documentation | |
• Files | The files documentation | |
• Packages | The packages documentation | |
• Definitions | The symbols documentation | |
• Indexes | Concepts, functions, variables and data types |
This system is an implementation of the Common Lisp type system; particularly cl:typep
and cl:subtypep
.
The function specifier-ctype
takes a type specifier and environment as input, and returns a "ctype": a reified representation of a type, independent of any environment. Ctypes are a precise reflection of their input specifier, i.e. information independent of the environment is not lost. They are however simplified as much as possible, so they will not reflect redundant information in the specifier. For example, (and list cons)
and cons
are interpreted as the same ctype.
The ctypep
and subctypep
functions implement cl:typep
and cl:subtypep
, except that they take ctype objects as arguments, rather than type specifiers. Then the CL functions could be defined as
(defun typep (object type-specifier &optional environment)
(ctypep object (specifier-ctype type-specifier environment)))
(defun subtypep (type-specifier-1 type-specifier-2 &optional environment)
(subctypep (specifier-ctype type-specifier-1 environment)
(specifier-ctype type-specifier-2 environment)))
The functions negate
, disjoin
, and conjoin
can be used to compute functions of ctypes. They are analogous to the compound type specifiers not
, or
, and and
respectively.
The functions top
and bot
return the top ctype and bottom ctype (t
and nil
), respectively. top-p
and bot-p
determine whether a given ctype is the top or the bottom ctype, respectively.
This system is intended for use in an implementation of typep
and subtypep
, and so does not use cl:typep
or cl:subtypep
at all. Unfortunately, not all aspects of the type system on a given Lisp system are determinable with standard means without using typep
and subtypep
, and must be manually configured per implementation. See config/ for more information.
Currently, the following Lisps are supported:
Ctypes are of class ctype
. Various subclasses of ctype
implement kinds of types in the CL type system. The following subclasses are defined by the system:
cclass
: a ctype representing a class. The class may be read with the cclass-class
function.negation
: The negation of its negation-ctype
.conjunction
/disjunction
: Represents uses of the and
/or
(resp.) type specifier that could not be further simplified. junction-ctypes
returns a list of the ctypes it is a con/disjunction of.ccons
: A cons type. ccons-car
and ccons-cdr
read the car
and cdr
types respectively.range
: A range of real numbers. range-kind
is one of integer
, ratio
, short-float
, single-float
, double-float
, or long-float
. range-low
, range-low-exclusive-p
, range-high
, and range-high-exclusive-p
read the properties of the range.ccomplex
: A complex
type. ccomplex-ucpt
reads the upgraded complex part type, which is either the symbol cl:*
, or something returned by cl:upgraded-complex-part-type
.cmember
: A member
or eql
type. cmember-members
returns a list of the objects of the type.carray
: An array type. carray-simplicity
reads :simple
or :complex
accordingly; array types including both are represented as disjunctions. carray-uaet
reads the upgraded array element type. carray-dims
reads the dimension specification, which is a dimension-spec
as accepted by the cl:array
compound type specifier.charset
: A subtype of character
. charset-pairs
reads the description of the codes included, which is as described above for +standard-charset+
in the configuration section.cvalues
: A values
type.cfunction
: A function
type.csatisfies
: A satisfies
type.Additional classes may be defined by the programmer.
Methods on ctypep
and subctypep
must be implemented for subclasses of ctype
in order for those functions to work correctly.
Methods on subctypep
should return the result of (call-next-method)
if they cannot determine a conclusive answer, i.e. if they would return (values nil nil)
. This ensures that all applicable methods can have a shot at giving a definitive answer.
A method on unparse
must be defined for ctypes to print correctly. unparse
should return a type specifier that could specify the given ctype. This is only used for display purposes, so it doesn't have strict requirements.
The additional generic functions disjointp
, negate
, conjoin/2
, disjoin/2
, and subtract
may also need methods in order for subctypep
and specifier-ctype
to work correctly. Particularly, if the conjunction of two types is recognizably (with subctypep
) the bottom type, conjoin/2
must return (bot)
and disjointp
must return definite truth, and similarly with disjunction and (top)
.
disjointp
has the same return value convention as subtypep
, and similarly, methods should use call-next-method
if the answer cannot be determined. disjointp
can be used to determine if two ctypes are completely disjoint: (disjointp (specifier-ctype x) (specifier-ctype y))
is equivalent to (subctypep (conjoin (specifier-ctype x) (specifier-ctype y)) (specifier-ctype nil))
.negate
computes the negation of a ctype, i.e. if a ctype is specified by x
, (negate that-ctype)
is specified by (not x)
. The default method makes a negation
ctype. These ctypes do not provide enough information for all functions to work well, e.g. they may result in nil nil
answers from subctypep
. As such, if the negation of a type can be expressed in a better way, a specializing method on negate
should be defined.conjoin/2
and disjoin/2
are the two-argument functions underlying conjoin
and disjoin
respectively. If no special behavior is defined, conjoin
and disjoin
will create conjunction
and disjunction
types, which do not always provide enough information for precise answers from subctypep
.subtract
, given ctypes specified by x
and y
, may compute the ctype specified by (and x (not y))
. If no special behavior is defined with a method, a conjunction
ctype will be made, which is suboptimal.While ctype implements the Common Lisp type system, some users may be interested in defining extensions to said type system. One can do so by defining subclasses of CTYPE and defining methods on some or all of the above functions.
The ext/ directory contains a few example extensions. See the README in that directory for more information.
Extension mechanisms for the type specifier parser have not been solidly defined yet.
Next: Modules, Previous: Introduction, Up: Top [Contents][Index]
The main system appears first, followed by any subsystem dependency.
• The ctype system |
Bike <aeshtaer@gmail.com>
BSD
An implementation of the Common Lisp type system.
ctype.asd (file)
Modules are listed depth-first from the system components tree.
• The ctype/config module |
ctype (system)
config/
Files are sorted by type and then listed depth-first from the systems components trees.
• Lisp files |
Next: The ctype/packages․lisp file, Previous: Lisp files, Up: Lisp files [Contents][Index]
ctype.asd
ctype (system)
Next: The ctype/trivalent․lisp file, Previous: The ctype․asd file, Up: Lisp files [Contents][Index]
Next: The ctype/method-combination․lisp file, Previous: The ctype/packages․lisp file, Up: Lisp files [Contents][Index]
packages.lisp (file)
ctype (system)
trivalent.lisp
Next: The ctype/config/common․lisp file, Previous: The ctype/trivalent․lisp file, Up: Lisp files [Contents][Index]
packages.lisp (file)
ctype (system)
method-combination.lisp
Next: The ctype/config/clasp․lisp file, Previous: The ctype/method-combination․lisp file, Up: Lisp files [Contents][Index]
config (module)
config/common.lisp
Next: The ctype/config/sbcl․lisp file, Previous: The ctype/config/common․lisp file, Up: Lisp files [Contents][Index]
clasp
common.lisp (file)
config (module)
config/clasp.lisp
Next: The ctype/config/ccl․lisp file, Previous: The ctype/config/clasp․lisp file, Up: Lisp files [Contents][Index]
sbcl
config (module)
config/sbcl.lisp
Next: The ctype/config/cmucl․lisp file, Previous: The ctype/config/sbcl․lisp file, Up: Lisp files [Contents][Index]
ccl
config (module)
config/ccl.lisp
Next: The ctype/config/sicl․lisp file, Previous: The ctype/config/ccl․lisp file, Up: Lisp files [Contents][Index]
cmucl
config (module)
config/cmucl.lisp
Next: The ctype/config/ecl․lisp file, Previous: The ctype/config/cmucl․lisp file, Up: Lisp files [Contents][Index]
sicl
config (module)
config/sicl.lisp
Next: The ctype/config/unsupported․lisp file, Previous: The ctype/config/sicl․lisp file, Up: Lisp files [Contents][Index]
ecl
config (module)
config/ecl.lisp
Next: The ctype/config/common-post․lisp file, Previous: The ctype/config/ecl․lisp file, Up: Lisp files [Contents][Index]
(not (or clasp sbcl ccl cmucl sicl ecl))
config (module)
config/unsupported.lisp
Next: The ctype/classes․lisp file, Previous: The ctype/config/unsupported․lisp file, Up: Lisp files [Contents][Index]
config (module)
config/common-post.lisp
Next: The ctype/create․lisp file, Previous: The ctype/config/common-post․lisp file, Up: Lisp files [Contents][Index]
packages.lisp (file)
ctype (system)
classes.lisp
junction (class)
Next: The ctype/generic-functions․lisp file, Previous: The ctype/classes․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
create.lisp
Next: The ctype/cclass․lisp file, Previous: The ctype/create․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
generic-functions.lisp
Next: The ctype/negation․lisp file, Previous: The ctype/generic-functions․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
cclass.lisp
*disjoint-classes* (special variable)
Next: The ctype/conjunction․lisp file, Previous: The ctype/cclass․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
negation.lisp
Next: The ctype/disjunction․lisp file, Previous: The ctype/negation․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
conjunction.lisp
disjoin-conjunction (function)
Next: The ctype/ccons․lisp file, Previous: The ctype/conjunction․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
disjunction.lisp
conjoin-disjunction (function)
Next: The ctype/range․lisp file, Previous: The ctype/disjunction․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
ccons.lisp
Next: The ctype/fpzero․lisp file, Previous: The ctype/ccons․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
range.lisp
ranges-disjoint-p (function)
Next: The ctype/ccomplex․lisp file, Previous: The ctype/range․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
fpzero.lisp
Next: The ctype/cmember․lisp file, Previous: The ctype/fpzero․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
ccomplex.lisp
Next: The ctype/carray․lisp file, Previous: The ctype/ccomplex․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
cmember.lisp
Next: The ctype/charset․lisp file, Previous: The ctype/cmember․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
carray.lisp
unparse-vector-simple (function)
Next: The ctype/cvalues․lisp file, Previous: The ctype/carray․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
charset.lisp
Next: The ctype/cfunction․lisp file, Previous: The ctype/charset․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
cvalues.lisp
Next: The ctype/csatisfies․lisp file, Previous: The ctype/cvalues․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
cfunction.lisp
Next: The ctype/pairwise․lisp file, Previous: The ctype/cfunction․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
csatisfies.lisp
Next: The ctype/parse․lisp file, Previous: The ctype/csatisfies․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
pairwise.lisp
Previous: The ctype/pairwise․lisp file, Up: Lisp files [Contents][Index]
ctype (system)
parse.lisp
Next: Definitions, Previous: Files, Up: Top [Contents][Index]
Packages are listed by definition order.
• The ctype package |
packages.lisp (file)
common-lisp
Definitions are sorted by export status, category, package, and then by lexicographic order.
• Exported definitions | ||
• Internal definitions |
Next: Internal definitions, Previous: Definitions, Up: Definitions [Contents][Index]
• Exported macros | ||
• Exported compiler macros | ||
• Exported functions | ||
• Exported generic functions | ||
• Exported classes |
Next: Exported compiler macros, Previous: Exported definitions, Up: Exported definitions [Contents][Index]
trivalent.lisp (file)
trivalent.lisp (file)
trivalent.lisp (file)
Next: Exported functions, Previous: Exported macros, Up: Exported definitions [Contents][Index]
trivalent.lisp (file)
trivalent.lisp (file)
trivalent.lisp (file)
trivalent.lisp (file)
Next: Exported generic functions, Previous: Exported compiler macros, Up: Exported definitions [Contents][Index]
create.lisp (file)
create.lisp (file)
create.lisp (file)
create.lisp (file)
create.lisp (file)
create.lisp (file)
create.lisp (file)
create.lisp (file)
create.lisp (file)
generic-functions.lisp (file)
create.lisp (file)
create.lisp (file)
create.lisp (file)
generic-functions.lisp (file)
create.lisp (file)
trivalent.lisp (file)
create.lisp (file)
create.lisp (file)
cfunction.lisp (file)
create.lisp (file)
create.lisp (file)
trivalent.lisp (file)
trivalent.lisp (file)
create.lisp (file)
trivalent.lisp (file)
parse.lisp (file)
create.lisp (file)
create.lisp (file)
create.lisp (file)
cvalues.lisp (file)
parse.lisp (file)
create.lisp (file)
cvalues.lisp (file)
Next: Exported classes, Previous: Exported functions, Up: Exported definitions [Contents][Index]
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
generic-functions.lisp (file)
basic (long method combination)
Options: ctype:surely
cfunction.lisp (file)
charset.lisp (file)
carray.lisp (file)
cmember.lisp (file)
ccomplex.lisp (file)
fpzero.lisp (file)
range.lisp (file)
ccons.lisp (file)
cclass.lisp (file)
generic-functions.lisp (file)
basic (long method combination)
Options: or
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
cfunction.lisp (file)
cvalues.lisp (file)
charset.lisp (file)
carray.lisp (file)
cmember.lisp (file)
cmember.lisp (file)
cmember.lisp (file)
ccomplex.lisp (file)
fpzero.lisp (file)
range.lisp (file)
ccons.lisp (file)
disjunction.lisp (file)
disjunction.lisp (file)
conjunction.lisp (file)
conjunction.lisp (file)
conjunction.lisp (file)
negation.lisp (file)
negation.lisp (file)
negation.lisp (file)
cclass.lisp (file)
generic-functions.lisp (file)
basic (long method combination)
Options: ctype:surely
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
charset.lisp (file)
carray.lisp (file)
cmember.lisp (file)
ccomplex.lisp (file)
fpzero.lisp (file)
range.lisp (file)
ccons.lisp (file)
disjunction.lisp (file)
disjunction.lisp (file)
conjunction.lisp (file)
conjunction.lisp (file)
negation.lisp (file)
negation.lisp (file)
negation.lisp (file)
automatically generated reader method
classes.lisp (file)
generic-functions.lisp (file)
basic (long method combination)
Options: ctype:surely
csatisfies.lisp (file)
charset.lisp (file)
carray.lisp (file)
ccomplex.lisp (file)
fpzero.lisp (file)
range.lisp (file)
ccons.lisp (file)
negation.lisp (file)
cclass.lisp (file)
generic-functions.lisp (file)
csatisfies.lisp (file)
cfunction.lisp (file)
cvalues.lisp (file)
charset.lisp (file)
carray.lisp (file)
carray.lisp (file)
cmember.lisp (file)
ccomplex.lisp (file)
ccomplex.lisp (file)
fpzero.lisp (file)
range.lisp (file)
ccons.lisp (file)
ccons.lisp (file)
disjunction.lisp (file)
conjunction.lisp (file)
negation.lisp (file)
cclass.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
generic-functions.lisp (file)
basic (long method combination)
Options: or
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
charset.lisp (file)
carray.lisp (file)
cmember.lisp (file)
cmember.lisp (file)
cmember.lisp (file)
ccomplex.lisp (file)
fpzero.lisp (file)
range.lisp (file)
ccons.lisp (file)
disjunction.lisp (file)
disjunction.lisp (file)
disjunction.lisp (file)
conjunction.lisp (file)
conjunction.lisp (file)
negation.lisp (file)
negation.lisp (file)
negation.lisp (file)
cclass.lisp (file)
generic-functions.lisp (file)
basic (long method combination)
Options: ctype:surely
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
charset.lisp (file)
carray.lisp (file)
ccomplex.lisp (file)
fpzero.lisp (file)
range.lisp (file)
ccons.lisp (file)
disjunction.lisp (file)
disjunction.lisp (file)
conjunction.lisp (file)
conjunction.lisp (file)
negation.lisp (file)
negation.lisp (file)
negation.lisp (file)
cclass.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
generic-functions.lisp (file)
charset.lisp (file)
range.lisp (file)
ccons.lisp (file)
disjunction.lisp (file)
conjunction.lisp (file)
negation.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
automatically generated reader method
classes.lisp (file)
generic-functions.lisp (file)
basic (long method combination)
Options: ctype:surely
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
csatisfies.lisp (file)
cfunction.lisp (file)
cvalues.lisp (file)
charset.lisp (file)
carray.lisp (file)
cmember.lisp (file)
cmember.lisp (file)
ccomplex.lisp (file)
fpzero.lisp (file)
range.lisp (file)
ccons.lisp (file)
disjunction.lisp (file)
disjunction.lisp (file)
conjunction.lisp (file)
conjunction.lisp (file)
negation.lisp (file)
negation.lisp (file)
negation.lisp (file)
cclass.lisp (file)
generic-functions.lisp (file)
basic (long method combination)
Options: or
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
charset.lisp (file)
carray.lisp (file)
cmember.lisp (file)
cmember.lisp (file)
cmember.lisp (file)
ccomplex.lisp (file)
fpzero.lisp (file)
range.lisp (file)
ccons.lisp (file)
negation.lisp (file)
generic-functions.lisp (file)
csatisfies.lisp (file)
cfunction.lisp (file)
cvalues.lisp (file)
charset.lisp (file)
carray.lisp (file)
cmember.lisp (file)
ccomplex.lisp (file)
fpzero.lisp (file)
range.lisp (file)
ccons.lisp (file)
disjunction.lisp (file)
conjunction.lisp (file)
negation.lisp (file)
cclass.lisp (file)
Previous: Exported generic functions, Up: Exported definitions [Contents][Index]
classes.lisp (file)
ctype (class)
(member :simple :complex)
:simplicity
carray-simplicity (generic function)
:uaet
carray-uaet (generic function)
ctype:ctype
:eaet
carray-eaet (generic function)
(or list (eql *))
:dims
carray-dims (generic function)
classes.lisp (file)
ctype (class)
class
:class
cclass-class (generic function)
classes.lisp (file)
ctype (class)
:ucpt
ccomplex-ucpt (generic function)
classes.lisp (file)
ctype (class)
ctype:ctype
:car
ccons-car (generic function)
ctype:ctype
:cdr
ccons-cdr (generic function)
classes.lisp (file)
ctype (class)
ctype:lambda-list
:lambda-list
cfunction-lambda-list (generic function)
ctype:cvalues
:returns
cfunction-returns (generic function)
classes.lisp (file)
ctype (class)
list
:pairs
charset-pairs (generic function)
classes.lisp (file)
ctype (class)
list
:members
cmember-members (generic function)
classes.lisp (file)
junction (class)
classes.lisp (file)
ctype (class)
:fname
csatisfies-fname (generic function)
classes.lisp (file)
standard-object (class)
classes.lisp (file)
ctype (class)
list
:required
cvalues-required (generic function)
list
:optional
cvalues-optional (generic function)
ctype:ctype
:rest
cvalues-rest (generic function)
classes.lisp (file)
junction (class)
classes.lisp (file)
ctype (class)
(member short-float single-float double-float long-float)
:kind
fpzero-kind (generic function)
float
:zero
fpzero-zero (generic function)
classes.lisp (file)
ctype (class)
list
:required
lambda-list-required (generic function)
list
:optional
lambda-list-optional (generic function)
ctype:ctype
:rest
lambda-list-rest (generic function)
boolean
:keyp
lambda-list-keyp (generic function)
list
:keys
lambda-list-key (generic function)
boolean
:aokp
lambda-list-aokp (generic function)
classes.lisp (file)
ctype (class)
ctype:ctype
:ctype
negation-ctype (generic function)
classes.lisp (file)
ctype (class)
(member integer ratio short-float single-float double-float long-float)
:kind
range-kind (generic function)
(or real null)
:low
range-low (generic function)
(or real null)
:high
range-high (generic function)
boolean
:lxp
range-low-exclusive-p (generic function)
boolean
:hxp
range-high-exclusive-p (generic function)
Previous: Exported definitions, Up: Definitions [Contents][Index]
• Internal constants | ||
• Internal special variables | ||
• Internal macros | ||
• Internal functions | ||
• Internal generic functions | ||
• Internal classes |
Next: Internal special variables, Previous: Internal definitions, Up: Internal definitions [Contents][Index]
common-post.lisp (file)
common-post.lisp (file)
common-post.lisp (file)
common-post.lisp (file)
Next: Internal macros, Previous: Internal constants, Up: Internal definitions [Contents][Index]
create.lisp (file)
cclass.lisp (file)
create.lisp (file)
Next: Internal functions, Previous: Internal special variables, Up: Internal definitions [Contents][Index]
pairwise.lisp (file)
pairwise.lisp (file)
pairwise.lisp (file)
common.lisp (file)
pairwise.lisp (file)
common-post.lisp (file)
Next: Internal generic functions, Previous: Internal macros, Up: Internal definitions [Contents][Index]
parse.lisp (file)
parse.lisp (file)
parse.lisp (file)
parse.lisp (file)
pairwise.lisp (file)
parse.lisp (file)
parse.lisp (file)
pairwise.lisp (file)
charset.lisp (file)
cmember.lisp (file)
disjunction.lisp (file)
parse.lisp (file)
charset.lisp (file)
cmember.lisp (file)
pairwise.lisp (file)
conjunction.lisp (file)
parse.lisp (file)
parse.lisp (file)
parse.lisp (file)
cfunction.lisp (file)
cfunction.lisp (file)
parse.lisp (file)
parse.lisp (file)
charset.lisp (file)
parse.lisp (file)
parse.lisp (file)
parse.lisp (file)
parse.lisp (file)
parse.lisp (file)
range.lisp (file)
parse.lisp (file)
common.lisp (file)
parse.lisp (file)
pairwise.lisp (file)
create.lisp (file)
cfunction.lisp (file)
pairwise.lisp (file)
cfunction.lisp (file)
carray.lisp (file)
Next: Internal classes, Previous: Internal functions, Up: Internal definitions [Contents][Index]
parse.lisp (file)
parse.lisp (file)
parse.lisp (file)
Previous: Internal generic functions, Up: Internal definitions [Contents][Index]
classes.lisp (file)
ctype (class)
junction-ctypes (method)
list
:ctypes
junction-ctypes (generic function)
Previous: Definitions, Up: Top [Contents][Index]
• Concept index | ||
• Function index | ||
• Variable index | ||
• Data type index |
Next: Function index, Previous: Indexes, Up: Indexes [Contents][Index]
Jump to: | C F L M |
---|
Jump to: | C F L M |
---|
Next: Variable index, Previous: Concept index, Up: Indexes [Contents][Index]
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 |
---|
Next: Data type index, Previous: Function index, Up: Indexes [Contents][Index]
Jump to: | %
*
+
C S |
---|
Jump to: | % * |
---|