The ctype Reference Manual

Table of Contents

The ctype Reference Manual

This is the ctype Reference Manual, generated automatically by Declt version 3.0 "Montgomery Scott" on Sun May 15 04:33:04 2022 GMT+0.

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:

• CCL
• Clasp
• CMUCL
• ECL
• SBCL
• SICL

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:

• cclass: a ctype representing a class. The class may be read with the cclass-class function.
• negation: The negation of its negation-ctype.
• conjunction/disjunction: Represents uses of the and/or (resp.) type specifier that could not be further simplified. junction-ctypes returns a list of the ctypes it is a con/disjunction of.
• ccons: A cons type. ccons-car and ccons-cdr read the car and cdr types respectively.
• range: A range of real numbers. range-kind is one of integer, ratio, short-float, single-float, double-float, or long-float. range-low, range-low-exclusive-p, range-high, and range-high-exclusive-p read the properties of the range.
• ccomplex: A complex type. ccomplex-ucpt reads the upgraded complex part type, which is either the symbol cl:*, or something returned by cl:upgraded-complex-part-type.
• cmember: A member or eql type. cmember-members returns a list of the objects of the type.
• carray: An array type. carray-simplicity reads :simple or :complex accordingly; array types including both are represented as disjunctions. carray-uaet reads the upgraded array element type. carray-dims reads the dimension specification, which is a dimension-spec as accepted by the cl:array compound type specifier.
• charset: A subtype of character. charset-pairs reads the description of the codes included, which is as described above for +standard-charset+ in the configuration section.
• cvalues: A values type.
• cfunction: A function type.
• csatisfies: A satisfies type.

Additional classes may be defined by the programmer.

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

• disjointp has the same return value convention as subtypep, and similarly, methods should use call-next-method if the answer cannot be determined. disjointp can be used to determine if two ctypes are completely disjoint: (disjointp (specifier-ctype x) (specifier-ctype y)) is equivalent to (subctypep (conjoin (specifier-ctype x) (specifier-ctype y)) (specifier-ctype nil)).
• negate computes the negation of a ctype, i.e. if a ctype is specified by x, (negate that-ctype) is specified by (not x). The default method makes a negation ctype. These ctypes do not provide enough information for all functions to work well, e.g. they may result in nil nil answers from subctypep. As such, if the negation of a type can be expressed in a better way, a specializing method on negate should be defined.
• conjoin/2 and disjoin/2 are the two-argument functions underlying conjoin and disjoin respectively. If no special behavior is defined, conjoin and disjoin will create conjunction and disjunction types, which do not always provide enough information for precise answers from subctypep.
• subtract, given ctypes specified by x and y, may compute the ctype specified by (and x (not y)). If no special behavior is defined with a method, a conjunction ctype will be made, which is suboptimal.

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.

2.1 ctype

Author

Bike <aeshtaer@gmail.com>

License

BSD

Description

An implementation of the Common Lisp type system.

Source

ctype.asd (file)

Components

• packages.lisp (file)
• trivalent.lisp (file)
• method-combination.lisp (file)
• config (module)
• classes.lisp (file)
• create.lisp (file)
• generic-functions.lisp (file)
• cclass.lisp (file)
• negation.lisp (file)
• conjunction.lisp (file)
• disjunction.lisp (file)
• ccons.lisp (file)
• range.lisp (file)
• fpzero.lisp (file)
• ccomplex.lisp (file)
• cmember.lisp (file)
• carray.lisp (file)
• charset.lisp (file)
• cvalues.lisp (file)
• cfunction.lisp (file)
• csatisfies.lisp (file)
• pairwise.lisp (file)
• parse.lisp (file)

3 Modules

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

3.1 ctype/config

Parent

ctype (system)

Location

config/

Components

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

4 Files

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

4.1 Lisp

4.1.1 ctype.asd

Location

ctype.asd

Systems

ctype (system)

4.1.2 ctype/packages.lisp

Parent

ctype (system)

Location

packages.lisp

Packages

ctype

4.1.3 ctype/trivalent.lisp

Dependency

packages.lisp (file)

Parent

ctype (system)

Location

trivalent.lisp

Exported Definitions

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

Parent

ctype (system)

Location

method-combination.lisp

4.1.5 ctype/config/common.lisp

Parent

config (module)

Location

config/common.lisp

Internal Definitions

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

