Changelog for fs-sim-0.4.0.0

Revision history for fs-sim

Fix a bug where withErrors would not put back the previous Errors when an exception is thrown during execution of the function. Though we fixed the bug, it is also a breaking change: the type signature now has an additional constraint.
Change finiteness guarantees for Streams. Where streams could previously be definitely finite or possibly infinite, they should now be definitely finite or definitely infinite. This is mostly a conceptual change: it was already guaranteed by most if not all of the Stream functions. Still, the conceptual change should make the use of Streams more ergonomic going forward.

As a result of and in addition to the conceptual change, the Stream interface got an overhaul. The concrete changes are:
- The internals of the Stream are now exposed, but with big warnings about unsafe usage related to finiteness.
- Added new runStreamN and runStreamIndefinitely functions.
- Renamed mkInfinite to unsafeMkInfinite.
- Added new isFinite and isInfinite queries.
- Added a new genFiniteN function.
- Removed genMaybe', as it was just a specific instantiation of genMaybe that has no clear benefit being its own top-level function.
- Added a new liftShrinkStream function.
- Updated documentation.

Make it build with ghc-9.12.
Drop support for ghc-8.10.
Support io-classes-1.8.0.1.
Support the new MustExist option for AllowExisting that was added in fs-api.

Support io-classes-1.6 and io-classes-1.7. In these versions, strict-stm has become a public sub-library of io-classes. As a result, older versions of io-classes are no longer supported, and we now depend on io-classes:strict-stm instead of strict-stm.

Orphan Show instance for Foreign.C.Error.Errno removed by fs-api.
Rename some functions related to partial reads/writes and corruption in System.FS.Sim.Error:
- Replace hGetSomePartial by partialiseByteCount/partialiseWord64.
- Replace hPutSomePartial by partialiseByteString
- Replace corrupt by corruptByteString
Remove System.FS.Sim.Pure module.
Adapt simHasFS to the new HasFS primitives. This leads to two breaking changes:
- Add a PrimMonad m constraint to runSimFS, simHasFS' and simHasFS.
- Change the StrictTVar argument to simHasFS to a StrictTMVar.
Adapt mkSimErrorHasFS to the new HasFS primitives. This leads to two breaking changes:
- Add a PrimMonad m constraint to runSimErrorFS, mkSimErrorHasFS' and mkSimErrorHasFS.
- Change the StrictTVar argument to mkSimErrorHasFS to a StrictTMVar.
Rename mkSimErrorHasFS to simErrorHasFS.
Rename mkSimErrorHasFS' to simErrorHasFS'.

New constructors for the Errors type: hGetBufSomeE, hGetBufSomeAtE, hGetBufSomeE, and hPutBufSomeAtE.
Expose the new System.FS.Sim.Prim module.

allNull was not actually checking whether all streams in the argument Errors are empty.
The Show Errors instance was not printing every stream.
The shrinker for Errors was not shrinking every stream.
Adapt to moving of Util modules in fs-api.
Make it build with ghc-9.10.
New primitive ^>=0.9 dependency
New safe-wild-cards^>=1.0dependency
Tight dependency bounds.

Move Stream-related functions to new System.FS.Sim.Stream module.
Remove Semigroup and Monoid instances for Stream and Errors types.
Overhaul Stream type and related functions. The Stream type now behaves similarly to Test.QuickCheck's InfiniteList, which improves showing, generation and shrinking.

Add simHasFS' and mkSimErrorHasFS', which are alternatives to simHasFS and mkSimErrorHasFS that create TVars internally.
Add new emptyErrors function.
Adapt the Errors type to use the overhauled Stream type. As a bonus:
- Arbitrary Errors now contain infinite error Streams by default, instead of finite ones.
- Shrinking of Errors that contain infinite error Streams now terminates.

Update the code to compile with io-sim-1.0.0.1.