Delete cruft, add Reader monad to some internal ai

2021-05-16 21:42:11 +02:00
parent 0798cc0b0e
commit d7fcdbf550
69 changed files with 721 additions and 2894 deletions
@@ -30,11 +30,11 @@ polygonStrictlyConvex ps = True
 --prop_looping :: [Point2] -> [WallP] -> Bool

 prop_looping = forAllShrink genTris shrinkTris $ \tris ->
-    (all (not . (\[a,b,c] -> isOnSeg a b c
+    not (any ( \[a,b,c] -> isOnSeg a b c
                            || isOnSeg a c b
                            || isOnSeg b c a
-                ) ) tris)
-    ==> (isLooping' $ foldr cutWalls' [] tris)
+                ) tris)
+    ==> isLooping' (foldr cutWalls' [] tris)

 shrinkTris [] = []
 shrinkTris (x:xs) = xs : map (x :) (shrinkTris xs)