We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 221cfa8 commit 9ab580aCopy full SHA for 9ab580a
quickcheck-dynamic/CHANGELOG.md
@@ -9,7 +9,7 @@ changes.
9
10
## UNRELEASED
11
12
-* Breaking removed `Realized`
+* **BREAKING**: Removed `Realized`
13
- To migrate uses of `Realized` with `IOSim`, index the state type on the choice of `RunModel` monad
14
and index the relevant types:
15
```
@@ -18,6 +18,8 @@ changes.
18
-- Into:
19
data ModelState m = State { threadId :: Var (ThreadId m) }
20
21
+* **BREAKING**: Moved `Error state` from `StateModel` to `RunModel` and indexed it on both the `state` and the monad `m`
22
+* **BREAKING**: Changed `PerformResult` from `PerformResult (Error state) a` to `PerformResult state m a`
23
24
## 3.4.1 - 2024-03-22
25
0 commit comments