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 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
- Option-type->components
- Components of an option type.
- Type-with-name
- Find, in the FTY table,
the information for a type with a given name.
- Type-with-recognizer
- Look up, in the FTY table,
the information for a type with a given recognizer.
- Type-names-in-cliques-with-names
- Collect, from the FTY table,
all the type names from the named cliques.
- Type-clique-with-name
- Find, in the FTY table,
the information for a type clique with a given name.
- Flexprod-field-listp
- Recognize lists of flexprod-field-p values.
- Flexprod-listp
- Recognize lists of flexprod values.
- Flex->name
- Name of a sum, list, alist, transparent sum, set, or omap type,
given the information associated to the type.
- Flexprod-list->kind-list
- Lift flexprod->kind to lists.
- Flex-list->name-list
- Lift flex->name to lists.
