@@ -86,15 +86,17 @@ main = hspec $ do
8686
8787 describe "Serial Composition (<>)" $ compose (<>) id
8888 describe "Serial Composition (mappend)" $ compose mappend id
89+ describe "Interleaved Composition (<>)" $ compose (<=>) sort
8990 describe "Left biased parallel Composition (<|)" $ compose (<|) sort
9091 describe "Fair parallel Composition (<|>)" $ compose (<|>) sort
92+ describe "Fair parallel Composition (mplus)" $ compose mplus sort
9193
9294 ---------------------------------------------------------------------------
9395 -- Monoidal Composition ordering checks
9496 ---------------------------------------------------------------------------
9597
96− describe "Serial interleaved (<=>)" $ interleaved (<=>)
97− describe "Parallel interleaved (<|>)" $ interleaved (<|>)
98+ describe "Serial interleaved ordering check (<=>)" $ interleaved (<=>)
99+ describe "Parallel interleaved ordering check (<|>)" $ interleaved (<|>)
98100 describe "Left biased parallel time order check" $ parallelCheck (<|)
99101 describe "Fair parallel time order check" $ parallelCheck (<|>)
100102