Parallel do

[lsrcz]

This pull request introduces the parallel do notation with the QualifiedDo extension.

For example: the following code will execute f 1 and f 2 in parallel.

>>> :set -XQualifiedDo -XOverloadedStrings
>>> import Grisette
>>> import qualified Grisette.Qualified.ParallelUnionDo as P
>>> :{
  P.do
    x <- mrgIf "a" (return 1) (return 2) :: UnionM Int
    return $ f x
:}

[codecov]

Codecov Report

Base: 32.53% // Head: 32.26% // Decreases project coverage by -0.28% ⚠️

Coverage data is based on head (bc3db5b) compared to base (a606a9a).
Patch coverage: 0.00% of modified lines in pull request are covered.

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #51      +/-   ##
==========================================
- Coverage   32.53%   32.26%   -0.28%     
==========================================
  Files          47       48       +1     
  Lines        4472     4519      +47     
  Branches      220      217       -3     
==========================================
+ Hits         1455     1458       +3     
- Misses       2797     2844      +47     
+ Partials      220      217       -3     

Impacted Files	Coverage Δ
...tte/Core/Control/Monad/Class/MonadParallelUnion.hs	0.00% <0.00%> (ø)
src/Grisette/Core/Control/Monad/UnionM.hs	9.18% <0.00%> (-0.53%)	⬇️
.../Grisette/IR/SymPrim/Data/Prim/PartialEval/Bool.hs	87.11% <0.00%> (+0.88%)	⬆️
...c/Grisette/IR/SymPrim/Data/Prim/PartialEval/Num.hs	87.91% <0.00%> (+1.09%)	⬆️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.