From 125388a9fa696e354961545887f07633f06b3107 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 22 Jan 2019 11:29:25 +0000 Subject: Make where clause nicer --- src/VeriFuzz/Graph/Random.hs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/VeriFuzz/Graph/Random.hs b/src/VeriFuzz/Graph/Random.hs index 4b72b95..f5a8d6f 100644 --- a/src/VeriFuzz/Graph/Random.hs +++ b/src/VeriFuzz/Graph/Random.hs @@ -20,7 +20,8 @@ import Test.QuickCheck (Arbitrary, Gen) import qualified Test.QuickCheck as QC dupFolder :: (Eq a, Eq b) => Context a b -> [Context a b] -> [Context a b] -dupFolder cont ns = unique cont : ns where unique (a, b, c, d) = (nub a, b, c, nub d) +dupFolder cont ns = unique cont : ns + where unique (a, b, c, d) = (nub a, b, c, nub d) -- | Remove duplicates. rDups :: (Eq a, Eq b) => Gr a b -> Gr a b @@ -34,7 +35,8 @@ arbitraryEdge n = do y <- with $ \a -> x < a && a < n && a > 0 z <- QC.arbitrary return (x, y, z) - where with = QC.suchThat $ QC.resize n QC.arbitrary + where + with = QC.suchThat $ QC.resize n QC.arbitrary -- | Gen instance for a random acyclic DAG. randomDAG :: (Arbitrary l, Arbitrary e, Eq l, Eq e) => Gen (Gr l e) -- ^ The generated graph. It uses Arbitrary to -- cgit