The ctype Reference Manual

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

The ctype Reference Manual

This is the ctype Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Thu Sep 15 04:31:49 2022 GMT+0.

Table of Contents


1 Introduction

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.

Configuration

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:

Classes

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:

Additional classes may be defined by the programmer.

Generic functions

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).

Extensions

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.


2 Systems

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


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

2.1 ctype

An implementation of the Common Lisp type system.

Author

Bike <aeshtaer@gmail.com>

License

BSD

Source

ctype.asd.

Child Components

Next: , Previous: , Up: The ctype Reference Manual   [Contents][Index]

3 Modules

Modules are listed depth-first from the system components tree.


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

3.1 ctype/config

Source

ctype.asd.

Parent Component

ctype (system).

Child Components

4 Files

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


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

4.1 Lisp


Next: , Previous: , Up: Lisp   [Contents][Index]

4.1.1 ctype/ctype.asd

Source

ctype.asd.

Parent Component

ctype (system).

ASDF Systems

ctype.


4.1.2 ctype/packages.lisp

Source

ctype.asd.

Parent Component

ctype (system).

Packages

ctype.


4.1.3 ctype/trivalent.lisp

Dependency

packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

4.1.4 ctype/method-combination.lisp

Dependency

packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

basic (method combination).


4.1.5 ctype/config/common.lisp

Source

ctype.asd.

Parent Component

config (module).

Internals

4.1.6 ctype/config/clasp.lisp

If Feature

:clasp

Dependency

common.lisp (file).

Source

ctype.asd.

Parent Component

config (module).


4.1.7 ctype/config/sbcl.lisp

If Feature

:sbcl

Dependencies
Source

ctype.asd.

Parent Component

config (module).

Internals

4.1.8 ctype/config/ccl.lisp

If Feature

:ccl

Dependencies
Source

ctype.asd.

Parent Component

config (module).


4.1.9 ctype/config/cmucl.lisp

If Feature

:cmucl

Dependencies
Source

ctype.asd.

Parent Component

config (module).


4.1.10 ctype/config/sicl.lisp

If Feature

:sicl

Dependencies
Source

ctype.asd.

Parent Component

config (module).


4.1.11 ctype/config/ecl.lisp

If Feature

:ecl

Dependencies
Source

ctype.asd.

Parent Component

config (module).


4.1.12 ctype/config/unsupported.lisp

If Feature

(:not (:or :clasp :sbcl :ccl :cmucl :sicl :ecl))

Dependencies
Source

ctype.asd.

Parent Component

config (module).


4.1.13 ctype/config/common-post.lisp

Dependencies
Source

ctype.asd.

Parent Component

config (module).

Internals

4.1.14 ctype/classes.lisp

Dependency

packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

junction (class).


4.1.15 ctype/create.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

Next: , Previous: , Up: Lisp   [Contents][Index]

4.1.16 ctype/generic-functions.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

4.1.17 ctype/cclass.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

*disjoint-classes* (special variable).


4.1.18 ctype/negation.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

4.1.19 ctype/conjunction.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

disjoin-conjunction (function).


4.1.20 ctype/disjunction.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

conjoin-disjunction (function).


4.1.21 ctype/ccons.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

Next: , Previous: , Up: Lisp   [Contents][Index]

4.1.22 ctype/range.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

ranges-disjoint-p (function).


4.1.23 ctype/fpzero.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

4.1.24 ctype/ccomplex.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

4.1.25 ctype/cmember.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

4.1.26 ctype/carray.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

unparse-vector-simple (function).


4.1.27 ctype/charset.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

4.1.28 ctype/cvalues.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

4.1.29 ctype/cfunction.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

4.1.30 ctype/csatisfies.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

4.1.31 ctype/pairwise.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

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

4.1.32 ctype/parse.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

5 Packages

Packages are listed by definition order.


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

5.1 ctype

Source

packages.lisp.

Use List

common-lisp.

Public Interface
Internals

6 Definitions

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


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

6.1 Public Interface


6.1.1 Macros

Macro: and/tri (&rest forms)
Package

ctype.

Source

trivalent.lisp.

Macro: or/tri (&rest forms)
Package

ctype.

Source

trivalent.lisp.

Macro: surely (&rest forms)
Package

ctype.

Source

trivalent.lisp.


6.1.2 Compiler macros

Compiler Macro: every/tri (predicate sequence &rest sequences)
Package

ctype.

Source

trivalent.lisp.

Compiler Macro: notany/tri (predicate sequence &rest sequences)
Package

ctype.

Source

trivalent.lisp.

Compiler Macro: notevery/tri (predicate sequence &rest sequences)
Package

ctype.

Source

trivalent.lisp.

Compiler Macro: some/tri (predicate sequence &rest sequences)
Package

ctype.

Source

trivalent.lisp.


6.1.3 Ordinary functions

Function: bot ()
Package

ctype.

Source

create.lisp.

Function: bot-p (ctype)
Package

ctype.

Source

create.lisp.

Function: carray (simplicity uaet eaet dims)
Package

ctype.

Source

create.lisp.

Function: cclass (class)
Package

ctype.

Source

create.lisp.

Function: ccomplex (ucpt)
Package

ctype.

Source

create.lisp.

Function: ccons (car cdr)
Package

ctype.

Source

create.lisp.

Function: cfunction (lambda-list returns)
Package

ctype.

Source

create.lisp.

Function: charset (pairs)
Package

ctype.

Source

create.lisp.

Function: cmember (&rest members)
Package

ctype.

Source

create.lisp.

Function: conjoin (&rest ctypes)
Package

ctype.

Source

generic-functions.lisp.

Function: conjunction (&rest ctypes)
Package

ctype.

Source

create.lisp.

Function: csatisfies (fname)
Package

ctype.

Source

create.lisp.

Function: cvalues (required optional rest)
Package

ctype.

Source

create.lisp.

Function: disjoin (&rest ctypes)
Package

ctype.

Source

generic-functions.lisp.

Function: disjunction (&rest ctypes)
Package

ctype.

Source

create.lisp.

Function: every/tri (predicate sequence &rest sequences)
Package

ctype.

Source

trivalent.lisp.

Function: fpzero (kind zero)
Package

ctype.

Source

create.lisp.

Function: function-top ()
Package

ctype.

Source

create.lisp.

Function: function-top-p (cfunction)
Package

ctype.

Source

cfunction.lisp.

Function: lambda-list-top ()
Package

ctype.

Source

create.lisp.

Function: negation (ctype)
Package

ctype.

Source

create.lisp.

Function: notany/tri (predicate sequence &rest sequences)
Package

ctype.

Source

trivalent.lisp.

Function: notevery/tri (predicate sequence &rest sequences)
Package

ctype.

Source

trivalent.lisp.

Function: range (kind low lxp high hxp)
Package

ctype.

Source

create.lisp.

Function: some/tri (predicate sequence &rest sequences)
Package

ctype.

Source

trivalent.lisp.

Function: specifier-ctype (specifier &optional env)
Package

ctype.

Source

parse.lisp.

Function: top ()
Package

ctype.

Source

create.lisp.

Function: top-p (ctype)
Package

ctype.

Source

create.lisp.

Function: values-bot ()
Package

ctype.

Source

create.lisp.

Function: values-bot-p (cvalues)
Package

ctype.

Source

cvalues.lisp.

Function: values-specifier-ctype (specifier &optional env)
Package

ctype.

Source

parse.lisp.

Function: values-top ()
Package

ctype.

Source

create.lisp.

Function: values-top-p (cvalues)
Package

ctype.

Source

cvalues.lisp.


6.1.4 Generic functions

Generic Reader: carray-dims (object)
Package

ctype.

Methods
Reader Method: carray-dims ((carray carray))

automatically generated reader method

Source

classes.lisp.

Target Slot

%dims.

Generic Reader: carray-eaet (object)
Package

ctype.

Methods
Reader Method: carray-eaet ((carray carray))

automatically generated reader method

Source

classes.lisp.

Target Slot

%eaet.

Generic Reader: carray-simplicity (object)
Package

ctype.

Methods
Reader Method: carray-simplicity ((carray carray))

automatically generated reader method

Source

classes.lisp.

Target Slot

%simplicity.

Generic Reader: carray-uaet (object)
Package

ctype.

Methods
Reader Method: carray-uaet ((carray carray))

automatically generated reader method

Source

classes.lisp.

Target Slot

%uaet.

Generic Reader: cclass-class (object)
Package

ctype.

Methods
Reader Method: cclass-class ((cclass cclass))

automatically generated reader method

Source

classes.lisp.

Target Slot

%class.

Generic Reader: ccomplex-ucpt (object)
Package

ctype.

Methods
Reader Method: ccomplex-ucpt ((ccomplex ccomplex))

automatically generated reader method

Source

classes.lisp.

Target Slot

%ucpt.

Generic Reader: ccons-car (object)
Package

ctype.

Methods
Reader Method: ccons-car ((ccons ccons))

automatically generated reader method

Source

classes.lisp.

Target Slot

%car.

Generic Reader: ccons-cdr (object)
Package

ctype.

Methods
Reader Method: ccons-cdr ((ccons ccons))

automatically generated reader method

Source

classes.lisp.

Target Slot

%cdr.

Generic Reader: cfunction-lambda-list (object)
Package

ctype.

Methods
Reader Method: cfunction-lambda-list ((cfunction cfunction))

automatically generated reader method

Source

classes.lisp.

Target Slot

%lambda-list.

Generic Reader: cfunction-returns (object)
Package

ctype.

Methods
Reader Method: cfunction-returns ((cfunction cfunction))

automatically generated reader method

Source

classes.lisp.

Target Slot

%returns.

Generic Reader: charset-pairs (object)
Package

ctype.

Methods
Reader Method: charset-pairs ((charset charset))

automatically generated reader method

Source

classes.lisp.

Target Slot

%pairs.

Generic Reader: cmember-members (object)
Package

ctype.

Methods
Reader Method: cmember-members ((cmember cmember))

automatically generated reader method

Source

classes.lisp.

Target Slot

%members.

Generic Function: cofinitep (ctype)
Package

ctype.

Source

generic-functions.lisp.

Method Combination

basic.

Options

ctype:surely

Methods
Method: cofinitep ((ct cfunction))
Source

cfunction.lisp.

Method: cofinitep ((ct charset))
Source

charset.lisp.

Method: cofinitep ((ct carray))
Source