4.1.6 ctype/config/clasp.lisp

If Feature

clasp

Dependency

common.lisp (file)

Parent

config (module)

Location

config/clasp.lisp

4.1.7 ctype/config/sbcl.lisp

If Feature

sbcl

Dependencies

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

Parent

config (module)

Location

config/sbcl.lisp

Internal Definitions

• +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)

Parent

config (module)

Location

config/ccl.lisp

4.1.9 ctype/config/cmucl.lisp

If Feature

cmucl

Dependencies

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

Parent

config (module)

Location

config/cmucl.lisp

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)

Parent

config (module)

Location

config/sicl.lisp

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)

Parent

config (module)

Location

config/ecl.lisp

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)

Parent

config (module)

Location

config/unsupported.lisp

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)

Parent

config (module)

Location

config/common-post.lisp

Internal Definitions

• +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)

Parent

ctype (system)

Location

classes.lisp

Exported Definitions

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

Internal Definitions

junction (class)

4.1.15 ctype/create.lisp

Dependencies

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

Parent

ctype (system)

Location

create.lisp

Exported Definitions

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

Internal Definitions

• *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)

Parent

ctype (system)

Location

generic-functions.lisp

Exported Definitions

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

4.1.17 ctype/cclass.lisp

Dependencies

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

Parent

ctype (system)

Location

cclass.lisp

Exported Definitions

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

Internal Definitions

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

Parent

ctype (system)

Location

negation.lisp

Exported Definitions

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

Parent

ctype (system)

Location

conjunction.lisp

Exported Definitions

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

Internal Definitions

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)

Parent

ctype (system)

Location

disjunction.lisp

Exported Definitions

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

Internal Definitions

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)

Parent

ctype (system)

Location

ccons.lisp

Exported Definitions

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

Parent

ctype (system)

Location

range.lisp

Exported Definitions

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

Internal Definitions

ranges-disjoint-p (function)

4.1.23 ctype/fpzero.lisp

Dependencies

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

Parent

ctype (system)

Location

fpzero.lisp

Exported Definitions

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

Parent

ctype (system)

Location

ccomplex.lisp

Exported Definitions

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

Parent

ctype (system)

Location

cmember.lisp

Exported Definitions

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

Internal Definitions

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

Parent

ctype (system)

Location

carray.lisp

Exported Definitions

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

Internal Definitions

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)

Parent

ctype (system)

Location

charset.lisp

Exported Definitions

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

Internal Definitions

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

Parent

ctype (system)

Location

cvalues.lisp

Exported Definitions

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

Parent

ctype (system)

Location

cfunction.lisp

Exported Definitions

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

Internal Definitions

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

Parent

ctype (system)

Location

csatisfies.lisp

Exported Definitions

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

Parent

ctype (system)

Location

pairwise.lisp

Exported Definitions

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

Internal Definitions

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

Parent

ctype (system)

Location

parse.lisp

Exported Definitions

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

Internal Definitions

• %fuzz-values-ctype (function)
• %parse-lambda-list (function)
• %parse-values-ctype (function)
• array-ctype (function)
• class-specifier-ctype (function)
• coerce-to-values (generic function)
• coerce-to-values (method)
• coerce-to-values (method)
• complex-ctype (function)
• cons-ctype (function)
• cons-specifier-ctype (generic function)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• 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)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)

5 Packages

Packages are listed by definition order.

5.1 ctype

Source

packages.lisp (file)

Use List

common-lisp

Exported Definitions

