This is the simplified-types Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Dec 15 07:42:45 2024 GMT+0.
The main system appears first, followed by any subsystem dependency.
simplified-typesSimplification of Common Lisp type specifiers.
Marco Heisig <marco.heisig@fau.de>
MIT
alexandria (system).
introspect-environment (system).
trivia (system).
packages.lisp (file).
simplified-types.lisp (file).
simplified-type-of.lisp (file).
simplify-type.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
simplified-types/simplified-types.asdsimplified-types/packages.lispsimplified-types/simplified-types.lispsimplified-types/simplified-type-of.lispsimplified-types/simplify-type.lispsimplified-types/simplified-types.asdsimplified-types (system).
simplified-types/simplified-types.lisppackages.lisp (file).
simplified-types (system).
simplified-complex-type-specifier (type).
simplified-floating-point-type-specifier (type).
simplified-integer-type-specifier (type).
simplified-number-type-specifier (type).
simplified-type-specifier (type).
*precise-integer-types* (special variable).
+complex-double-float-type+ (constant).
+complex-long-float-type+ (constant).
+complex-short-float-type+ (constant).
+complex-single-float-type+ (constant).
+double-float-type+ (constant).
+long-float-type+ (constant).
+short-float-type+ (constant).
+single-float-type+ (constant).
define-complex-types (macro).
define-floating-point-types (macro).
make-integer-type (compiler macro).
make-integer-type (function).
simplified-types/simplified-type-of.lispsimplified-types.lisp (file).
simplified-types (system).
simplified-type-of (generic function).
enable-if-class-exists (macro).
simplified-types/simplify-type.lispsimplified-type-of.lisp (file).
simplified-types (system).
simplify-type (function).
simplified-type-conjunction (function).
simplified-type-disjunction (function).
Packages are listed by definition order.
simplified-typescommon-lisp.
simplified-complex-type-specifier (type).
simplified-floating-point-type-specifier (type).
simplified-integer-type-specifier (type).
simplified-number-type-specifier (type).
simplified-type-of (generic function).
simplified-type-specifier (type).
simplify-type (function).
*precise-integer-types* (special variable).
+complex-double-float-type+ (constant).
+complex-long-float-type+ (constant).
+complex-short-float-type+ (constant).
+complex-single-float-type+ (constant).
+double-float-type+ (constant).
+long-float-type+ (constant).
+short-float-type+ (constant).
+single-float-type+ (constant).
define-complex-types (macro).
define-floating-point-types (macro).
enable-if-class-exists (macro).
make-integer-type (compiler macro).
make-integer-type (function).
simplified-type-conjunction (function).
simplified-type-disjunction (function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
Returns a simplified type specifier that is a supertype of TYPE-SPECIFIER.
In particular, for any type specifier TS, the expression
(subtypep TS (simplify-type TS)) will evaluate to either T T, or NIL NIL.
Returns a simplified type specifier for a type that has OBJECT as an
element.
The expression (simplified-type-of OBJECT) yields exactly the same result as the expression (simplify-type (type-of OBJECT)), but the former is likely to be more efficient.
cons)) ¶symbol)) ¶character)) ¶function)) ¶complex)) ¶double-float)) ¶single-float)) ¶integer)) ¶Whether the lower- and upper-limit of simplified integer type specifiers
should be as accurate as possible, or whether it is permissible that one or
both of them can be upgraded to a wider bound or the symbol *.
When the value of this variable is false, working with simplified types is guaranteed to be non-consing.
| Jump to: | C D E F G M S |
|---|
| Jump to: | C D E F G M S |
|---|
| Jump to: | *
+
C S |
|---|
| Jump to: | *
+
C S |
|---|
| Jump to: | F P S T |
|---|
| Jump to: | F P S T |
|---|