carray.lisp.

Method: cofinitep ((ct cmember))
Source

cmember.lisp.

Method: cofinitep ((ct ccomplex))
Source

ccomplex.lisp.

Method: cofinitep ((ct fpzero))
Source

fpzero.lisp.

Method: cofinitep ((ct range))
Source

range.lisp.

Method: cofinitep ((ct1 ccons))
Source

ccons.lisp.

Method: cofinitep ((ct cclass))
Source

cclass.lisp.

Method: cofinitep ((ct ctype))
Generic Function: conjoin/2 (ctype1 ctype2)
Package

ctype.

Source

generic-functions.lisp.

Method Combination

basic.

Options

or

Methods
Method: conjoin/2 ((ct1 range) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjoin/2 ((ct1 fpzero) (ct2 range))
Source

pairwise.lisp.

Method: conjoin/2 ((ct1 cfunction) (ct2 cclass))
Source

pairwise.lisp.

Method: conjoin/2 ((ct1 cclass) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjoin/2 ((ct1 carray) (ct2 cclass))
Source

pairwise.lisp.

Method: conjoin/2 ((ct1 cclass) (ct2 carray))
Source

pairwise.lisp.

Method: conjoin/2 ((ct1 ccons) (ct2 cclass))
Source

pairwise.lisp.

Method: conjoin/2 ((ct1 cclass) (ct2 ccons))
Source

pairwise.lisp.

Method: conjoin/2 ((ct1 cfunction) (ct2 cfunction))
Source

cfunction.lisp.

Method: conjoin/2 ((ct1 cvalues) (ct2 cvalues))
Source

cvalues.lisp.

Method: conjoin/2 ((ct1 charset) (ct2 charset))
Source

charset.lisp.

Method: conjoin/2 ((ct1 carray) (ct2 carray))
Source

carray.lisp.

Method: conjoin/2 ((ct1 ctype) (ct2 cmember))
Source

cmember.lisp.

Method: conjoin/2 ((ct1 cmember) (ct2 ctype))
Source

cmember.lisp.

Method: conjoin/2 ((ct1 cmember) (ct2 cmember))
Source

cmember.lisp.

Method: conjoin/2 ((ct1 ccomplex) (ct2 ccomplex))
Source

ccomplex.lisp.

Method: conjoin/2 ((ct1 fpzero) (ct2 fpzero))
Source

fpzero.lisp.

Method: conjoin/2 ((ct1 range) (ct2 range))
Source

range.lisp.

Method: conjoin/2 ((ct1 ccons) (ct2 ccons))
Source

ccons.lisp.

Method: conjoin/2 ((ct1 ctype) (ct2 disjunction))
Source

disjunction.lisp.

Method: conjoin/2 ((ct1 disjunction) (ct2 ctype))
Source

disjunction.lisp.

Method: conjoin/2 ((ct1 ctype) (ct2 conjunction))
Source

conjunction.lisp.

Method: conjoin/2 ((ct1 conjunction) (ct2 ctype))
Source

conjunction.lisp.

Method: conjoin/2 ((ct1 conjunction) (ct2 conjunction))
Source

conjunction.lisp.

Method: conjoin/2 ((ct1 ctype) (ct2 negation))
Source

negation.lisp.

Method: conjoin/2 ((ct1 negation) (ct2 ctype))
Source

negation.lisp.

Method: conjoin/2 ((ct1 negation) (ct2 negation))
Source

negation.lisp.

Method: conjoin/2 ((ct1 cclass) (ct2 cclass))
Source

cclass.lisp.

Method: conjoin/2 ((ct1 ctype) (ct2 ctype))
Generic Function: conjointp (ctype1 ctype2)
Package

ctype.

Source

generic-functions.lisp.

Method Combination

basic.

Options

ctype:surely

Methods
Method: conjointp ((ct1 cfunction) (ct2 charset))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjointp ((ct1 cfunction) (ct2 carray))
Source

pairwise.lisp.

Method: conjointp ((ct1 carray) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 carray))
Source

pairwise.lisp.

Method: conjointp ((ct1 carray) (ct2 charset))
Source

pairwise.lisp.

Method: conjointp ((ct1 cfunction) (ct2 cmember))
Source

pairwise.lisp.

Method: conjointp ((ct1 cmember) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 cmember))
Source

pairwise.lisp.

Method: conjointp ((ct1 cmember) (ct2 charset))
Source

pairwise.lisp.

Method: conjointp ((ct1 carray) (ct2 cmember))
Source

pairwise.lisp.

Method: conjointp ((ct1 cmember) (ct2 carray))
Source

pairwise.lisp.

Method: conjointp ((ct1 cfunction) (ct2 ccomplex))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 ccomplex))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 charset))
Source

pairwise.lisp.

Method: conjointp ((ct1 carray) (ct2 ccomplex))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 carray))
Source

pairwise.lisp.

Method: conjointp ((ct1 cmember) (ct2 ccomplex))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 cmember))
Source

pairwise.lisp.

Method: conjointp ((ct1 cfunction) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjointp ((ct1 fpzero) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjointp ((ct1 fpzero) (ct2 charset))
Source

pairwise.lisp.

Method: conjointp ((ct1 carray) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjointp ((ct1 fpzero) (ct2 carray))
Source

pairwise.lisp.

Method: conjointp ((ct1 cmember) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjointp ((ct1 fpzero) (ct2 cmember))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjointp ((ct1 fpzero) (ct2 ccomplex))
Source

pairwise.lisp.

Method: conjointp ((ct1 cfunction) (ct2 range))
Source

pairwise.lisp.

Method: conjointp ((ct1 range) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 range))
Source

pairwise.lisp.

Method: conjointp ((ct1 range) (ct2 charset))
Source

pairwise.lisp.

Method: conjointp ((ct1 carray) (ct2 range))
Source

pairwise.lisp.

Method: conjointp ((ct1 range) (ct2 carray))
Source

pairwise.lisp.

Method: conjointp ((ct1 cmember) (ct2 range))
Source

pairwise.lisp.

Method: conjointp ((ct1 range) (ct2 cmember))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 range))
Source

pairwise.lisp.

Method: conjointp ((ct1 range) (ct2 ccomplex))
Source

pairwise.lisp.

Method: conjointp ((ct1 fpzero) (ct2 range))
Source

pairwise.lisp.

Method: conjointp ((ct1 range) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjointp ((ct1 cfunction) (ct2 ccons))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccons) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 ccons))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccons) (ct2 charset))
Source

pairwise.lisp.

Method: conjointp ((ct1 carray) (ct2 ccons))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccons) (ct2 carray))
Source

pairwise.lisp.

Method: conjointp ((ct1 cmember) (ct2 ccons))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccons) (ct2 cmember))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 ccons))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccons) (ct2 ccomplex))
Source

pairwise.lisp.

Method: conjointp ((ct1 fpzero) (ct2 ccons))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccons) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjointp ((ct1 range) (ct2 ccons))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccons) (ct2 range))
Source

pairwise.lisp.

Method: conjointp ((ct1 cfunction) (ct2 cclass))
Source

pairwise.lisp.

Method: conjointp ((ct1 cclass) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 cclass))
Source

pairwise.lisp.

Method: conjointp ((ct1 cclass) (ct2 charset))
Source

pairwise.lisp.

Method: conjointp ((ct1 carray) (ct2 cclass))
Source

pairwise.lisp.

Method: conjointp ((ct1 cclass) (ct2 carray))
Source

pairwise.lisp.

Method: conjointp ((ct1 cmember) (ct2 cclass))
Source

pairwise.lisp.

Method: conjointp ((ct1 cclass) (ct2 cmember))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 cclass))
Source

pairwise.lisp.

Method: conjointp ((ct1 cclass) (ct2 ccomplex))
Source

pairwise.lisp.

Method: conjointp ((ct1 fpzero) (ct2 cclass))
Source

pairwise.lisp.

Method: conjointp ((ct1 cclass) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjointp ((ct1 range) (ct2 cclass))
Source

pairwise.lisp.

Method: conjointp ((ct1 cclass) (ct2 range))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccons) (ct2 cclass))
Source

pairwise.lisp.

Method: conjointp ((ct1 cclass) (ct2 ccons))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 charset))
Source

charset.lisp.

Method: conjointp ((ct1 carray) (ct2 carray))
Source

carray.lisp.

Method: conjointp ((ct1 cmember) (ct2 cmember))
Source

cmember.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 ccomplex))
Source

ccomplex.lisp.

Method: conjointp ((ct1 fpzero) (ct2 fpzero))
Source

fpzero.lisp.

Method: conjointp ((ct1 range) (ct2 range))
Source

range.lisp.

Method: conjointp ((ct1 ccons) (ct2 ccons))
Source

ccons.lisp.

Method: conjointp ((ct1 ctype) (ct2 disjunction))
Source

disjunction.lisp.

Method: conjointp ((ct1 disjunction) (ct2 ctype))
Source

disjunction.lisp.

Method: conjointp ((ct1 ctype) (ct2 conjunction))
Source

conjunction.lisp.

Method: conjointp ((ct1 conjunction) (ct2 ctype))
Source

conjunction.lisp.

Method: conjointp ((ct1 ctype) (ct2 negation))
Source

negation.lisp.

Method: conjointp ((ct1 negation) (ct2 ctype))
Source

negation.lisp.

Method: conjointp ((ct1 negation) (ct2 negation))
Source

negation.lisp.

Method: conjointp ((ct1 ctype) (ct2 ctype))
Generic Reader: csatisfies-fname (object)
Package

ctype.

Methods
Reader Method: csatisfies-fname ((csatisfies csatisfies))

automatically generated reader method

Source

classes.lisp.

Target Slot

%fname.

Generic Function: ctype= (ctype1 ctype2)
Package

ctype.

Source

generic-functions.lisp.

Method Combination

basic.

Options

ctype:surely

Methods
Method: ctype= ((ct1 csatisfies) (ct2 csatisfies))
Source

csatisfies.lisp.

Method: ctype= ((ct1 charset) (ct2 charset))
Source

charset.lisp.

Method: ctype= ((ct1 carray) (ct2 carray))
Source

carray.lisp.

Method: ctype= ((ct1 ccomplex) (ct2 ccomplex))
Source

ccomplex.lisp.

Method: ctype= ((ct1 fpzero) (ct2 fpzero))
Source

fpzero.lisp.

Method: ctype= ((ct1 range) (ct2 range))
Source