• and/tri (macro)
• bot (function)
• bot-p (function)
• carray (function)
• carray (class)
• carray-dims (generic function)
• carray-dims (method)
• carray-eaet (generic function)
• carray-eaet (method)
• carray-simplicity (generic function)
• carray-simplicity (method)
• carray-uaet (generic function)
• carray-uaet (method)
• cclass (function)
• cclass (class)
• cclass-class (generic function)
• cclass-class (method)
• ccomplex (function)
• ccomplex (class)
• ccomplex-ucpt (generic function)
• ccomplex-ucpt (method)
• ccons (function)
• ccons (class)
• ccons-car (generic function)
• ccons-car (method)
• ccons-cdr (generic function)
• ccons-cdr (method)
• cfunction (function)
• cfunction (class)
• cfunction-lambda-list (generic function)
• cfunction-lambda-list (method)
• cfunction-returns (generic function)
• cfunction-returns (method)
• charset (function)
• charset (class)
• charset-pairs (generic function)
• charset-pairs (method)
• cmember (function)
• cmember (class)
• cmember-members (generic function)
• cmember-members (method)
• cofinitep (generic function)
• cofinitep (method)
• cofinitep (method)
• cofinitep (method)
• cofinitep (method)
• cofinitep (method)
• cofinitep (method)
• cofinitep (method)
• cofinitep (method)
• cofinitep (method)
• cofinitep (method)
• conjoin (function)
• conjoin/2 (generic function)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• conjoin/2 (method)
• 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 (generic function)
• 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)
• 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)
• conjunction (function)
• conjunction (class)
• csatisfies (function)
• csatisfies (class)
• csatisfies-fname (generic function)
• csatisfies-fname (method)
• ctype (class)
• ctype= (generic function)
• ctype= (method)
• ctype= (method)
• ctype= (method)
• ctype= (method)
• ctype= (method)
• ctype= (method)
• ctype= (method)
• ctype= (method)
• ctype= (method)
• ctype= (method)
• ctypep (generic function)
• ctypep (method)
• ctypep (method)
• ctypep (method)
• ctypep (method)
• ctypep (method)
• ctypep (method)
• ctypep (method)
• ctypep (method)
• ctypep (method)
• ctypep (method)
• ctypep (method)
• ctypep (method)
• ctypep (method)
• ctypep (method)
• ctypep (method)
• ctypep (method)
• ctypep (method)
• cvalues (function)
• cvalues (class)
• cvalues-optional (generic function)
• cvalues-optional (method)
• cvalues-required (generic function)
• cvalues-required (method)
• cvalues-rest (generic function)
• cvalues-rest (method)
• disjoin (function)
• disjoin/2 (generic function)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjoin/2 (method)
• disjointp (generic function)
• 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)
• 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)
• disjunction (function)
• disjunction (class)
• every/tri (compiler macro)
• every/tri (function)
• fpzero (function)
• fpzero (class)
• fpzero-kind (generic function)
• fpzero-kind (method)
• fpzero-zero (generic function)
• fpzero-zero (method)
• function-top (function)
• function-top-p (function)
• junction-ctypes (generic function)
• junction-ctypes (method)
• lambda-list (class)
• lambda-list-aokp (generic function)
• lambda-list-aokp (method)
• lambda-list-key (generic function)
• lambda-list-key (method)
• lambda-list-keyp (generic function)
• lambda-list-keyp (method)
• lambda-list-optional (generic function)
• lambda-list-optional (method)
• lambda-list-required (generic function)
• lambda-list-required (method)
• lambda-list-rest (generic function)
• lambda-list-rest (method)
• lambda-list-top (function)
• negate (generic function)
• negate (method)
• negate (method)
• negate (method)
• negate (method)
• negate (method)
• negate (method)
• negate (method)
• negation (function)
• negation (class)
• negation-ctype (generic function)
• negation-ctype (method)
• notany/tri (compiler macro)
• notany/tri (function)
• notevery/tri (compiler macro)
• notevery/tri (function)
• or/tri (macro)
• range (function)
• range (class)
• range-high (generic function)
• range-high (method)
• range-high-exclusive-p (generic function)
• range-high-exclusive-p (method)
• range-kind (generic function)
• range-kind (method)
• range-low (generic function)
• range-low (method)
• range-low-exclusive-p (generic function)
• range-low-exclusive-p (method)
• some/tri (compiler macro)
• some/tri (function)
• specifier-ctype (function)
• subctypep (generic function)
• 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)
• 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 (generic function)
• subtract (method)
• subtract (method)
• subtract (method)
• subtract (method)
• subtract (method)
• subtract (method)
• subtract (method)
• subtract (method)
• subtract (method)
• subtract (method)
• subtract (method)
• subtract (method)
• subtract (method)
• subtract (method)
• subtract (method)
• subtract (method)
• subtract (method)
• subtract (method)
• subtract (method)
• surely (macro)
• top (function)
• top-p (function)
• unparse (generic function)
• unparse (method)
• unparse (method)
• unparse (method)
• unparse (method)
• unparse (method)
• unparse (method)
• unparse (method)
• unparse (method)
• unparse (method)
• unparse (method)
• unparse (method)
• unparse (method)
• unparse (method)
• unparse (method)
• values-bot (function)
• values-bot-p (function)
• values-specifier-ctype (function)
• values-top (function)
• values-top-p (function)

