@@ -86,15 +86,17 @@ main = hspec $ do
87 describe "Serial Composition (<>)" $ compose (<>) id
87 describe "Serial Composition (<>)" $ compose (<>) id
88 describe "Serial Composition (mappend)" $ compose mappend id
88 describe "Serial Composition (mappend)" $ compose mappend id
89+ describe "Interleaved Composition (<>)" $ compose (<=>) sort
89 describe "Left biased parallel Composition (<|)" $ compose (<|) sort
90 describe "Left biased parallel Composition (<|)" $ compose (<|) sort
90 describe "Fair parallel Composition (<|>)" $ compose (<|>) sort
91 describe "Fair parallel Composition (<|>)" $ compose (<|>) sort
92+ describe "Fair parallel Composition (mplus)" $ compose mplus sort
92 ---------------------------------------------------------------------------
94 ---------------------------------------------------------------------------
93 -- Monoidal Composition ordering checks
95 -- Monoidal Composition ordering checks
94 ---------------------------------------------------------------------------
96 ---------------------------------------------------------------------------
96− describe "Serial interleaved (<=>)" $ interleaved (<=>)
98+ describe "Serial interleaved ordering check (<=>)" $ interleaved (<=>)
97− describe "Parallel interleaved (<|>)" $ interleaved (<|>)
99+ describe "Parallel interleaved ordering check (<|>)" $ interleaved (<|>)
98 describe "Left biased parallel time order check" $ parallelCheck (<|)
100 describe "Left biased parallel time order check" $ parallelCheck (<|)
99 describe "Fair parallel time order check" $ parallelCheck (<|>)
101 describe "Fair parallel time order check" $ parallelCheck (<|>)