Skip to content

Make continuation construction clearer in query monadic interface#815

Merged
Jimbo4350 merged 1 commit into
masterfrom
jordan/LocalStateQueryExpr-refactor
Apr 17, 2025
Merged

Make continuation construction clearer in query monadic interface#815
Jimbo4350 merged 1 commit into
masterfrom
jordan/LocalStateQueryExpr-refactor

Conversation

@Jimbo4350
Copy link
Copy Markdown
Contributor

Changelog

- description: |
    Make continuation construction clearer in query monadic interface
  type:
   - refactoring    

Context

Additional context for the PR goes here. If the PR fixes a particular issue please provide a link to the issue.

How to trust this PR

Highlight important bits of the PR that will make the review faster. If there are commands the reviewer can run to observe the new behavior, describe them.

Checklist

  • Commit sequence broadly makes sense and commits have useful messages
  • New tests are added if needed and existing tests are updated. See Running tests for more details
  • Self-reviewed the diff

void $ atomically waitDone -- Wait for all protocols to complete before exiting.
pure $ Net.Query.SendMsgRelease $ pure $ Net.Query.SendMsgDone ()
{ Net.Query.recvMsgAcquired = do
allQueries <- pure $ runReaderT (runLocalStateQueryExpr f) ntcVersion
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
allQueries <- pure $ runReaderT (runLocalStateQueryExpr f) ntcVersion
let allQueries = runReaderT (runLocalStateQueryExpr f) ntcVersion

@Jimbo4350 Jimbo4350 force-pushed the jordan/LocalStateQueryExpr-refactor branch from 9de588a to d32a888 Compare April 17, 2025 19:58
@Jimbo4350 Jimbo4350 force-pushed the jordan/LocalStateQueryExpr-refactor branch from d32a888 to 2fe9ab8 Compare April 17, 2025 19:59
@Jimbo4350 Jimbo4350 enabled auto-merge April 17, 2025 19:59
@Jimbo4350 Jimbo4350 added this pull request to the merge queue Apr 17, 2025
Merged via the queue into master with commit 215dba1 Apr 17, 2025
29 checks passed
@Jimbo4350 Jimbo4350 deleted the jordan/LocalStateQueryExpr-refactor branch April 17, 2025 20:31
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.

2 participants