TYPE_REQUIRES (etc.) should be entries of the ATTR itself #11

New Issue

Closed

opened 2021-06-28 19:01:14 +02:00 by tmladek · 1 comment

tmladek commented

2021-06-28 19:01:14 +02:00

(Migrated from gitlab.com)

Right now, there's:

TYPE_HAS which denotes that an attr belongs to a type with no further claims
TYPE_REQUIRES for attrs without which a type label is invalid
TYPE_ID for (required) attrs that serve as a label of an entity
TYPE_INSTANCES for attrs that point to a "real" entity this entity is only a reference/instance of

This is unnecessary, given that each attr can be labeled in its own right, and that these attribute characteristics may not be mutually exclusive.

At this (v0.0.x) stage though, it would be more complicated; it's really waiting for #3, after that the entire type query should condense to a single statement.

Right now, there's: - `TYPE_HAS` which denotes that an attr belongs to a type with no further claims - `TYPE_REQUIRES` for attrs without which a type label is invalid - `TYPE_ID` for (required) attrs that serve as a label of an entity - `TYPE_INSTANCES` for attrs that point to a "real" entity this entity is only a reference/instance of This is unnecessary, given that each attr can be labeled in its own right, and that these attribute characteristics may not be mutually exclusive. At this (v0.0.x) stage though, it would be more complicated; it's really waiting for #3, after that the entire type query should condense to a single statement.

tmladek commented

2021-07-03 20:43:37 +02:00

(Migrated from gitlab.com)

mentioned in commit 5953c733cf

mentioned in commit 5953c733cfa8a9eb05cb51db14153558e8d7f4e3