The narrowed-types Reference Manual

This is the narrowed-types Reference Manual, version 0.1, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sat Dec 03 22:36:41 2022 GMT+0.

Table of Contents


1 Introduction


2 Systems

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


2.1 narrowed-types

Type definitions narrowed with predicates

Author

JP Cimalando

License

BSD

Version

0.1

Source

narrowed-types.asd.

Child Component

narrowed-types.lisp (file).


3 Files

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


3.1 Lisp


3.1.1 narrowed-types/narrowed-types.asd

Source

narrowed-types.asd.

Parent Component

narrowed-types (system).

ASDF Systems

narrowed-types.


3.1.2 narrowed-types/narrowed-types.lisp

Source

narrowed-types.asd.

Parent Component

narrowed-types (system).

Packages

narrowed-types.

Public Interface

deftype-narrowed (macro).


4 Packages

Packages are listed by definition order.


4.1 narrowed-types

Source

narrowed-types.lisp.

Use List

common-lisp.

Public Interface

deftype-narrowed (macro).


5 Definitions

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


5.1 Public Interface


5.1.1 Macros

Macro: deftype-narrowed ((var type super-type) &body body)

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.

Package

narrowed-types.

Source

narrowed-types.lisp.


Appendix A Indexes


A.1 Concepts


A.2 Functions

Jump to:   D   M  
Index Entry  Section

D
deftype-narrowed: Public macros

M
Macro, deftype-narrowed: Public macros


A.3 Variables