Skip to content
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

Draft
wants to merge 4 commits into
base: main
Choose a base branch
from

Conversation

jorisdral
Copy link
Collaborator

@jorisdral jorisdral commented Sep 26, 2024

WIP

@dcoutts
Copy link
Collaborator

dcoutts commented Sep 26, 2024

A bit of explanation of motivation would be good here.

Copy link
Collaborator

@dcoutts dcoutts left a 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
Copy link
Collaborator

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.

jorisdral and others added 2 commits October 15, 2024 18:41
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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants