Vicare Scheme’s typed language: built-in records rtd

6.21.2 The `<record-type-descriptor>` type

Core Type: <record-type-descriptor>
Parent Type: <struct>: Type of record–type descriptor objects.

Constructor on <record-type-descriptor>: <record-type-descriptor> type-constructor name parent uid sealed? opaque? fields: The constructor is make-record-type-descriptor.

Type predicate on <record-type-descriptor>: <boolean> type-predicate obj: The type predicate is record-type-descriptor?.

Methods: inspection

Method on <record-type-descriptor>: <symbol> name this: Apply record-type-name to the instance and return its return value.

Method on <record-type-descriptor>: (or <false> <record-type-descriptor>) parent this: Apply record-type-parent to the instance and return its return value.

Method on <record-type-descriptor>: <symbol> uid this: Apply record-type-uid to the instance and return its return value.

Method on <record-type-descriptor>: <boolean> generative? this: Apply record-type-generative? to the instance and return its return value.

Method on <record-type-descriptor>: <boolean> sealed? this: Apply record-type-sealed? to the instance and return its return value.

Method on <record-type-descriptor>: <boolean> opaque? this: Apply record-type-opaque? to the instance and return its return value.

Method on <record-type-descriptor>: <boolean> generative? this: Apply record-type-generative? to the instance and return its return value.

Method on <record-type-descriptor>: (vector-of <symbol>) field-names this: Apply record-type-field-names to the instance and return its return value.

Method on <record-type-descriptor>: (vector-of <symbol>) all-field-names this: Apply record-type-all-field-names to the instance and return its return value.

Method on <record-type-descriptor>: (nelist-of <symbol>) uids-list this: Apply record-type-uids-list to the instance and return its return value.

Method on <record-type-descriptor>: (or <false> (vector-of (pair <symbol> <type-method-retriever>))) implemented-interfaces this: Apply record-type-implemented-interfaces to the instance and return its return value.