Skip to content

Rewriting cooked-validators in Polysemy#513

Open
mmontin wants to merge 87 commits intomainfrom
mm/effectful
Open

Rewriting cooked-validators in Polysemy#513
mmontin wants to merge 87 commits intomainfrom
mm/effectful

Conversation

@mmontin
Copy link
Collaborator

@mmontin mmontin commented Jan 22, 2026

This is a full rewrite of cooked-validators using polysemy.

Among other things, this fixes #504
This also makes initial distributions much less central in the running process and thus fixes #493

@mmontin mmontin changed the title Mm/effectful Rewriting cooked-validators in Polysemy Feb 19, 2026
@mmontin mmontin force-pushed the mm/effectful branch 2 times, most recently from efa479f to 76f454f Compare February 19, 2026 15:25
@mmontin mmontin force-pushed the mm/effectful branch 2 times, most recently from 7ca8792 to 2fe561b Compare February 20, 2026 11:30
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.

Allow Staged mockchains to be built on top of existing monads Assess the necessity of initial distribution

1 participant