The ctype Reference Manual

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

• and/tri (macro).
• every/tri (compiler macro).
• every/tri (function).
• notany/tri (compiler macro).
• notany/tri (function).
• notevery/tri (compiler macro).
• notevery/tri (function).
• or/tri (macro).
• some/tri (compiler macro).
• some/tri (function).
• surely (macro).

---

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

• define-constant (macro).
• reconstant (function).

---

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

• clasp.lisp (file).
• common.lisp (file).

Source

ctype.asd.

Parent Component

config (module).

Internals

• +base-charset+ (constant).
• +class-aliases+ (constant).
• +complex-arrays-exist-p+ (constant).
• +floats+ (constant).
• +standard-charset+ (constant).
• +string-uaets+ (constant).
• complex-ucptp (macro).
• ratiop (function).
• simple-array-p (function).
• subclassp (function).
• typexpand (function).

---

4.1.8 ctype/config/ccl.lisp

If Feature

:ccl

Dependencies

• sbcl.lisp (file).
• clasp.lisp (file).
• common.lisp (file).

Source

ctype.asd.

Parent Component

config (module).

---

4.1.9 ctype/config/cmucl.lisp

If Feature

:cmucl

Dependencies

• ccl.lisp (file).
• sbcl.lisp (file).
• clasp.lisp (file).
• common.lisp (file).

Source

ctype.asd.

Parent Component

config (module).

---

4.1.10 ctype/config/sicl.lisp

If Feature

:sicl

Dependencies

• cmucl.lisp (file).
• ccl.lisp (file).
• sbcl.lisp (file).
• clasp.lisp (file).
• common.lisp (file).

Source

ctype.asd.

Parent Component

config (module).

---

4.1.11 ctype/config/ecl.lisp

If Feature

:ecl

Dependencies

• sicl.lisp (file).
• cmucl.lisp (file).
• ccl.lisp (file).
• sbcl.lisp (file).
• clasp.lisp (file).
• common.lisp (file).

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

• ecl.lisp (file).
• sicl.lisp (file).
• cmucl.lisp (file).
• ccl.lisp (file).
• sbcl.lisp (file).
• clasp.lisp (file).
• common.lisp (file).

Source

ctype.asd.

Parent Component

config (module).

---

4.1.13 ctype/config/common-post.lisp

Dependencies

• unsupported.lisp (file).
• ecl.lisp (file).
• sicl.lisp (file).
• cmucl.lisp (file).
• ccl.lisp (file).
• sbcl.lisp (file).
• clasp.lisp (file).
• common.lisp (file).

Source

ctype.asd.

Parent Component

config (module).

Internals

• +distinct-double-float-zeroes-p+ (constant).
• +distinct-long-float-zeroes-p+ (constant).
• +distinct-short-float-zeroes-p+ (constant).
• +distinct-single-float-zeroes-p+ (constant).
• range-kindp (macro).

---

4.1.14 ctype/classes.lisp

Dependency

packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• carray (class).
• carray-dims (reader method).
• carray-eaet (reader method).
• carray-simplicity (reader method).
• carray-uaet (reader method).
• cclass (class).
• cclass-class (reader method).
• ccomplex (class).
• ccomplex-ucpt (reader method).
• ccons (class).
• ccons-car (reader method).
• ccons-cdr (reader method).
• cfunction (class).
• cfunction-lambda-list (reader method).
• cfunction-returns (reader method).
• charset (class).
• charset-pairs (reader method).
• cmember (class).
• cmember-members (reader method).
• conjunction (class).
• csatisfies (class).
• csatisfies-fname (reader method).
• ctype (class).
• cvalues (class).
• cvalues-optional (reader method).
• cvalues-required (reader method).
• cvalues-rest (reader method).
• disjunction (class).
• fpzero (class).
• fpzero-kind (reader method).
• fpzero-zero (reader method).
• junction-ctypes (reader method).
• lambda-list (class).
• lambda-list-aokp (reader method).
• lambda-list-key (reader method).
• lambda-list-keyp (reader method).
• lambda-list-optional (reader method).
• lambda-list-required (reader method).
• lambda-list-rest (reader method).
• make-load-form (method).
• negation (class).
• negation-ctype (reader method).
• range (class).
• range-high (reader method).
• range-high-exclusive-p (reader method).
• range-kind (reader method).
• range-low (reader method).
• range-low-exclusive-p (reader method).

Internals

junction (class).

---

4.1.15 ctype/create.lisp

Dependencies

