Using mysql to store id-to-json tables.
Find a file
2025-03-01 15:23:51 +01:00
script Delete build 2023-09-12 18:45:05 +00:00
src/Database/MySQL Add Hashable instance for the Id type. 2024-03-23 09:46:25 +01:00
test streaming test 2023-05-13 20:39:20 +02:00
.gitignore first commit 2023-05-13 12:43:17 +02:00
changelog.md Metadata update 2025-03-01 15:23:51 +01:00
license Add Hashable instance for the Id type. 2024-03-23 09:46:25 +01:00
mysql-json-table.cabal Metadata update 2025-03-01 15:23:51 +01:00
readme.md Update file readme.md 2023-10-18 17:37:28 +00:00

mysql-json-table

Using mysql to store id-to-json tables.

A table would look something like this:

id data
Row identifier JSON-encoded value

Why would you do this?

To re-use mysql-server capabilities without having to deal with table reshaping. If changes come down the road, the data content might change, but the table stays the same. JSON can easily be made compatible between versions, making for smoother releases and rollbacks. It's also simple, and I like simple.

Documentation

Haddock documentation can be found here (based on the main branch).