Merge pull request #31 from treeowl/doc-dot

Document more dot properties
haskell · Jun 4, 2018 · 358b2d6 · 358b2d6
2 parents 2c73c0d + acf85bd
commit 358b2d6
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/Control/Parallel/Strategies.hs b/Control/Parallel/Strategies.hs
@@ -296,6 +296,12 @@ withStrategy = flip using
 -- | Compose two strategies sequentially.
 -- This is the analogue to function composition on strategies.
 --
+-- For any strategies @strat1@, @strat2@, and @strat3@,
+--
+-- > (strat1 `dot` strat2) `dot` strat3 == strat1 `dot` (strat2 `dot` strat3)
+-- > strat1 `dot` strat1 = strat1
+-- > strat1 `dot` r0 == strat1
+--
 -- > strat2 `dot` strat1 == strat2 . withStrategy strat1
 --
 dot :: Strategy a -> Strategy a -> Strategy a