From d040d341ea06509139e64fee21cf9f214c8d87e0 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 16 Nov 2018 19:55:31 +0000 Subject: Format and remove unnecessary declarations --- src/Test/VeriFuzz/Graph/Random.hs | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/src/Test/VeriFuzz/Graph/Random.hs b/src/Test/VeriFuzz/Graph/Random.hs index d2d41a8..e14d73e 100644 --- a/src/Test/VeriFuzz/Graph/Random.hs +++ b/src/Test/VeriFuzz/Graph/Random.hs @@ -1,11 +1,8 @@ module Test.VeriFuzz.Graph.Random where -import Data.Graph.Inductive (Graph, LEdge, LNode, mkGraph) +import Data.Graph.Inductive (Graph, LEdge, mkGraph) import Test.QuickCheck (Arbitrary, Gen, arbitrary, generate, - infiniteListOf, listOf, resize, scale, - suchThat) - -import Test.VeriFuzz.Types + infiniteListOf, resize, suchThat) arbitraryEdge :: (Arbitrary e) => Int -> Gen (LEdge e) arbitraryEdge n = do @@ -25,4 +22,4 @@ randomDAG n = do l <- generate . infiniteListOf $ arbitraryEdge n return . mkGraph (nodes list) $ take (5*n) l where - nodes l = (zip [0..n] $ take n l) + nodes l = zip [0..n] $ take n l -- cgit