Skip to content

Testing-interface: Generalize base monad#8

Open
sjoerdvisscher wants to merge 1 commit intofeat/threat-modelfrom
sv/t-i-generalize-base-monad
Open

Testing-interface: Generalize base monad#8
sjoerdvisscher wants to merge 1 commit intofeat/threat-modelfrom
sv/t-i-generalize-base-monad

Conversation

@sjoerdvisscher
Copy link
Collaborator

@sjoerdvisscher sjoerdvisscher commented Mar 6, 2026

  • Changes IO to MonadIO m. (This allows us to use PropertyM IO in the future for example.)
  • Reformats multi-line comments

@sjoerdvisscher sjoerdvisscher force-pushed the sv/t-i-generalize-base-monad branch 3 times, most recently from 75ced45 to de24951 Compare March 6, 2026 12:46
@sjoerdvisscher sjoerdvisscher force-pushed the sv/t-i-generalize-base-monad branch from de24951 to b58dbb5 Compare March 6, 2026 15:32
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.

1 participant