diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-16 19:55:31 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-16 19:55:57 +0000 |
| commit | d040d341ea06509139e64fee21cf9f214c8d87e0 (patch) | |
| tree | a4e6e3b8cc480f75fc5a60ef6b6ad0c7530c0470 | |
| parent | 74ffb25c5afac96d6201175632ed56cd35efa83e (diff) | |
| download | verismith-d040d341ea06509139e64fee21cf9f214c8d87e0.tar.gz verismith-d040d341ea06509139e64fee21cf9f214c8d87e0.zip | |
Format and remove unnecessary declarations
| -rw-r--r-- | src/Test/VeriFuzz/Graph/Random.hs | 9 |
1 files 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 |