• classes.lisp (file).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• bot (function).
• bot-p (function).
• carray (function).
• cclass (function).
• ccomplex (function).
• ccons (function).
• cfunction (function).
• charset (function).
• cmember (function).
• conjunction (function).
• csatisfies (function).
• cvalues (function).
• disjunction (function).
• fpzero (function).
• function-top (function).
• lambda-list-top (function).
• negation (function).
• range (function).
• top (function).
• top-p (function).
• values-bot (function).
• values-top (function).

Internals

• *bot* (special variable).
• *top* (special variable).
• single-value (function).

---

4.1.16 ctype/generic-functions.lisp

Dependencies

• trivalent.lisp (file).
• method-combination.lisp (file).
• create.lisp (file).
• classes.lisp (file).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• cofinitep (generic function).
• conjoin (function).
• conjoin/2 (generic function).
• conjointp (generic function).
• ctype= (generic function).
• ctypep (generic function).
• disjoin (function).
• disjoin/2 (generic function).
• disjointp (generic function).
• negate (generic function).
• print-object (method).
• subctypep (generic function).
• subtract (generic function).
• unparse (generic function).

---

4.1.17 ctype/cclass.lisp

Dependencies

• generic-functions.lisp (file).
• classes.lisp (file).
• config (module).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• cofinitep (method).
• conjoin/2 (method).
• ctype= (method).
• ctypep (method).
• disjoin/2 (method).
• disjointp (method).
• subctypep (method).
• unparse (method).

Internals

*disjoint-classes* (special variable).

---

4.1.18 ctype/negation.lisp

Dependencies