range.lisp.

Method: ctype= ((ct1 ccons) (ct2 ccons))
Source

ccons.lisp.

Method: ctype= ((ct1 negation) (ct2 negation))
Source

negation.lisp.

Method: ctype= ((ct1 cclass) (ct2 cclass))
Source

cclass.lisp.

Method: ctype= ((ct1 ctype) (ct2 ctype))
Generic Function: ctypep (object ctype)
Package

ctype.

Source

generic-functions.lisp.

Methods
Method: ctypep (object (ct csatisfies))
Source

csatisfies.lisp.

Method: ctypep (object (ct cfunction))
Source

cfunction.lisp.

Method: ctypep (object (ct cvalues))
Source

cvalues.lisp.

Method: ctypep (object (ct charset))
Source

charset.lisp.

Method: ctypep (object (ct carray))
Source

carray.lisp.

Method: ctypep ((object array) (ct carray))
Source

carray.lisp.

Method: ctypep (object (ct cmember))
Source

cmember.lisp.

Method: ctypep (object (ct ccomplex))
Source

ccomplex.lisp.

Method: ctypep ((object complex) (ct ccomplex))
Source

ccomplex.lisp.

Method: ctypep (object (ctype fpzero))
Source

fpzero.lisp.

Method: ctypep (object (ct range))
Source

range.lisp.

Method: ctypep (object (ct ccons))
Source

ccons.lisp.

Method: ctypep ((object cons) (ct ccons))
Source

ccons.lisp.

Method: ctypep (object (ct disjunction))
Source

disjunction.lisp.

Method: ctypep (object (ct conjunction))
Source

conjunction.lisp.

Method: ctypep (object (ct negation))
Source

negation.lisp.

Method: ctypep (object (ct cclass))
Source

cclass.lisp.

Generic Reader: cvalues-optional (object)
Package

ctype.

Methods
Reader Method: cvalues-optional ((cvalues cvalues))

automatically generated reader method

Source

classes.lisp.

Target Slot

%optional.

Generic Reader: cvalues-required (object)
Package

ctype.

Methods
Reader Method: cvalues-required ((cvalues cvalues))

automatically generated reader method

Source

classes.lisp.

Target Slot

%required.

Generic Reader: cvalues-rest (object)
Package

ctype.

Methods
Reader Method: cvalues-rest ((cvalues cvalues))

automatically generated reader method

Source

classes.lisp.

Target Slot

%rest.

Generic Function: disjoin/2 (ctype1 ctype2)
Package

ctype.

Source

generic-functions.lisp.

Method Combination

basic.

Options

or

Methods
Method: disjoin/2 ((ct1 range) (ct2 fpzero))
Source

pairwise.lisp.

Method: disjoin/2 ((ct1 fpzero) (ct2 range))
Source

pairwise.lisp.

Method: disjoin/2 ((ct1 disjunction) (ct2 cmember))
Source

pairwise.lisp.

Method: disjoin/2 ((ct1 cmember) (ct2 disjunction))
Source

pairwise.lisp.

Method: disjoin/2 ((ct1 ccons) (ct2 cclass))
Source

pairwise.lisp.

Method: disjoin/2 ((ct1 cclass) (ct2 ccons))
Source

pairwise.lisp.

Method: disjoin/2 ((ct1 charset) (ct2 charset))
Source

charset.lisp.

Method: disjoin/2 ((ct1 carray) (ct2 carray))
Source

carray.lisp.

Method: disjoin/2 ((ct1 ctype) (ct2 cmember))
Source

cmember.lisp.

Method: disjoin/2 ((ct1 cmember) (ct2 ctype))
Source

cmember.lisp.

Method: disjoin/2 ((ct1 cmember) (ct2 cmember))
Source

cmember.lisp.

Method: disjoin/2 ((ct1 ccomplex) (ct2 ccomplex))
Source

ccomplex.lisp.

Method: disjoin/2 ((ct1 fpzero) (ct2 fpzero))
Source

fpzero.lisp.

Method: disjoin/2 ((ct1 range) (ct2 range))
Source

range.lisp.

Method: disjoin/2 ((ct1 ccons) (ct2 ccons))
Source

ccons.lisp.

Method: disjoin/2 ((ct1 ctype) (ct2 disjunction))
Source

disjunction.lisp.

Method: disjoin/2 ((ct1 disjunction) (ct2 ctype))
Source

disjunction.lisp.

Method: disjoin/2 ((ct1 disjunction) (ct2 disjunction))
Source

disjunction.lisp.

Method: disjoin/2 ((ct1 ctype) (ct2 conjunction))
Source

conjunction.lisp.

Method: disjoin/2 ((ct1 conjunction) (ct2 ctype))
Source

conjunction.lisp.

Method: disjoin/2 ((ct1 ctype) (ct2 negation))
Source

negation.lisp.

Method: disjoin/2 ((ct1 negation) (ct2 ctype))
Source

negation.lisp.

Method: disjoin/2 ((ct1 negation) (ct2 negation))
Source

negation.lisp.

Method: disjoin/2 ((ct1 cclass) (ct2 cclass))
Source

cclass.lisp.

Method: disjoin/2 ((ct1 ctype) (ct2 ctype))
Generic Function: disjointp (ctype1 ctype2)
Package

ctype.

Source

generic-functions.lisp.

Method Combination

basic.

Options

ctype:surely

Methods
Method: disjointp ((ct1 range) (ct2 fpzero))
Source

pairwise.lisp.

Method: disjointp ((ct1 fpzero) (ct2 range))
Source

pairwise.lisp.

Method: disjointp ((ct1 cclass) (ct2 carray))
Source

pairwise.lisp.

Method: disjointp ((ct1 carray) (ct2 cclass))
Source

pairwise.lisp.

Method: disjointp ((ct1 cclass) (ct2 ccons))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccons) (ct2 cclass))
Source

pairwise.lisp.

Method: disjointp ((ct1 fpzero) (ct2 ccons))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccons) (ct2 fpzero))
Source

pairwise.lisp.

Method: disjointp ((ct1 cfunction) (ct2 ccons))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccons) (ct2 cfunction))
Source

pairwise.lisp.

Method: disjointp ((ct1 charset) (ct2 ccons))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccons) (ct2 charset))
Source

pairwise.lisp.

Method: disjointp ((ct1 carray) (ct2 ccons))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccons) (ct2 carray))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccomplex) (ct2 ccons))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccons) (ct2 ccomplex))
Source

pairwise.lisp.

Method: disjointp ((ct1 range) (ct2 ccons))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccons) (ct2 range))
Source

pairwise.lisp.

Method: disjointp ((ct1 cfunction) (ct2 fpzero))
Source

pairwise.lisp.

Method: disjointp ((ct1 fpzero) (ct2 cfunction))
Source

pairwise.lisp.

Method: disjointp ((ct1 charset) (ct2 fpzero))
Source

pairwise.lisp.

Method: disjointp ((ct1 fpzero) (ct2 charset))
Source

pairwise.lisp.

Method: disjointp ((ct1 carray) (ct2 fpzero))
Source

pairwise.lisp.

Method: disjointp ((ct1 fpzero) (ct2 carray))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccomplex) (ct2 fpzero))
Source

pairwise.lisp.

Method: disjointp ((ct1 fpzero) (ct2 ccomplex))
Source

pairwise.lisp.

Method: disjointp ((ct1 cmember) (ct2 fpzero))
Source

pairwise.lisp.

Method: disjointp ((ct1 fpzero) (ct2 cmember))
Source

pairwise.lisp.

Method: disjointp ((ct1 charset) (ct2 cclass))
Source

pairwise.lisp.

Method: disjointp ((ct1 cclass) (ct2 charset))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccomplex) (ct2 cclass))
Source

pairwise.lisp.

Method: disjointp ((ct1 cclass) (ct2 ccomplex))
Source

pairwise.lisp.

Method: disjointp ((ct1 range) (ct2 cclass))
Source

pairwise.lisp.

Method: disjointp ((ct1 cclass) (ct2 range))
Source

pairwise.lisp.

Method: disjointp ((ct1 cfunction) (ct2 charset))
Source

pairwise.lisp.

Method: disjointp ((ct1 charset) (ct2 cfunction))
Source

pairwise.lisp.

Method: disjointp ((ct1 cfunction) (ct2 carray))
Source

pairwise.lisp.

Method: disjointp ((ct1 carray) (ct2 cfunction))
Source

pairwise.lisp.

Method: disjointp ((ct1 charset) (ct2 carray))
Source

pairwise.lisp.

Method: disjointp ((ct1 carray) (ct2 charset))
Source

pairwise.lisp.

Method: disjointp ((ct1 cfunction) (ct2 ccomplex))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccomplex) (ct2 cfunction))
Source

pairwise.lisp.

Method: disjointp ((ct1 charset) (ct2 ccomplex))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccomplex) (ct2 charset))
Source

pairwise.lisp.

Method: disjointp ((ct1 carray) (ct2 ccomplex))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccomplex) (ct2 carray))
Source

pairwise.lisp.

Method: disjointp ((ct1 cfunction) (ct2 range))
Source

pairwise.lisp.

Method: disjointp ((ct1 range) (ct2 cfunction))
Source

pairwise.lisp.

Method: disjointp ((ct1 charset) (ct2 range))
Source

pairwise.lisp.

Method: disjointp ((ct1 range) (ct2 charset))
Source

pairwise.lisp.

Method: disjointp ((ct1 carray) (ct2 range))
Source

pairwise.lisp.

Method: disjointp ((ct1 range) (ct2 carray))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccomplex) (ct2 range))
Source

pairwise.lisp.

Method: disjointp ((ct1 range) (ct2 ccomplex))
Source

pairwise.lisp.

Method: disjointp ((ct1 charset) (ct2 charset))
Source

charset.lisp.

Method: disjointp ((ct1 carray) (ct2 carray))
Source

carray.lisp.

Method: disjointp ((ct1 ccomplex) (ct2 ccomplex))
Source

ccomplex.lisp.

Method: disjointp ((ct1 fpzero) (ct2 fpzero))
Source

fpzero.lisp.

Method: disjointp ((ct1 range) (ct2 range))
Source

range.lisp.

Method: disjointp ((ct1 ccons) (ct2 ccons))
Source

ccons.lisp.

Method: disjointp ((ct1 ctype) (ct2 disjunction))
Source

