ron
ron copied to clipboard
ff-notes
Haskell implementation of RON and RON-RDT
Motivating example from ff: ```edn (enum Status Active Archived) (opaque_atoms NoteStatus) ; data NoteStatus = TaskStatus Status | Wiki ``` Boilerplate: ```haskell wiki :: UUID wiki = fromJust $ UUID.mkName...
and lift them to the application via `OnDocumentChanged`
To refine a document with its id is convenient not only for ff. Proposed solution: move `Entity` from ff to `ron-storage` or add UUID field to `Document`.
Make a test on it
```haskell data family ORSet c a where newtype instance ORSet Ord a = ORSetOrd (Set a) newtype instance ORSet Hashable a = ORSetHash (HashSet a) ```