This shows you the differences between two versions of the page.
— |
cl:types:cons [2017/05/01 21:00] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== System Class CONS ====== | ||
+ | |||
+ | ====Class Precedence List==== | ||
+ | **cons**, **[[CL:Types:list]]**, **[[CL:Types:sequence]]**, **[[CL:Types:t]]** | ||
+ | |||
+ | ====Description==== | ||
+ | A //[[CL:Glossary:cons]]// is a compound //[[CL:Glossary:object]]// having two components, called the //[[CL:Glossary:car]]// and //[[CL:Glossary:cdr]]//. These form a //[[CL:Glossary:dotted pair]]//. Each component can be any //[[CL:Glossary:object]]//. | ||
+ | |||
+ | ====Compound Type Specifier Kind==== | ||
+ | Specializing. | ||
+ | |||
+ | ====Compound Type Specifier Syntax==== | ||
+ | //**cons** //[car-typespec [cdr-typespec]]//// | ||
+ | |||
+ | ====Compound Type Specifier Arguments==== | ||
+ | //car-typespec//---a //[[CL:Glossary:type specifier]]//, or the //[[CL:Glossary:symbol]]// **[[CL:Types:wildcard|*]]**. The default is the //[[CL:Glossary:symbol]]// **[[CL:Types:wildcard|*]]**. | ||
+ | |||
+ | //cdr-typespec//---a //[[CL:Glossary:type specifier]]//, or the //[[CL:Glossary:symbol]]// **[[CL:Types:wildcard|*]]**. The default is the //[[CL:Glossary:symbol]]// **[[CL:Types:wildcard|*]]**. | ||
+ | |||
+ | ====Compound Type Specifier Description==== | ||
+ | This denotes the set of //[[CL:Glossary:cons|conses]]// whose //[[CL:Glossary:car]]// is constrained to be of //[[CL:Glossary:type]]// //car-typespec// and whose //[[CL:Glossary:cdr]]// is constrained to be of //[[CL:Glossary:type]]// //cdr-typespec//. (If either //car-typespec// or //cdr-typespec is **[[CL:Types:wildcard|*]]**, it is as if the type **[[CL:Types:t]]** had been denoted.) | ||
+ | |||
+ | ====See Also==== | ||
+ | |||
+ | {\secref\LeftParen}, {\secref\PrintingListsAndConses} | ||
+ | |||
+ | \issue{CONS-TYPE-SPECIFIER:ADD} | ||