File tree Expand file tree Collapse file tree 1 file changed +2
-9
lines changed Expand file tree Collapse file tree 1 file changed +2
-9
lines changed Original file line number Diff line number Diff line change @@ -358,7 +358,7 @@ x `usingIO` strat = runEvalIO (strat x)
358358withStrategyIO :: Strategy a -> a -> IO a
359359withStrategyIO = flip usingIO
360360
361- -- | Compose two strategies sequentially .
361+ -- | Compose two strategies.
362362--
363363-- > strat2 `dot` strat1 == strat2 . withStrategy strat1
364364--
@@ -370,14 +370,7 @@ withStrategyIO = flip usingIO
370370--
371371-- > strat `dot` r0 == strat
372372-- > strat `dot` rseq == strat
373- --
374- -- Furthermore, since strategies should only force and spark computations
375- -- (that is, they don't actually change any values),
376- --
377- -- > strat `dot` strat == strat
378- --
379- -- Perhaps unexpectedly, @r0 `dot` strat == r0@.
380- -- 'Control.Monad.<=<' has a more intuitive behaviour (@r0 <=< strat == strat@).
373+ {-# DEPRECATED dot "'dot' is an unintuitive composition operator. Use 'Control.Monad.<=<` instead." #-}
381374dot :: Strategy a -> Strategy a -> Strategy a
382375strat2 `dot` strat1 = strat2 . runEval . strat1
383376
You can’t perform that action at this time.
0 commit comments