disjunction.lisp.

Method: disjointp ((ct1 disjunction) (ct2 ctype))
Source

disjunction.lisp.

Method: disjointp ((ct1 ctype) (ct2 conjunction))
Source

conjunction.lisp.

Method: disjointp ((ct1 conjunction) (ct2 ctype))
Source

conjunction.lisp.

Method: disjointp ((ct1 ctype) (ct2 negation))
Source

negation.lisp.

Method: disjointp ((ct1 negation) (ct2 ctype))
Source

negation.lisp.

Method: disjointp ((ct1 negation) (ct2 negation))
Source

negation.lisp.

Method: disjointp ((ct1 cclass) (ct2 cclass))
Source

cclass.lisp.

Method: disjointp ((ct1 ctype) (ct2 ctype))
Generic Reader: fpzero-kind (object)
Package

ctype.

Methods
Reader Method: fpzero-kind ((fpzero fpzero))

automatically generated reader method

Source

classes.lisp.

Target Slot

%kind.

Generic Reader: fpzero-zero (object)
Package

ctype.

Methods
Reader Method: fpzero-zero ((fpzero fpzero))

automatically generated reader method

Source

classes.lisp.

Target Slot

%zero.

Generic Reader: junction-ctypes (object)
Package

ctype.

Methods
Reader Method: junction-ctypes ((junction junction))

automatically generated reader method

Source

classes.lisp.

Target Slot

%ctypes.

Generic Reader: lambda-list-aokp (object)
Package

ctype.

Methods
Reader Method: lambda-list-aokp ((lambda-list lambda-list))

automatically generated reader method

Source

classes.lisp.

Target Slot

%aokp.

Generic Reader: lambda-list-key (object)
Package

ctype.

Methods
Reader Method: lambda-list-key ((lambda-list lambda-list))

automatically generated reader method

Source

classes.lisp.

Target Slot

%keys.

Generic Reader: lambda-list-keyp (object)
Package

ctype.

Methods
Reader Method: lambda-list-keyp ((lambda-list lambda-list))

automatically generated reader method

Source

classes.lisp.

Target Slot

%keyp.

Generic Reader: lambda-list-optional (object)
Package

ctype.

Methods
Reader Method: lambda-list-optional ((lambda-list lambda-list))

automatically generated reader method

Source

classes.lisp.

Target Slot

%optional.

Generic Reader: lambda-list-required (object)
Package

ctype.

Methods
Reader Method: lambda-list-required ((lambda-list lambda-list))

automatically generated reader method

Source

classes.lisp.

Target Slot

%required.

Generic Reader: lambda-list-rest (object)
Package

ctype.

Methods
Reader Method: lambda-list-rest ((lambda-list lambda-list))

automatically generated reader method

Source

classes.lisp.

Target Slot

%rest.

Generic Function: negate (ctype)
Package

ctype.

Source

generic-functions.lisp.

Methods
Method: negate ((ct charset))
Source

charset.lisp.

Method: negate ((ct range))
Source

range.lisp.

Method: negate ((ctype ccons))
Source

ccons.lisp.

Method: negate ((ctype disjunction))
Source

disjunction.lisp.

Method: negate ((ctype conjunction))
Source

conjunction.lisp.

Method: negate ((ctype negation))
Source

negation.lisp.

Method: negate ((ctype ctype))
Generic Reader: negation-ctype (object)
Package

ctype.

Methods
Reader Method: negation-ctype ((negation negation))

automatically generated reader method

Source

classes.lisp.

Target Slot

%ctype.

Generic Reader: range-high (object)
Package

ctype.

Methods
Reader Method: range-high ((range range))

automatically generated reader method

Source

classes.lisp.

Target Slot

%high.

Generic Reader: range-high-exclusive-p (object)
Package

ctype.

Methods
Reader Method: range-high-exclusive-p ((range range))

automatically generated reader method

Source

classes.lisp.

Target Slot

%high-xp.

Generic Reader: range-kind (object)
Package

ctype.

Methods
Reader Method: range-kind ((range range))

automatically generated reader method

Source

classes.lisp.

Target Slot

%kind.

Generic Reader: range-low (object)
Package

ctype.

Methods
Reader Method: range-low ((range range))

automatically generated reader method

Source

classes.lisp.

Target Slot

%low.

Generic Reader: range-low-exclusive-p (object)
Package

ctype.

Methods
Reader Method: range-low-exclusive-p ((range range))

automatically generated reader method

Source

classes.lisp.

Target Slot

%low-xp.

Generic Function: subctypep (ctype1 ctype2)
Package

ctype.

Source

generic-functions.lisp.

Method Combination

basic.

Options

ctype:surely

Methods
Method: subctypep ((ct1 conjunction) (ct2 disjunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 fpzero))
Source

pairwise.lisp.

Method: subctypep ((ct1 fpzero) (ct2 range))
Source

pairwise.lisp.

Method: subctypep ((ct1 negation) (ct2 cmember))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 cmember))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 cmember))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 cmember))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 cmember))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 cmember))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 cmember))
Source

pairwise.lisp.

Method: subctypep ((ct1 conjunction) (ct2 ccons))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 disjunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 conjunction) (ct2 cfunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 disjunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 conjunction) (ct2 charset))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 disjunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 conjunction) (ct2 carray))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 disjunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 conjunction) (ct2 ccomplex))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 disjunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 conjunction) (ct2 range))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 disjunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 conjunction) (ct2 cclass))
Source

pairwise.lisp.

Method: subctypep ((ct1 cclass) (ct2 disjunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 cclass) (ct2 cfunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 cclass))
Source

pairwise.lisp.

Method: subctypep ((ct1 cclass) (ct2 carray))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 cclass))
Source

pairwise.lisp.

Method: subctypep ((ct1 cclass) (ct2 ccons))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 cclass))
Source

pairwise.lisp.

Method: subctypep ((ct1 fpzero) (ct2 ccons))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 fpzero))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 ccons))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 cfunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 ccons))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 charset))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 ccons))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 carray))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 ccons))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 ccomplex))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 ccons))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 range))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 ctype))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 fpzero))
Source

pairwise.lisp.

Method: subctypep ((ct1 fpzero) (ct2 cfunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 fpzero))
Source

pairwise.lisp.

Method: subctypep ((ct1 fpzero) (ct2 charset))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 fpzero))
Source

pairwise.lisp.

Method: subctypep ((ct1 fpzero) (ct2 carray))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 fpzero))
Source

pairwise.lisp.

Method: subctypep ((ct1 fpzero) (ct2 ccomplex))
Source

pairwise.lisp.

Method: subctypep ((ct1 cmember) (ct2 fpzero))
Source

pairwise.lisp.

Method: subctypep ((ct1 fpzero) (ct2 cmember))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 cclass))
Source

pairwise.lisp.

Method: subctypep ((ct1 cclass) (ct2 charset))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 cclass))
Source

pairwise.lisp.

Method: subctypep ((ct1 cclass) (ct2 ccomplex))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 cclass))
Source

pairwise.lisp.

Method: subctypep ((ct1 cclass) (ct2 range))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 charset))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 cfunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 carray))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 cfunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 carray))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 charset))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 ccomplex))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 cfunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 ccomplex))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 charset))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 ccomplex))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 carray))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 range))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 cfunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 range))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 charset))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 range))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 carray))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 range))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 ccomplex))
Source

pairwise.lisp.

Method: subctypep ((ct1 csatisfies) (ct2 csatisfies))
Source

csatisfies.lisp.

Method: subctypep ((ct1 cfunction) (ct2 cfunction))
Source

cfunction.lisp.

Method: subctypep ((ct1 cvalues) (ct2 cvalues))
Source

cvalues.lisp.

Method: subctypep ((ct1 charset) (ct2 charset))
Source

charset.lisp.

Method: subctypep ((ct1 carray) (ct2 carray))
Source

carray.lisp.

Method: subctypep ((ct1 cmember) (ct2 cmember))
Source

cmember.lisp.

Method: subctypep ((ct1 cmember) (ct2 ctype))
Source

cmember.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 ccomplex))
Source

ccomplex.lisp.

Method: subctypep ((ct1 fpzero) (ct2 fpzero))
Source

fpzero.lisp.

Method: subctypep ((ct1 range) (ct2 range))
Source

range.lisp.

Method: subctypep ((ct1 ccons) (ct2 ccons))
Source

ccons.lisp.

Method: subctypep ((ct1 ctype) (ct2 disjunction))
Source

disjunction.lisp.

Method: subctypep ((ct1 disjunction) (ct2 ctype))
Source

disjunction.lisp.

Method: subctypep ((ct1 ctype) (ct2 conjunction))
Source

conjunction.lisp.

Method: subctypep ((ct1 conjunction) (ct2 ctype))
Source

conjunction.lisp.

Method: subctypep ((ct1 negation) (ct2 ctype))
Source

negation.lisp.

Method: subctypep ((ct1 ctype) (ct2 negation))
Source

negation.lisp.

Method: subctypep ((ct1 negation) (ct2 negation))
Source

negation.lisp.

Method: subctypep ((ct1 cclass) (ct2 cclass))
Source

cclass.lisp.

Method: subctypep ((ct1 ctype) (ct2 ctype))
Generic Function: subtract (ctype1 ctype2)
Package

ctype.

Source

generic-functions.lisp.

Method Combination

basic.

Options

or

Methods
Method: subtract ((ct1 range) (ct2 fpzero))
Source

pairwise.lisp.

Method: subtract ((ct1 fpzero) (ct2 range))
Source

pairwise.lisp.

Method: subtract ((ct1 cfunction) (ct2 cclass))
Source

pairwise.lisp.

Method: subtract ((ct1 cclass) (ct2 cfunction))
Source

pairwise.lisp.

Method: subtract ((ct1 carray) (ct2 cclass))
Source

pairwise.lisp.

Method: subtract ((ct1 cclass) (ct2 carray))
Source

pairwise.lisp.

Method: subtract ((ct1 cclass) (ct2 ccons))
Source

pairwise.lisp.

Method: subtract ((ct1 ccons) (ct2 cclass))
Source

pairwise.lisp.

Method: subtract ((ct1 charset) (ct2 charset))
Source

charset.lisp.

Method: subtract ((ct1 carray) (ct2 carray))
Source

carray.lisp.

Method: subtract ((ct1 ctype) (ct2 cmember))
Source

cmember.lisp.