Internal Definitions

• %fuzz-values-ctype (function)
• %parse-lambda-list (function)
• %parse-values-ctype (function)
• *bot* (special variable)
• *disjoint-classes* (special variable)
• *top* (special variable)
• +base-charset+ (constant)
• +class-aliases+ (constant)
• +complex-arrays-exist-p+ (constant)
• +distinct-double-float-zeroes-p+ (constant)
• +distinct-long-float-zeroes-p+ (constant)
• +distinct-short-float-zeroes-p+ (constant)
• +distinct-single-float-zeroes-p+ (constant)
• +floats+ (constant)
• +standard-charset+ (constant)
• +string-uaets+ (constant)
• array-ctype (function)
• ccons-bottom-p (function)
• class-specifier-ctype (function)
• coerce-to-values (generic function)
• coerce-to-values (method)
• coerce-to-values (method)
• complex-ctype (function)
• complex-ucptp (macro)
• conjoin-cclass-carray (function)
• conjoin-charset-pairs (function)
• conjoin-cmember (function)
• conjoin-disjunction (function)
• cons-ctype (function)
• cons-specifier-ctype (generic function)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• cons-specifier-ctype (method)
• defexclusive (macro)
• defexclusive/2 (macro)
• defexistential (macro)
• define-constant (macro)
• definfinite (macro)
• disjoin-charset-pairs (function)
• disjoin-cmember (function)
• disjoin-cmember-disjunction (function)
• disjoin-conjunction (function)
• error-interval-designator (function)
• float-range (function)
• function-ctype (function)
• junction (class)
• lambda-list-conjoin (function)
• lambda-list-top-p (function)
• mapcar-rcurry (function)
• member-ctype (function)
• negate-charset-pairs (function)
• parse (function)
• parse-interval-designator (function)
• parse-lambda-list (function)
• parse-values-ctype (function)
• range-ctype (function)
• range-kindp (macro)
• ranges-disjoint-p (function)
• rational-range (function)
• ratiop (function)
• reconstant (function)
• satisfies-ctype (function)
• sequence-cclass-p (function)
• simple-array-p (function)
• single-value (function)
• sub-lambda-list-p (function)
• subclassp (function)
• subfunction-cclass-p (function)
• symbol-specifier-ctype (generic function)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• symbol-specifier-ctype (method)
• typexpand (function)
• unparse-lambda-list (function)
• unparse-vector-simple (function)

6 Definitions

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

6.1 Exported definitions

6.1.1 Macros

Macro: and/tri &rest FORMS

Package

ctype

Source

trivalent.lisp (file)

Macro: or/tri &rest FORMS

Package

ctype

Source

trivalent.lisp (file)

Macro: surely &rest FORMS

Package

ctype

Source

trivalent.lisp (file)

6.1.2 Compiler macros

Compiler Macro: every/tri PREDICATE SEQUENCE &rest SEQUENCES

Package

ctype

Source

trivalent.lisp (file)

Compiler Macro: notany/tri PREDICATE SEQUENCE &rest SEQUENCES

Package

ctype

Source

trivalent.lisp (file)

Compiler Macro: notevery/tri PREDICATE SEQUENCE &rest SEQUENCES

Package

ctype

Source

trivalent.lisp (file)

Compiler Macro: some/tri PREDICATE SEQUENCE &rest SEQUENCES

Package

ctype

Source

trivalent.lisp (file)

6.1.3 Functions

Function: bot ()

Package

ctype

Source

create.lisp (file)

Function: bot-p CTYPE

Package

ctype

Source

create.lisp (file)

Function: carray SIMPLICITY UAET EAET DIMS

Package

ctype

Source

create.lisp (file)

Function: cclass CLASS

Package

ctype

Source

create.lisp (file)

Function: ccomplex UCPT

Package

ctype

Source

create.lisp (file)

Function: ccons CAR CDR

Package

ctype

Source

create.lisp (file)

Function: cfunction LAMBDA-LIST RETURNS

Package

ctype

Source

create.lisp (file)

Function: charset PAIRS

Package

ctype

Source

create.lisp (file)

Function: cmember &rest MEMBERS

Package

ctype

Source

create.lisp (file)

Function: conjoin &rest CTYPES

Package

