Add haddocks and/or cleanup

2021-04-04 16:26:06 +02:00
parent 1231939482
commit 3b417c4966
10 changed files with 174 additions and 116 deletions
@@ -30,9 +30,9 @@ polygonStrictlyConvex ps = True
 --prop_looping :: [Point2] -> [WallP] -> Bool

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