• generic-functions.lisp (file).
• create.lisp (file).
• classes.lisp (file).
• trivalent.lisp (file).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• conjoin/2 (method).
• conjoin/2 (method).
• conjoin/2 (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• ctype= (method).
• ctypep (method).
• disjoin/2 (method).
• disjoin/2 (method).
• disjoin/2 (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• negate (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subtract (method).
• unparse (method).

---

4.1.19 ctype/conjunction.lisp

Dependencies

• generic-functions.lisp (file).
• create.lisp (file).
• classes.lisp (file).
• trivalent.lisp (file).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• conjoin/2 (method).
• conjoin/2 (method).
• conjoin/2 (method).
• conjointp (method).
• conjointp (method).
• ctypep (method).
• disjoin/2 (method).
• disjoin/2 (method).
• disjointp (method).
• disjointp (method).
• negate (method).
• subctypep (method).
• subctypep (method).
• unparse (method).

Internals

disjoin-conjunction (function).

---

4.1.20 ctype/disjunction.lisp

Dependencies

• generic-functions.lisp (file).
• create.lisp (file).
• classes.lisp (file).
• trivalent.lisp (file).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• conjoin/2 (method).
• conjoin/2 (method).
• conjointp (method).
• conjointp (method).
• ctypep (method).
• disjoin/2 (method).
• disjoin/2 (method).
• disjoin/2 (method).
• disjointp (method).
• disjointp (method).
• negate (method).
• subctypep (method).
• subctypep (method).
• unparse (method).

Internals

conjoin-disjunction (function).

---

4.1.21 ctype/ccons.lisp

Dependencies

• generic-functions.lisp (file).
• create.lisp (file).
• classes.lisp (file).
• trivalent.lisp (file).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• cofinitep (method).
• conjoin/2 (method).
• conjointp (method).
• ctype= (method).
• ctypep (method).
• ctypep (method).
• disjoin/2 (method).
• disjointp (method).
• negate (method).
• subctypep (method).
• subtract (method).
• unparse (method).

---

4.1.22 ctype/range.lisp

Dependencies

• generic-functions.lisp (file).
• create.lisp (file).
• classes.lisp (file).
• config (module).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• cofinitep (method).
• conjoin/2 (method).
• conjointp (method).
• ctype= (method).
• ctypep (method).
• disjoin/2 (method).
• disjointp (method).
• negate (method).
• subctypep (method).
• subtract (method).
• unparse (method).

Internals

ranges-disjoint-p (function).

---

4.1.23 ctype/fpzero.lisp

Dependencies

• generic-functions.lisp (file).
• create.lisp (file).
• classes.lisp (file).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• cofinitep (method).
• conjoin/2 (method).
• conjointp (method).
• ctype= (method).
• ctypep (method).
• disjoin/2 (method).
• disjointp (method).
• subctypep (method).
• subtract (method).
• unparse (method).

---

4.1.24 ctype/ccomplex.lisp

Dependencies

• generic-functions.lisp (file).
• create.lisp (file).
• classes.lisp (file).
• config (module).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• cofinitep (method).
• conjoin/2 (method).
• conjointp (method).
• ctype= (method).
• ctypep (method).
• ctypep (method).
• disjoin/2 (method).
• disjointp (method).
• subctypep (method).
• subtract (method).
• unparse (method).

---

4.1.25 ctype/cmember.lisp

Dependencies

• generic-functions.lisp (file).
• create.lisp (file).
• classes.lisp (file).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• cofinitep (method).
• conjoin/2 (method).
• conjoin/2 (method).
• conjoin/2 (method).
• conjointp (method).
• ctypep (method).
• disjoin/2 (method).
• disjoin/2 (method).
• disjoin/2 (method).
• subctypep (method).
• subctypep (method).
• subtract (method).
• subtract (method).
• subtract (method).
• unparse (method).

Internals

• conjoin-cmember (function).
• disjoin-cmember (function).

---

4.1.26 ctype/carray.lisp

Dependencies

• generic-functions.lisp (file).
• create.lisp (file).
• classes.lisp (file).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• cofinitep (method).
• conjoin/2 (method).
• conjointp (method).
• ctype= (method).
• ctypep (method).
• ctypep (method).
• disjoin/2 (method).
• disjointp (method).
• subctypep (method).
• subtract (method).
• unparse (method).

Internals

unparse-vector-simple (function).

---

4.1.27 ctype/charset.lisp

Dependencies

• generic-functions.lisp (file).
• create.lisp (file).
• classes.lisp (file).
• config (module).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• cofinitep (method).
• conjoin/2 (method).
• conjointp (method).
• ctype= (method).
• ctypep (method).
• disjoin/2 (method).
• disjointp (method).
• negate (method).
• subctypep (method).
• subtract (method).
• unparse (method).

Internals

• conjoin-charset-pairs (function).
• disjoin-charset-pairs (function).
• negate-charset-pairs (function).

---

4.1.28 ctype/cvalues.lisp

Dependencies

• generic-functions.lisp (file).
• create.lisp (file).
• classes.lisp (file).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• conjoin/2 (method).
• ctypep (method).
• subctypep (method).
• unparse (method).
• values-bot-p (function).
• values-top-p (function).

---

4.1.29 ctype/cfunction.lisp

Dependencies

• cvalues.lisp (file).
• generic-functions.lisp (file).
• create.lisp (file).
• classes.lisp (file).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• cofinitep (method).
• conjoin/2 (method).
• ctypep (method).
• function-top-p (function).
• subctypep (method).
• unparse (method).

Internals

• lambda-list-conjoin (function).
• lambda-list-top-p (function).
• sub-lambda-list-p (function).
• unparse-lambda-list (function).

---

4.1.30 ctype/csatisfies.lisp

Dependencies

• generic-functions.lisp (file).
• create.lisp (file).
• classes.lisp (file).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• ctype= (method).
• ctypep (method).
• subctypep (method).
• unparse (method).

---

4.1.31 ctype/pairwise.lisp

Dependencies

• generic-functions.lisp (file).
• trivalent.lisp (file).
• create.lisp (file).
• classes.lisp (file).
• cfunction.lisp (file).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• conjoin/2 (method).
• conjoin/2 (method).
• conjoin/2 (method).
• conjoin/2 (method).
• conjoin/2 (method).
• conjoin/2 (method).
• conjoin/2 (method).
• conjoin/2 (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• conjointp (method).
• disjoin/2 (method).
• disjoin/2 (method).
• disjoin/2 (method).
• disjoin/2 (method).
• disjoin/2 (method).
• disjoin/2 (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• disjointp (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subctypep (method).
• subtract (method).
• subtract (method).
• subtract (method).
• subtract (method).
• subtract (method).
• subtract (method).
• subtract (method).
• subtract (method).

Internals

• ccons-bottom-p (function).
• conjoin-cclass-carray (function).
• defexclusive (macro).
• defexclusive/2 (macro).
• defexistential (macro).
• definfinite (macro).
• disjoin-cmember-disjunction (function).
• sequence-cclass-p (function).
• subfunction-cclass-p (function).

---

4.1.32 ctype/parse.lisp

Dependencies

• generic-functions.lisp (file).
• create.lisp (file).
• classes.lisp (file).
• config (module).
• packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

• specifier-ctype (function).
• values-specifier-ctype (function).

Internals

• %fuzz-values-ctype (function).
• %parse-lambda-list (function).
• %parse-values-ctype (function).
• array-ctype (function).
• class-specifier-ctype (function).
• coerce-to-values (generic function).
• complex-ctype (function).
• cons-ctype (function).
• cons-specifier-ctype (generic function).
• error-interval-designator (function).
• float-range (function).
• function-ctype (function).
• mapcar-rcurry (function).
• member-ctype (function).
• parse (function).
• parse-interval-designator (function).
• parse-lambda-list (function).
• parse-values-ctype (function).
• range-ctype (function).
• rational-range (function).
• satisfies-ctype (function).
• symbol-specifier-ctype (generic function).

---

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.

---