ctype

Source

generic-functions.lisp (file)

Function: conjunction &rest CTYPES

Package

ctype

Source

create.lisp (file)

Function: csatisfies FNAME

Package

ctype

Source

create.lisp (file)

Function: cvalues REQUIRED OPTIONAL REST

Package

ctype

Source

create.lisp (file)

Function: disjoin &rest CTYPES

Package

ctype

Source

generic-functions.lisp (file)

Function: disjunction &rest CTYPES

Package

ctype

Source

create.lisp (file)

Function: every/tri PREDICATE SEQUENCE &rest SEQUENCES

Package

ctype

Source

trivalent.lisp (file)

Function: fpzero KIND ZERO

Package

ctype

Source

create.lisp (file)

Function: function-top ()

Package

ctype

Source

create.lisp (file)

Function: function-top-p CFUNCTION

Package

ctype

Source

cfunction.lisp (file)

Function: lambda-list-top ()

Package

ctype

Source

create.lisp (file)

Function: negation CTYPE

Package

ctype

Source

create.lisp (file)

Function: notany/tri PREDICATE SEQUENCE &rest SEQUENCES

Package

ctype

Source

trivalent.lisp (file)

Function: notevery/tri PREDICATE SEQUENCE &rest SEQUENCES

Package

ctype

Source

trivalent.lisp (file)

Function: range KIND LOW LXP HIGH HXP

Package

ctype

Source

create.lisp (file)

Function: some/tri PREDICATE SEQUENCE &rest SEQUENCES

Package

ctype

Source

trivalent.lisp (file)

Function: specifier-ctype SPECIFIER &optional ENV

Package

ctype

Source

parse.lisp (file)

Function: top ()

Package

ctype

Source

create.lisp (file)

Function: top-p CTYPE

Package

ctype

Source

create.lisp (file)

Function: values-bot ()

Package

ctype

Source

create.lisp (file)

Function: values-bot-p CVALUES

Package

ctype

Source

cvalues.lisp (file)

Function: values-specifier-ctype SPECIFIER &optional ENV

Package

ctype

Source

parse.lisp (file)

Function: values-top ()

Package

ctype

Source

create.lisp (file)

Function: values-top-p CVALUES

Package

ctype

Source

cvalues.lisp (file)

6.1.4 Generic functions

Generic Function: carray-dims OBJECT

Package

ctype

Methods

Method: carray-dims (CARRAY carray)

automatically generated reader method

Source

classes.lisp (file)

Generic Function: carray-eaet OBJECT

Package

ctype

Methods

Method: carray-eaet (CARRAY carray)

automatically generated reader method

Source

classes.lisp (file)

Generic Function: carray-simplicity OBJECT

Package

ctype

Methods

Method: carray-simplicity (CARRAY carray)

automatically generated reader method

Source

classes.lisp (file)

Generic Function: carray-uaet OBJECT

Package

ctype

Methods

Method: carray-uaet (CARRAY carray)

automatically generated reader method

Source

classes.lisp (file)

Generic Function: cclass-class OBJECT

Package

ctype

Methods

Method: cclass-class (CCLASS cclass)

automatically generated reader method

Source

classes.lisp (file)

Generic Function: ccomplex-ucpt OBJECT

Package

ctype

Methods

Method: ccomplex-ucpt (CCOMPLEX ccomplex)

automatically generated reader method

Source

classes.lisp (file)

Generic Function: ccons-car OBJECT

Package

ctype

Methods

Method: ccons-car (CCONS ccons)

automatically generated reader method

Source

classes.lisp (file)

Generic Function: ccons-cdr OBJECT

Package

ctype

Methods

Method: ccons-cdr (CCONS ccons)

automatically generated reader method

Source

classes.lisp (file)

Generic Function: cfunction-lambda-list OBJECT

Package

ctype

Methods

Method: cfunction-lambda-list (CFUNCTION cfunction)

automatically generated reader method

Source

classes.lisp (file)

Generic Function: cfunction-returns OBJECT

Package

ctype

Methods

Method: cfunction-returns (CFUNCTION cfunction)

automatically generated reader method

Source

classes.lisp (file)

Generic Function: charset-pairs OBJECT

Package

ctype

Methods

Method: charset-pairs (CHARSET charset)

automatically generated reader method

Source

classes.lisp (file)

Generic Function: cmember-members OBJECT

Package

