-
Notifications
You must be signed in to change notification settings - Fork 7
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Alternative ModelIO
instance for the reference implementation
#403
base: main
Are you sure you want to change the base?
Conversation
56d1c73
to
850b4a8
Compare
A bit of explanation of motivation would be good here. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This looks ok, and it's nice to have a clear structure and less duplication. What I want to see somewhere in these models and instances is a high level explanation of them all. A reader coming to see and understand needs some guidance. And then elsewhere perhaps links back to the central explanation.
=> Maybe k | ||
-> h m k v blob | ||
-> (Cursor h m k v blob -> m a) | ||
-> m a | ||
withCursor offset hdl = bracket (newCursor offset hdl) (closeCursor (Proxy @h)) | ||
|
||
{------------------------------------------------------------------------------- | ||
Model instance | ||
Model 2 instance |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Want some docs somewhere that says what we're doing here with these different models. There's a hierarchy, but no explanation of what it is.
416c70b
to
4ce8ef4
Compare
Alternative `ModelIO` instance for the reference implementation Use the pure model with a tiny wrapper Remove ModelIO.Normal TOSQUASH: Alternative `ModelIO` instance WIP: one model WIP: full cleanup
4ce8ef4
to
78e3ee7
Compare
WIP