Method: subtract ((ct1 cmember) (ct2 ctype))
Source

cmember.lisp.

Method: subtract ((ct1 cmember) (ct2 cmember))
Source

cmember.lisp.

Method: subtract ((ct1 ccomplex) (ct2 ccomplex))
Source

ccomplex.lisp.

Method: subtract ((ct1 fpzero) (ct2 fpzero))
Source

fpzero.lisp.

Method: subtract ((ct1 range) (ct2 range))
Source

range.lisp.

Method: subtract ((ct1 ccons) (ct2 ccons))
Source

ccons.lisp.

Method: subtract ((ct1 ctype) (ct2 negation))
Source

negation.lisp.

Method: subtract ((ct1 ctype) (ct2 ctype))
Generic Function: unparse (ctype)
Package

ctype.

Source

generic-functions.lisp.

Methods
Method: unparse ((ct csatisfies))
Source

csatisfies.lisp.

Method: unparse ((ct cfunction))
Source

cfunction.lisp.

Method: unparse ((ct cvalues))
Source

cvalues.lisp.

Method: unparse ((ct charset))
Source

charset.lisp.

Method: unparse ((ct carray))
Source

carray.lisp.

Method: unparse ((ct cmember))
Source

cmember.lisp.

Method: unparse ((ct ccomplex))
Source

ccomplex.lisp.

Method: unparse ((ct fpzero))
Source

fpzero.lisp.

Method: unparse ((ct range))
Source

range.lisp.

Method: unparse ((ct ccons))
Source

ccons.lisp.

Method: unparse ((ct disjunction))
Source

disjunction.lisp.

Method: unparse ((ct conjunction))
Source

conjunction.lisp.

Method: unparse ((ct negation))
Source

negation.lisp.

Method: unparse ((ct cclass))
Source

cclass.lisp.


6.1.5 Standalone methods

Method: make-load-form ((obj ctype) &optional env)
Source

classes.lisp.

Method: print-object ((ct ctype) stream)
Source

generic-functions.lisp.


6.1.6 Method combinations

Method Combination: basic (operator)

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.

Package

ctype.

Source

method-combination.lisp.

Client Functions

6.1.7 Classes

Class: carray
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %simplicity
Type

(member :simple :complex)

Initargs

:simplicity

Readers

carray-simplicity.

Writers

This slot is read-only.

Slot: %uaet
Initargs

:uaet

Readers

carray-uaet.

Writers

This slot is read-only.

Slot: %eaet
Type

ctype:ctype

Initargs

:eaet

Readers

carray-eaet.

Writers

This slot is read-only.

Slot: %dims
Type

(or list (eql *))

Initargs

:dims

Readers

carray-dims.

Writers

This slot is read-only.

Class: cclass
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %class
Type

class

Initargs

:class

Readers

cclass-class.

Writers

This slot is read-only.

Class: ccomplex
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %ucpt
Initargs

:ucpt

Readers

ccomplex-ucpt.

Writers

This slot is read-only.

Class: ccons
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %car
Type

ctype:ctype

Initargs

:car

Readers

ccons-car.

Writers

This slot is read-only.

Slot: %cdr
Type

ctype:ctype

Initargs

:cdr

Readers

ccons-cdr.

Writers

This slot is read-only.

Class: cfunction
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %lambda-list
Type

ctype:lambda-list

Initargs

:lambda-list

Readers

cfunction-lambda-list.

Writers

This slot is read-only.

Slot: %returns
Type

ctype:cvalues

Initargs

:returns

Readers

cfunction-returns.

Writers

This slot is read-only.

Class: charset
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %pairs
Type

list

Initargs

:pairs

Readers

charset-pairs.

Writers

This slot is read-only.

Class: cmember
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %members
Type

list

Initargs

:members

Readers

cmember-members.

Writers

This slot is read-only.

Class: conjunction
Package

ctype.

Source

classes.lisp.

Direct superclasses

junction.

Direct methods
Class: csatisfies
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %fname
Initargs

:fname

Readers

csatisfies-fname.

Writers

This slot is read-only.

Class: ctype
Package

ctype.

Source

classes.lisp.

Direct subclasses
Direct methods
Class: cvalues
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %required
Type

list

Initargs

:required

Readers

cvalues-required.

Writers

This slot is read-only.

Slot: %optional
Type

list

Initargs

:optional

Readers

cvalues-optional.

Writers

This slot is read-only.

Slot: %rest
Type

ctype:ctype

Initargs

:rest

Readers

cvalues-rest.

Writers

This slot is read-only.

Class: disjunction
Package

ctype.

Source

classes.lisp.

Direct superclasses

junction.

Direct methods
Class: fpzero
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %kind
Type

(member short-float single-float double-float long-float)

Initargs

:kind

Readers

fpzero-kind.

Writers

This slot is read-only.

Slot: %zero
Type

float

Initargs

:zero

Readers

fpzero-zero.

Writers

This slot is read-only.

Class: lambda-list
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %required
Type

list

Initargs

:required

Readers

lambda-list-required.

Writers

This slot is read-only.

Slot: %optional
Type

list

Initargs

:optional

Readers

lambda-list-optional.

Writers

This slot is read-only.

Slot: %rest
Type

ctype:ctype

Initargs

:rest

Readers

lambda-list-rest.

Writers

This slot is read-only.

Slot: %keyp
Type

boolean

Initargs

:keyp

Readers

lambda-list-keyp.

Writers

This slot is read-only.

Slot: %keys
Type

list

Initargs

:keys

Readers

lambda-list-key.

Writers

This slot is read-only.

Slot: %aokp
Type

boolean

Initargs

:aokp

Readers

lambda-list-aokp.

Writers

This slot is read-only.

Class: negation
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %ctype
Type

ctype:ctype

Initargs

:ctype

Readers

negation-ctype.

Writers

This slot is read-only.

Class: range
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %kind
Type

(member integer ratio short-float single-float double-float long-float)

Initargs

:kind

Readers

range-kind.

Writers

This slot is read-only.

Slot: %low
Type

(or real null)

Initargs

:low

Readers

range-low.

Writers

This slot is read-only.

Slot: %high
Type

(or real null)

Initargs

:high

Readers

range-high.

Writers

This slot is read-only.

Slot: %low-xp
Type

boolean

Initargs

:lxp

Readers

range-low-exclusive-p.

Writers

This slot is read-only.

Slot: %high-xp
Type

boolean

Initargs

:hxp

Readers

range-high-exclusive-p.

Writers

This slot is read-only.


6.2 Internals


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

6.2.1 Constants

Constant: +base-charset+
Package

ctype.

Source

sbcl.lisp.

Constant: +class-aliases+
Package

ctype.

Source

sbcl.lisp.

Constant: +complex-arrays-exist-p+
Package

ctype.

Source

sbcl.lisp.

Constant: +distinct-double-float-zeroes-p+
Package

ctype.

Source

common-post.lisp.

Constant: +distinct-long-float-zeroes-p+
Package

ctype.

Source

common-post.lisp.

Constant: +distinct-short-float-zeroes-p+
Package

ctype.

Source

common-post.lisp.

Constant: +distinct-single-float-zeroes-p+
Package

ctype.

Source

common-post.lisp.

Constant: +floats+
Package

ctype.

Source

sbcl.lisp.

Constant: +standard-charset+
Package

ctype.

Source

sbcl.lisp.

Constant: +string-uaets+
Package

ctype.

Source

sbcl.lisp.


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

6.2.2 Special variables

Special Variable: *bot*
Package

ctype.

Source

create.lisp.

Special Variable: *disjoint-classes*
Package

ctype.

Source

cclass.lisp.

Special Variable: *top*
Package

ctype.

Source

create.lisp.


6.2.3 Macros

Macro: complex-ucptp (objectf ucpt)
Package

ctype.

Source

sbcl.lisp.

Macro: defexclusive (&rest classes)
Package

ctype.

Source

pairwise.lisp.

Macro: defexclusive/2 (class1 class2)
Package

ctype.

Source

pairwise.lisp.

Macro: defexistential (class)
Package

ctype.

Source

pairwise.lisp.

Macro: define-constant (name value &key test)
Package

ctype.

Source

common.lisp.

Macro: definfinite (class)
Package

ctype.

Source

pairwise.lisp.

Macro: range-kindp (objectf kindf)
Package

ctype.

Source

common-post.lisp.


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

6.2.4 Ordinary functions

Function: %fuzz-values-ctype (required optional rest)
Package

ctype.

Source

parse.lisp.

Function: %parse-lambda-list (ll env)
Package

ctype.

Source

parse.lisp.

Function: %parse-values-ctype (vest env)
Package

ctype.

Source

parse.lisp.

Function: array-ctype (simplicity et dims env)
Package

ctype.

Source

parse.lisp.

Function: ccons-bottom-p (ccons)
Package

ctype.

Source

pairwise.lisp.

Function: class-specifier-ctype (class env)
Package

ctype.

Source

parse.lisp.

Function: complex-ctype (element-type env)
Package

ctype.

Source

parse.lisp.

Function: conjoin-cclass-carray (cclass carray)
Package

ctype.

Source

pairwise.lisp.

Function: conjoin-charset-pairs (pairs1 pairs2)
Package

ctype.

Source

charset.lisp.

Function: conjoin-cmember (cmember ctype)
Package

ctype.

Source

cmember.lisp.

Function: conjoin-disjunction (disjunction ctype)
Package

ctype.

Source

disjunction.lisp.

Function: cons-ctype (car cdr env)
Package

ctype.

Source

parse.lisp.

Function: disjoin-charset-pairs (pairs1 pairs2)
Package

ctype.

Source

charset.lisp.

Function: disjoin-cmember (cmember ctype)
Package

ctype.

Source

cmember.lisp.

Function: disjoin-cmember-disjunction (cmember disjunction)
Package

ctype.

Source

pairwise.lisp.

Function: disjoin-conjunction (conjunction ctype)
Package

ctype.

Source

conjunction.lisp.

Function: error-interval-designator (nondesignator &optional kind)
Package

ctype.

Source

parse.lisp.

Function: float-range (low lxp high hxp)
Package

ctype.

Source

parse.lisp.

Function: function-ctype (ll rv env)
Package

ctype.

Source

parse.lisp.

Function: lambda-list-conjoin (ll1 ll2)
Package

ctype.

Source

cfunction.lisp.

Function: lambda-list-top-p (lambda-list)
Package