ctype

Methods

Method: cmember-members (CMEMBER cmember)

automatically generated reader method

Source

classes.lisp (file)

Generic Function: cofinitep CTYPE

Package

ctype

Source

generic-functions.lisp (file)

Method Combination

basic (long method combination)

Options: ctype:surely

Methods

Method: cofinitep (CT cfunction)

Source

cfunction.lisp (file)

Method: cofinitep (CT charset)

Source

charset.lisp (file)

Method: cofinitep (CT carray)

Source

carray.lisp (file)

Method: cofinitep (CT cmember)

Source

cmember.lisp (file)

Method: cofinitep (CT ccomplex)

Source

ccomplex.lisp (file)

Method: cofinitep (CT fpzero)

Source

fpzero.lisp (file)

Method: cofinitep (CT range)

Source

range.lisp (file)

Method: cofinitep (CT1 ccons)

Source

ccons.lisp (file)

Method: cofinitep (CT cclass)

Source

cclass.lisp (file)

Method: cofinitep (CT ctype)

Generic Function: conjoin/2 CTYPE1 CTYPE2

Package

ctype

Source

generic-functions.lisp (file)

Method Combination

basic (long method combination)

Options: or

Methods

Method: conjoin/2 (CT1 range) (CT2 fpzero)

Source

pairwise.lisp (file)

Method: conjoin/2 (CT1 fpzero) (CT2 range)

Source

pairwise.lisp (file)

Method: conjoin/2 (CT1 cfunction) (CT2 cclass)

Source

pairwise.lisp (file)

Method: conjoin/2 (CT1 cclass) (CT2 cfunction)

Source

pairwise.lisp (file)

Method: conjoin/2 (CT1 carray) (CT2 cclass)

Source

pairwise.lisp (file)

Method: conjoin/2 (CT1 cclass) (CT2 carray)

Source

pairwise.lisp (file)

Method: conjoin/2 (CT1 ccons) (CT2 cclass)

Source

pairwise.lisp (file)

Method: conjoin/2 (CT1 cclass) (CT2 ccons)

Source

pairwise.lisp (file)

Method: conjoin/2 (CT1 cfunction) (CT2 cfunction)

Source

cfunction.lisp (file)

Method: conjoin/2 (CT1 cvalues) (CT2 cvalues)

Source

cvalues.lisp (file)

Method: conjoin/2 (CT1 charset) (CT2 charset)

Source

charset.lisp (file)

Method: conjoin/2 (CT1 carray) (CT2 carray)

Source

carray.lisp (file)

Method: conjoin/2 (CT1 ctype) (CT2 cmember)

Source

cmember.lisp (file)

Method: conjoin/2 (CT1 cmember) (CT2 ctype)

Source

cmember.lisp (file)

Method: conjoin/2 (CT1 cmember) (CT2 cmember)

Source

cmember.lisp (file)

Method: conjoin/2 (CT1 ccomplex) (CT2 ccomplex)

Source

ccomplex.lisp (file)

Method: conjoin/2 (CT1 fpzero) (CT2 fpzero)

Source

fpzero.lisp (file)

Method: conjoin/2 (CT1 range) (CT2 range)

Source

range.lisp (file)

Method: conjoin/2 (CT1 ccons) (CT2 ccons)

Source

ccons.lisp (file)

Method: conjoin/2 (CT1 ctype) (CT2 disjunction)

Source

disjunction.lisp (file)

Method: conjoin/2 (CT1 disjunction) (CT2 ctype)

Source

disjunction.lisp (file)

Method: conjoin/2 (CT1 ctype) (CT2 conjunction)

Source

conjunction.lisp (file)

Method: conjoin/2 (CT1 conjunction) (CT2 ctype)

Source

conjunction.lisp (file)

Method: conjoin/2 (CT1 conjunction) (CT2 conjunction)

Source

conjunction.lisp (file)

Method: conjoin/2 (CT1 ctype) (CT2 negation)

Source

negation.lisp (file)

Method: conjoin/2 (CT1 negation) (CT2 ctype)

Source

negation.lisp (file)

Method: conjoin/2 (CT1 negation) (CT2 negation)

Source

negation.lisp (file)

Method: conjoin/2 (CT1 cclass) (CT2 cclass)

Source

cclass.lisp (file)

Method: conjoin/2 (CT1 ctype) (CT2 ctype)