This is the narrowed-types Reference Manual, version 0.1, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Sep 15 06:11:51 2024 GMT+0.
The main system appears first, followed by any subsystem dependency.
narrowed-types
Type definitions narrowed with predicates
JP Cimalando
BSD
0.1
narrowed-types.lisp
(file).
Files are sorted by type and then listed depth-first from the systems components trees.
narrowed-types/narrowed-types.asd
narrowed-types
(system).
narrowed-types/narrowed-types.lisp
narrowed-types
(system).
deftype-narrowed
(macro).
Packages are listed by definition order.
Definitions are sorted by export status, category, package, and then by lexicographic order.
DEFTYPE-NARROWED defines a type with name TYPE as well as a matching predicate TYPE-p. The instances of the resulting type are the subset of instances of SUPER-TYPE which satisfy a condition on VAR expressed by the BODY of the statement.
Jump to: | D M |
---|
Index Entry | Section | ||
---|---|---|---|
| |||
D | |||
deftype-narrowed : | Public macros | ||
| |||
M | |||
Macro, deftype-narrowed : | Public macros | ||
|
Jump to: | D M |
---|
Jump to: | F N P S |
---|
Jump to: | F N P S |
---|