Module NewEntity
Provides predicates and types for allocating new entity IDs dynamically in upgrade and downgrade scripts.
The module has a type parameter T
and contains a predicate map
and a type EntityId
. The map
predicate maps a T
value to an opaque EntityId
value, which can be used as a new entity ID in new database rows.
Predicates
map | Maps each |
Primitive types
EntityId |
|
Parameters
T | T |