Database
Extensions for the FTY database.
The file [books]/centaur/fty/database.lisp defines aggregates
that encode fixtype information in the fixtype table.
Here we define some extensions of these aggregates,
e.g. lists of some of those types,
and we also define operations on those aggregates.
The FTY table is the table of all (fix)types
(except some built-in ones, such as nat),
i.e. the table flextypes-table.
The format is defined in [books]/centaur/fty/database.lisp.
It has one entry for each mutually recursive clique of types,
with singly recursive or non-recursive types
being in singleton cliques.
Subtopics
- Components-of-flexoption-with-name
- Components of a named option type.
- Flextype-with-name
- Find, in the FTY table,
the information for a type with a given name.
- Flextype-with-recognizer
- Look up, in the FTY table,
the information for a type with a given recognizer.
- Flextype-names-in-flextypes-with-names
- Collect, from the FTY table,
all the type names from the named cliques.
- Flextypes-with-name
- Find, in the FTY table,
the information for a type clique with a given name.
- Flextype->name
- Name of a sum, list, alist, transparent sum, set, or omap type,
given the information associated to the type.
- Flexprod-listp
- Recognize lists of flexprod values.
- Flexprod-field-listp
- Recognize lists of flexprod-field-p values.
- Flextype-list->name-list
- Lift flextype->name to lists.
- Flexprod-list->kind-list
- Lift flexprod->kind to lists.
