All FIO primitives now have tests. #31
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This pull request introduces new property-based tests for the
FIO
library to validate the behavior ofApply
,ApplyError
,Zip
,ZipError
,Parallel
, andParallelError
methods. It also removes an unused line inPropertyTests.fs
. These changes aim to improve test coverage and ensure correctness of the library's core functionalities.Test Additions to
FIO
LibraryApply
Method Tests: Added property-based tests to verify the behavior ofApply
when the initial and function effects succeed or fail in various combinations.ApplyError
Method Tests: Added property-based tests to validate the behavior ofApplyError
when transforming errors or succeeding based on the initial and function effects.Zip
Method Tests: Added property-based tests to ensure the correctness ofZip
when combining the results or errors of two effects.ZipError
Method Tests: Added property-based tests to check the behavior ofZipError
when combining errors or succeeding based on the effects.Parallel
andParallelError
Method Tests: Added property-based tests forParallel
andParallelError
to verify their behavior in parallel execution scenarios with combinations of success and failure.Code Cleanup
PropertyTests.fs
to clean up the code.