ctype.

Source

cfunction.lisp.

Function: mapcar-rcurry (arguments function &rest lists)
Package

ctype.

Source

parse.lisp.

Function: member-ctype (elements)
Package

ctype.

Source

parse.lisp.

Function: negate-charset-pairs (pairs)
Package

ctype.

Source

charset.lisp.

Function: parse (specifier env)
Package

ctype.

Source

parse.lisp.

Function: parse-interval-designator (designator)
Package

ctype.

Source

parse.lisp.

Function: parse-lambda-list (ll env)
Package

ctype.

Source

parse.lisp.

Function: parse-values-ctype (rest env)
Package

ctype.

Source

parse.lisp.

Function: range-ctype (kind low high env)
Package

ctype.

Source

parse.lisp.

Function: ranges-disjoint-p (low1 lxp1 high1 hxp1 low2 lxp2 high2 hxp2)
Package

ctype.

Source

range.lisp.

Function: rational-range (low lxp high hxp)
Package

ctype.

Source

parse.lisp.

Function: ratiop (object)
Package

ctype.

Source

sbcl.lisp.

Function: reconstant (name value test)
Package

ctype.

Source

common.lisp.

Function: satisfies-ctype (fname)
Package

ctype.

Source

parse.lisp.

Function: sequence-cclass-p (cclass)
Package

ctype.

Source

pairwise.lisp.

Function: simple-array-p (object)
Package

ctype.

Source

sbcl.lisp.

Function: single-value (ctype)
Package

ctype.

Source

create.lisp.

Function: sub-lambda-list-p (ll1 ll2)
Package

ctype.

Source

cfunction.lisp.

Function: subclassp (sub super)
Package

ctype.

Source

sbcl.lisp.

Function: subfunction-cclass-p (cclass)
Package

ctype.

Source

pairwise.lisp.

Function: typexpand (type-specifier environment)
Package

ctype.

Source

sbcl.lisp.

Function: unparse-lambda-list (lambda-list)
Package

ctype.

Source

cfunction.lisp.

Function: unparse-vector-simple (uaet length)
Package

ctype.

Source

carray.lisp.


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

6.2.5 Generic functions

Generic Function: coerce-to-values (ctype)
Package

ctype.

Source

parse.lisp.

Methods
Method: coerce-to-values ((ctype ctype))
Method: coerce-to-values ((ctype cvalues))
Generic Function: cons-specifier-ctype (head rest env)
Package

ctype.

Source

parse.lisp.

Methods
Method: cons-specifier-ctype ((head (eql vector)) rest env)
Method: cons-specifier-ctype ((head (eql values)) rest env)
Method: cons-specifier-ctype ((head (eql unsigned-byte)) rest env)
Method: cons-specifier-ctype ((head (eql string)) rest env)
Method: cons-specifier-ctype ((head (eql single-float)) rest env)
Method: cons-specifier-ctype ((head (eql simple-vector)) rest env)
Method: cons-specifier-ctype ((head (eql simple-string)) rest env)
Method: cons-specifier-ctype ((head (eql simple-bit-vector)) rest env)
Method: cons-specifier-ctype ((head (eql simple-base-string)) rest env)
Method: cons-specifier-ctype ((head (eql simple-array)) rest env)
Method: cons-specifier-ctype ((head (eql signed-byte)) rest env)
Method: cons-specifier-ctype ((head (eql short-float)) rest env)
Method: cons-specifier-ctype ((head (eql satisfies)) rest env)
Method: cons-specifier-ctype ((head (eql real)) rest env)
Method: cons-specifier-ctype ((head (eql rational)) rest env)
Method: cons-specifier-ctype ((head (eql or)) rest env)
Method: cons-specifier-ctype ((head (eql not)) rest env)
Method: cons-specifier-ctype ((head (eql mod)) rest env)
Method: cons-specifier-ctype ((head (eql member)) rest env)
Method: cons-specifier-ctype ((head (eql long-float)) rest env)
Method: cons-specifier-ctype ((head (eql integer)) rest env)
Method: cons-specifier-ctype ((head (eql function)) rest env)
Method: cons-specifier-ctype ((head (eql float)) rest env)
Method: cons-specifier-ctype ((head (eql eql)) rest env)
Method: cons-specifier-ctype ((head (eql double-float)) rest env)
Method: cons-specifier-ctype ((head (eql cons)) rest env)
Method: cons-specifier-ctype ((head (eql complex)) rest env)
Method: cons-specifier-ctype ((head (eql bit-vector)) rest env)
Method: cons-specifier-ctype ((head (eql base-string)) rest env)
Method: cons-specifier-ctype ((head (eql array)) rest env)
Method: cons-specifier-ctype ((head (eql and)) rest env)
Generic Function: symbol-specifier-ctype (sym env)
Package

ctype.

Source

parse.lisp.

Methods
Method: symbol-specifier-ctype ((sym symbol) env)
Method: symbol-specifier-ctype ((sym (eql vector)) env)
Method: symbol-specifier-ctype ((sym (eql unsigned-byte)) env)
Method: symbol-specifier-ctype ((sym (eql t)) env)
Method: symbol-specifier-ctype ((sym (eql string)) env)
Method: symbol-specifier-ctype ((sym (eql standard-char)) env)
Method: symbol-specifier-ctype ((sym (eql single-float)) env)
Method: symbol-specifier-ctype ((sym (eql simple-vector)) env)
Method: symbol-specifier-ctype ((sym (eql simple-string)) env)
Method: symbol-specifier-ctype ((sym (eql simple-bit-vector)) env)
Method: symbol-specifier-ctype ((sym (eql simple-base-string)) env)
Method: symbol-specifier-ctype ((sym (eql simple-array)) env)
Method: symbol-specifier-ctype ((sym (eql signed-byte)) env)
Method: symbol-specifier-ctype ((sym (eql short-float)) env)
Method: symbol-specifier-ctype ((sym (eql real)) env)
Method: symbol-specifier-ctype ((sym (eql rational)) env)
Method: symbol-specifier-ctype ((sym (eql ratio)) env)
Method: symbol-specifier-ctype ((sym (eql number)) env)
Method: symbol-specifier-ctype ((sym (eql null)) env)
Method: symbol-specifier-ctype ((sym (eql nil)) env)
Method: symbol-specifier-ctype ((sym (eql long-float)) env)
Method: symbol-specifier-ctype ((sym (eql list)) env)
Method: symbol-specifier-ctype ((sym (eql keyword)) env)
Method: symbol-specifier-ctype ((sym (eql integer)) env)
Method: symbol-specifier-ctype ((sym (eql function)) env)
Method: symbol-specifier-ctype ((sym (eql float)) env)
Method: symbol-specifier-ctype ((sym (eql fixnum)) env)
Method: symbol-specifier-ctype ((sym (eql extended-char)) env)
Method: symbol-specifier-ctype ((sym (eql double-float)) env)
Method: symbol-specifier-ctype ((sym (eql cons)) env)
Method: symbol-specifier-ctype ((sym (eql complex)) env)
Method: symbol-specifier-ctype ((sym (eql compiled-function)) env)
Method: symbol-specifier-ctype ((sym (eql character)) env)
Method: symbol-specifier-ctype ((sym (eql boolean)) env)
Method: symbol-specifier-ctype ((sym (eql bit-vector)) env)
Method: symbol-specifier-ctype ((sym (eql bit)) env)
Method: symbol-specifier-ctype ((sym (eql bignum)) env)
Method: symbol-specifier-ctype ((sym (eql base-string)) env)
Method: symbol-specifier-ctype ((sym (eql base-char)) env)
Method: symbol-specifier-ctype ((sym (eql atom)) env)
Method: symbol-specifier-ctype ((sym (eql array)) env)

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

6.2.6 Classes

Class: junction
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct subclasses
Direct methods

junction-ctypes.

Direct slots
Slot: %ctypes
Type

list

Initargs

:ctypes

Readers

junction-ctypes.

Writers

This slot is read-only.


Appendix A Indexes


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

A.1 Concepts


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

A.2 Functions

Jump to:   %  
A   B   C   D   E   F   G   J   L   M   N   O   P   R   S   T   U   V  
Index Entry  Section

%
%fuzz-values-ctype: Private ordinary functions
%parse-lambda-list: Private ordinary functions
%parse-values-ctype: Private ordinary functions

A
and/tri: Public macros
array-ctype: Private ordinary functions

B
basic: Public method combinations
bot: Public ordinary functions
bot-p: Public ordinary functions

C
carray: Public ordinary functions
carray-dims: Public generic functions
carray-dims: Public generic functions
carray-eaet: Public generic functions
carray-eaet: Public generic functions
carray-simplicity: Public generic functions
carray-simplicity: Public generic functions
carray-uaet: Public generic functions
carray-uaet: Public generic functions
cclass: Public ordinary functions
cclass-class: Public generic functions
cclass-class: Public generic functions
ccomplex: Public ordinary functions
ccomplex-ucpt: Public generic functions
ccomplex-ucpt: Public generic functions
ccons: Public ordinary functions
ccons-bottom-p: Private ordinary functions
ccons-car: Public generic functions
ccons-car: Public generic functions
ccons-cdr: Public generic functions
ccons-cdr: Public generic functions
cfunction: Public ordinary functions
cfunction-lambda-list: Public generic functions
cfunction-lambda-list: Public generic functions
cfunction-returns: Public generic functions
cfunction-returns: Public generic functions
charset: Public ordinary functions
charset-pairs: Public generic functions
charset-pairs: Public generic functions
class-specifier-ctype: Private ordinary functions
cmember: Public ordinary functions
cmember-members: Public generic functions
cmember-members: Public generic functions
coerce-to-values: Private generic functions
coerce-to-values: Private generic functions
coerce-to-values: Private generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
Compiler Macro, every/tri: Public compiler macros
Compiler Macro, notany/tri: Public compiler macros
Compiler Macro, notevery/tri: Public compiler macros
Compiler Macro, some/tri: Public compiler macros
complex-ctype: Private ordinary functions
complex-ucptp: Private macros
conjoin: Public ordinary functions
conjoin-cclass-carray: Private ordinary functions
conjoin-charset-pairs: Private ordinary functions
conjoin-cmember: Private ordinary functions
conjoin-disjunction: Private ordinary functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjunction: Public ordinary functions
cons-ctype: Private ordinary functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
csatisfies: Public ordinary functions
csatisfies-fname: Public generic functions
csatisfies-fname: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
cvalues: Public ordinary functions
cvalues-optional: Public generic functions
cvalues-optional: Public generic functions
cvalues-required: Public generic functions
cvalues-required: Public generic functions
cvalues-rest: Public generic functions
cvalues-rest: Public generic functions

