ru.primetalk.typed.ontology.nested.meta
Type members
Classlikes
Metainformation about property. Contains unique name (within the type) and type of the value. Might contain other metainformation about property, like Schema.
Metainformation about property. Contains unique name (within the type) and type of the value. Might contain other metainformation about property, like Schema.
- Type parameters:
- A
Phantom type of record. It's not an ontology type, because only records can have named attributes.
Type of record property identifier.
Type of record property identifier.
- Type parameters:
- A
Phantom type of record. It's not an ontology type, because only records can have named attributes.
Schema of properties for a record R. We can use tuples and maps to represent instances of this schema.
Schema of properties for a record R. We can use tuples and maps to represent instances of this schema.
- Companion:
- object
Table builder autodefines RecordType as equal to this.type. This eliminates the need in a separate phantom type.
Table builder autodefines RecordType as equal to this.type. This eliminates the need in a separate phantom type.