In the example webapp, use refined database identifiers instead of plain Natural for todo item IDs.
Example: DatabaseIdentifier Serial Natural — a type that captures:
- The identifier is from a database
- It's a serial/auto-increment type
- The underlying representation is
Natural
Demonstrates practical use of refinement types for domain modeling in a realistic application context.
In the example webapp, use refined database identifiers instead of plain
Naturalfor todo item IDs.Example:
DatabaseIdentifier Serial Natural— a type that captures:NaturalDemonstrates practical use of refinement types for domain modeling in a realistic application context.