D
defexclusive: Private macros
defexclusive/2: Private macros
defexistential: Private macros
define-constant: Private macros
definfinite: Private macros
disjoin: Public ordinary functions
disjoin-charset-pairs: Private ordinary functions
disjoin-cmember: Private ordinary functions
disjoin-cmember-disjunction: Private ordinary functions
disjoin-conjunction: Private ordinary functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjunction: Public ordinary functions

E
error-interval-designator: Private ordinary functions
every/tri: Public compiler macros
every/tri: Public ordinary functions

F
float-range: Private ordinary functions
fpzero: Public ordinary functions
fpzero-kind: Public generic functions
fpzero-kind: Public generic functions
fpzero-zero: Public generic functions
fpzero-zero: Public generic functions
Function, %fuzz-values-ctype: Private ordinary functions
Function, %parse-lambda-list: Private ordinary functions
Function, %parse-values-ctype: Private ordinary functions
Function, array-ctype: Private ordinary functions
Function, bot: Public ordinary functions
Function, bot-p: Public ordinary functions
Function, carray: Public ordinary functions
Function, cclass: Public ordinary functions
Function, ccomplex: Public ordinary functions
Function, ccons: Public ordinary functions
Function, ccons-bottom-p: Private ordinary functions
Function, cfunction: Public ordinary functions
Function, charset: Public ordinary functions
Function, class-specifier-ctype: Private ordinary functions
Function, cmember: Public ordinary functions
Function, complex-ctype: Private ordinary functions
Function, conjoin: Public ordinary functions
Function, conjoin-cclass-carray: Private ordinary functions
Function, conjoin-charset-pairs: Private ordinary functions
Function, conjoin-cmember: Private ordinary functions
Function, conjoin-disjunction: Private ordinary functions
Function, conjunction: Public ordinary functions
Function, cons-ctype: Private ordinary functions
Function, csatisfies: Public ordinary functions
Function, cvalues: Public ordinary functions
Function, disjoin: Public ordinary functions
Function, disjoin-charset-pairs: Private ordinary functions
Function, disjoin-cmember: Private ordinary functions
Function, disjoin-cmember-disjunction: Private ordinary functions
Function, disjoin-conjunction: Private ordinary functions
Function, disjunction: Public ordinary functions
Function, error-interval-designator: Private ordinary functions
Function, every/tri: Public ordinary functions
Function, float-range: Private ordinary functions
Function, fpzero: Public ordinary functions
Function, function-ctype: Private ordinary functions
Function, function-top: Public ordinary functions
Function, function-top-p: Public ordinary functions
Function, lambda-list-conjoin: Private ordinary functions
Function, lambda-list-top: Public ordinary functions
Function, lambda-list-top-p: Private ordinary functions
Function, mapcar-rcurry: Private ordinary functions
Function, member-ctype: Private ordinary functions
Function, negate-charset-pairs: Private ordinary functions
Function, negation: Public ordinary functions
Function, notany/tri: Public ordinary functions
Function, notevery/tri: Public ordinary functions
Function, parse: Private ordinary functions
Function, parse-interval-designator: Private ordinary functions
Function, parse-lambda-list: Private ordinary functions
Function, parse-values-ctype: Private ordinary functions
Function, range: Public ordinary functions
Function, range-ctype: Private ordinary functions
Function, ranges-disjoint-p: Private ordinary functions
Function, rational-range: Private ordinary functions
Function, ratiop: Private ordinary functions
Function, reconstant: Private ordinary functions
Function, satisfies-ctype: Private ordinary functions
Function, sequence-cclass-p: Private ordinary functions
Function, simple-array-p: Private ordinary functions
Function, single-value: Private ordinary functions
Function, some/tri: Public ordinary functions
Function, specifier-ctype: Public ordinary functions
Function, sub-lambda-list-p: Private ordinary functions
Function, subclassp: Private ordinary functions
Function, subfunction-cclass-p: Private ordinary functions
Function, top: Public ordinary functions
Function, top-p: Public ordinary functions
Function, typexpand: Private ordinary functions
Function, unparse-lambda-list: Private ordinary functions
Function, unparse-vector-simple: Private ordinary functions
Function, values-bot: Public ordinary functions
Function, values-bot-p: Public ordinary functions
Function, values-specifier-ctype: Public ordinary functions
Function, values-top: Public ordinary functions
Function, values-top-p: Public ordinary functions
function-ctype: Private ordinary functions
function-top: Public ordinary functions
function-top-p: Public ordinary functions

G
Generic Function, carray-dims: Public generic functions
Generic Function, carray-eaet: Public generic functions
Generic Function, carray-simplicity: Public generic functions
Generic Function, carray-uaet: Public generic functions
Generic Function, cclass-class: Public generic functions
Generic Function, ccomplex-ucpt: Public generic functions
Generic Function, ccons-car: Public generic functions
Generic Function, ccons-cdr: Public generic functions
Generic Function, cfunction-lambda-list: Public generic functions
Generic Function, cfunction-returns: Public generic functions
Generic Function, charset-pairs: Public generic functions
Generic Function, cmember-members: Public generic functions
Generic Function, coerce-to-values: Private generic functions
Generic Function, cofinitep: Public generic functions
Generic Function, conjoin/2: Public generic functions
Generic Function, conjointp: Public generic functions
Generic Function, cons-specifier-ctype: Private generic functions
Generic Function, csatisfies-fname: Public generic functions
Generic Function, ctype=: Public generic functions
Generic Function, ctypep: Public generic functions
Generic Function, cvalues-optional: Public generic functions
Generic Function, cvalues-required: Public generic functions
Generic Function, cvalues-rest: Public generic functions
Generic Function, disjoin/2: Public generic functions
Generic Function, disjointp: Public generic functions
Generic Function, fpzero-kind: Public generic functions
Generic Function, fpzero-zero: Public generic functions
Generic Function, junction-ctypes: Public generic functions
Generic Function, lambda-list-aokp: Public generic functions
Generic Function, lambda-list-key: Public generic functions
Generic Function, lambda-list-keyp: Public generic functions
Generic Function, lambda-list-optional: Public generic functions
Generic Function, lambda-list-required: Public generic functions
Generic Function, lambda-list-rest: Public generic functions
Generic Function, negate: Public generic functions
Generic Function, negation-ctype: Public generic functions
Generic Function, range-high: Public generic functions
Generic Function, range-high-exclusive-p: Public generic functions
Generic Function, range-kind: Public generic functions
Generic Function, range-low: Public generic functions
Generic Function, range-low-exclusive-p: Public generic functions
Generic Function, subctypep: Public generic functions
Generic Function, subtract: Public generic functions
Generic Function, symbol-specifier-ctype: Private generic functions
Generic Function, unparse: Public generic functions

J
junction-ctypes: Public generic functions
junction-ctypes: Public generic functions

L
lambda-list-aokp: Public generic functions
lambda-list-aokp: Public generic functions
lambda-list-conjoin: Private ordinary functions
lambda-list-key: Public generic functions
lambda-list-key: Public generic functions
lambda-list-keyp: Public generic functions
lambda-list-keyp: Public generic functions
lambda-list-optional: Public generic functions
lambda-list-optional: Public generic functions
lambda-list-required: Public generic functions
lambda-list-required: Public generic functions
lambda-list-rest: Public generic functions
lambda-list-rest: Public generic functions
lambda-list-top: Public ordinary functions
lambda-list-top-p: Private ordinary functions

M
Macro, and/tri: Public macros
Macro, complex-ucptp: Private macros
Macro, defexclusive: Private macros
Macro, defexclusive/2: Private macros
Macro, defexistential: Private macros
Macro, define-constant: Private macros
Macro, definfinite: Private macros
Macro, or/tri: Public macros
Macro, range-kindp: Private macros
Macro, surely: Public macros
make-load-form: Public standalone methods
mapcar-rcurry: Private ordinary functions
member-ctype: Private ordinary functions
Method Combination, basic: Public method combinations
Method, carray-dims: Public generic functions
Method, carray-eaet: Public generic functions
Method, carray-simplicity: Public generic functions
Method, carray-uaet: Public generic functions
Method, cclass-class: Public generic functions
Method, ccomplex-ucpt: Public generic functions
Method, ccons-car: Public generic functions
Method, ccons-cdr: Public generic functions
Method, cfunction-lambda-list: Public generic functions
Method, cfunction-returns: Public generic functions
Method, charset-pairs: Public generic functions
Method, cmember-members: Public generic functions
Method, coerce-to-values: Private generic functions
Method, coerce-to-values: Private generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, csatisfies-fname: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, cvalues-optional: Public generic functions
Method, cvalues-required: Public generic functions
Method, cvalues-rest: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, fpzero-kind: Public generic functions
Method, fpzero-zero: Public generic functions
Method, junction-ctypes: Public generic functions
Method, lambda-list-aokp: Public generic functions
Method, lambda-list-key: Public generic functions
Method, lambda-list-keyp: Public generic functions
Method, lambda-list-optional: Public generic functions
Method, lambda-list-required: Public generic functions
Method, lambda-list-rest: Public generic functions
Method, make-load-form: Public standalone methods
Method, negate: Public generic functions
Method, negate: Public generic functions
Method, negate: Public generic functions
Method, negate: Public generic functions
Method, negate: Public generic functions
Method, negate: Public generic functions
Method, negate: Public generic functions
Method, negation-ctype: Public generic functions
Method, print-object: Public standalone methods
Method, range-high: Public generic functions
Method, range-high-exclusive-p: Public generic functions
Method, range-kind: Public generic functions
Method, range-low: Public generic functions
Method, range-low-exclusive-p: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions

N
negate: Public generic functions
negate: Public generic functions
negate: Public generic functions
negate: Public generic functions
negate: Public generic functions
negate: Public generic functions
negate: Public generic functions
negate: Public generic functions
negate-charset-pairs: Private ordinary functions
negation: Public ordinary functions
negation-ctype: Public generic functions
negation-ctype: Public generic functions
notany/tri: Public compiler macros
notany/tri: Public ordinary functions
notevery/tri: Public compiler macros
notevery/tri: Public ordinary functions

