summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCamil Staps2017-11-20 13:55:11 +0100
committerCamil Staps2017-11-20 13:55:11 +0100
commite8c8b1659b08492d913cf7b0bb362fe24db0b413 (patch)
tree78fc0929cc2575c412d1f858c5ac253cc3b3628b
parentMerge branch '1-quickcheck-property-niet-meer-stukken-op-het-bord-na-een-zet'... (diff)
Refactor atAnyStaterefactor-atAnyState
-rw-r--r--test/Test.hs7
1 files changed, 1 insertions, 6 deletions
diff --git a/test/Test.hs b/test/Test.hs
index 6741e70..168983b 100644
--- a/test/Test.hs
+++ b/test/Test.hs
@@ -21,12 +21,7 @@ import Chess.PGN
import ArbitraryMove
atAnyState :: (Board -> Bool) -> PGN -> Bool
-atAnyState ok pgn = and [ok b | Right b <- seqList [moveSAN m | m <- moves pgn] $ Right defaultBoard]
- where
- seqList :: [r -> Either e r] -> Either e r -> [Either e r]
- seqList (f:fs) (Right io) = f io:seqList fs (f io)
- seqList _ (Left _) = []
- seqList [] _ = []
+atAnyState = atAnyTwoStates . const
atAnyTwoStates :: (Board -> Board -> Bool) -> PGN -> Bool
atAnyTwoStates ok pgn =