O
or/tri: Public macros

P
parse: Private ordinary functions
parse-interval-designator: Private ordinary functions
parse-lambda-list: Private ordinary functions
parse-values-ctype: Private ordinary functions
print-object: Public standalone methods

R
range: Public ordinary functions
range-ctype: Private ordinary functions
range-high: Public generic functions
range-high: Public generic functions
range-high-exclusive-p: Public generic functions
range-high-exclusive-p: Public generic functions
range-kind: Public generic functions
range-kind: Public generic functions
range-kindp: Private macros
range-low: Public generic functions
range-low: Public generic functions
range-low-exclusive-p: Public generic functions
range-low-exclusive-p: Public generic functions
ranges-disjoint-p: Private ordinary functions
rational-range: Private ordinary functions
ratiop: Private ordinary functions
reconstant: Private ordinary functions

S
satisfies-ctype: Private ordinary functions
sequence-cclass-p: Private ordinary functions
simple-array-p: Private ordinary functions
single-value: Private ordinary functions
some/tri: Public compiler macros
some/tri: Public ordinary functions
specifier-ctype: Public ordinary functions
sub-lambda-list-p: Private ordinary functions
subclassp: Private ordinary functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subfunction-cclass-p: Private ordinary functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
surely: Public macros
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions

T
top: Public ordinary functions
top-p: Public ordinary functions
typexpand: Private ordinary functions

U
unparse: Public generic functions
unparse: Public generic functions
unparse: Public generic functions
unparse: Public generic functions
unparse: Public generic functions
unparse: Public generic functions
unparse: Public generic functions
unparse: Public generic functions
unparse: Public generic functions
unparse: Public generic functions
unparse: Public generic functions
unparse: Public generic functions
unparse: Public generic functions
unparse: Public generic functions
unparse: Public generic functions
unparse-lambda-list: Private ordinary functions
unparse-vector-simple: Private ordinary functions

V
values-bot: Public ordinary functions
values-bot-p: Public ordinary functions
values-specifier-ctype: Public ordinary functions
values-top: Public ordinary functions
values-top-p: Public ordinary functions

Jump to:   %  
A   B   C   D   E   F   G   J   L   M   N   O   P   R   S   T   U   V  

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

A.3 Variables

Jump to:   %   *   +  
C   S  
Index Entry  Section

%
%aokp: Public classes
%car: Public classes
%cdr: Public classes
%class: Public classes
%ctype: Public classes
%ctypes: Private classes
%dims: Public classes
%eaet: Public classes
%fname: Public classes
%high: Public classes
%high-xp: Public classes
%keyp: Public classes
%keys: Public classes
%kind: Public classes
%kind: Public classes
%lambda-list: Public classes
%low: Public classes
%low-xp: Public classes
%members: Public classes
%optional: Public classes
%optional: Public classes
%pairs: Public classes
%required: Public classes
%required: Public classes
%rest: Public classes
%rest: Public classes
%returns: Public classes
%simplicity: Public classes
%uaet: Public classes
%ucpt: Public classes
%zero: Public classes

*
*bot*: Private special variables
*disjoint-classes*: Private special variables
*top*: Private special variables

+
+base-charset+: Private constants
+class-aliases+: Private constants
+complex-arrays-exist-p+: Private constants
+distinct-double-float-zeroes-p+: Private constants
+distinct-long-float-zeroes-p+: Private constants
+distinct-short-float-zeroes-p+: Private constants
+distinct-single-float-zeroes-p+: Private constants
+floats+: Private constants
+standard-charset+: Private constants
+string-uaets+: Private constants

C
Constant, +base-charset+: Private constants
Constant, +class-aliases+: Private constants
Constant, +complex-arrays-exist-p+: Private constants
Constant, +distinct-double-float-zeroes-p+: Private constants
Constant, +distinct-long-float-zeroes-p+: Private constants
Constant, +distinct-short-float-zeroes-p+: Private constants
Constant, +distinct-single-float-zeroes-p+: Private constants
Constant, +floats+: Private constants
Constant, +standard-charset+: Private constants
Constant, +string-uaets+: Private constants

S
Slot, %aokp: Public classes
Slot, %car: Public classes
Slot, %cdr: Public classes
Slot, %class: Public classes
Slot, %ctype: Public classes
Slot, %ctypes: Private classes
Slot, %dims: Public classes
Slot, %eaet: Public classes
Slot, %fname: Public classes
Slot, %high: Public classes
Slot, %high-xp: Public classes
Slot, %keyp: Public classes
Slot, %keys: Public classes
Slot, %kind: Public classes
Slot, %kind: Public classes
Slot, %lambda-list: Public classes
Slot, %low: Public classes
Slot, %low-xp: Public classes
Slot, %members: Public classes
Slot, %optional: Public classes
Slot, %optional: Public classes
Slot, %pairs: Public classes
Slot, %required: Public classes
Slot, %required: Public classes
Slot, %rest: Public classes
Slot, %rest: Public classes
Slot, %returns: Public classes
Slot, %simplicity: Public classes
Slot, %uaet: Public classes
Slot, %ucpt: Public classes
Slot, %zero: Public classes
Special Variable, *bot*: Private special variables
Special Variable, *disjoint-classes*: Private special variables
Special Variable, *top*: Private special variables

Jump to:   %   *   +  
C   S  

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

A.4 Data types

Jump to:   C   D   E   F   G   J   L   M   N   P   R   S   T   U  
Index Entry  Section

C
carray: Public classes
carray.lisp: The ctype/carray․lisp file
ccl.lisp: The ctype/config/ccl․lisp file
cclass: Public classes
cclass.lisp: The ctype/cclass․lisp file
ccomplex: Public classes
ccomplex.lisp: The ctype/ccomplex․lisp file
ccons: Public classes
ccons.lisp: The ctype/ccons․lisp file
cfunction: Public classes
cfunction.lisp: The ctype/cfunction․lisp file
charset: Public classes
charset.lisp: The ctype/charset․lisp file
clasp.lisp: The ctype/config/clasp․lisp file
Class, carray: Public classes
Class, cclass: Public classes
Class, ccomplex: Public classes
Class, ccons: Public classes
Class, cfunction: Public classes
Class, charset: Public classes
Class, cmember: Public classes
Class, conjunction: Public classes
Class, csatisfies: Public classes
Class, ctype: Public classes
Class, cvalues: Public classes
Class, disjunction: Public classes
Class, fpzero: Public classes
Class, junction: Private classes
Class, lambda-list: Public classes
Class, negation: Public classes
Class, range: Public classes
classes.lisp: The ctype/classes․lisp file
cmember: Public classes
cmember.lisp: The ctype/cmember․lisp file
cmucl.lisp: The ctype/config/cmucl․lisp file
common-post.lisp: The ctype/config/common-post․lisp file
common.lisp: The ctype/config/common․lisp file
config: The ctype/config module
conjunction: Public classes
conjunction.lisp: The ctype/conjunction․lisp file
create.lisp: The ctype/create․lisp file
csatisfies: Public classes
csatisfies.lisp: The ctype/csatisfies․lisp file
ctype: The ctype system
ctype: The ctype package
ctype: Public classes
ctype.asd: The ctype/ctype․asd file
cvalues: Public classes
cvalues.lisp: The ctype/cvalues․lisp file

D
disjunction: Public classes
disjunction.lisp: The ctype/disjunction․lisp file

E
ecl.lisp: The ctype/config/ecl․lisp file

F
File, carray.lisp: The ctype/carray․lisp file
File, ccl.lisp: The ctype/config/ccl․lisp file
File, cclass.lisp: The ctype/cclass․lisp file
File, ccomplex.lisp: The ctype/ccomplex․lisp file
File, ccons.lisp: The ctype/ccons․lisp file
File, cfunction.lisp: The ctype/cfunction․lisp file
File, charset.lisp: The ctype/charset․lisp file
File, clasp.lisp: The ctype/config/clasp․lisp file
File, classes.lisp: The ctype/classes․lisp file
File, cmember.lisp: The ctype/cmember․lisp file
File, cmucl.lisp: The ctype/config/cmucl․lisp file
File, common-post.lisp: The ctype/config/common-post․lisp file
File, common.lisp: The ctype/config/common․lisp file
File, conjunction.lisp: The ctype/conjunction․lisp file
File, create.lisp: The ctype/create․lisp file
File, csatisfies.lisp: The ctype/csatisfies․lisp file
File, ctype.asd: The ctype/ctype․asd file
File, cvalues.lisp: The ctype/cvalues․lisp file
File, disjunction.lisp: The ctype/disjunction․lisp file
File, ecl.lisp: The ctype/config/ecl․lisp file
File, fpzero.lisp: The ctype/fpzero․lisp file
File, generic-functions.lisp: The ctype/generic-functions․lisp file
File, method-combination.lisp: The ctype/method-combination․lisp file
File, negation.lisp: The ctype/negation․lisp file
File, packages.lisp: The ctype/packages․lisp file
File, pairwise.lisp: The ctype/pairwise․lisp file
File, parse.lisp: The ctype/parse․lisp file
File, range.lisp: The ctype/range․lisp file
File, sbcl.lisp: The ctype/config/sbcl․lisp file
File, sicl.lisp: The ctype/config/sicl․lisp file
File, trivalent.lisp: The ctype/trivalent․lisp file
File, unsupported.lisp: The ctype/config/unsupported․lisp file
fpzero: Public classes
fpzero.lisp: The ctype/fpzero․lisp file

G
generic-functions.lisp: The ctype/generic-functions․lisp file

J
junction: Private classes

L
lambda-list: Public classes

M
method-combination.lisp: The ctype/method-combination․lisp file
Module, config: The ctype/config module

N
negation: Public classes
negation.lisp: The ctype/negation․lisp file

P
Package, ctype: The ctype package
packages.lisp: The ctype/packages․lisp file
pairwise.lisp: The ctype/pairwise․lisp file
parse.lisp: The ctype/parse․lisp file

R
range: Public classes
range.lisp: The ctype/range․lisp file

S
sbcl.lisp: The ctype/config/sbcl․lisp file
sicl.lisp: The ctype/config/sicl․lisp file
System, ctype: The ctype system

T
trivalent.lisp: The ctype/trivalent․lisp file

U
unsupported.lisp: The ctype/config/unsupported․lisp file

Jump to:   C   D   E   F   G   J   L   M   N   P   R   S   T   U