From d455be3b924fea2d42d593a6709557e637e83ad9 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Wed, 14 Nov 2018 11:28:13 +0000
Subject: Add style to the files

---
 src/Test/VeriFuzz/CodeGen.hs      |  7 +++----
 src/Test/VeriFuzz/Graph/Random.hs | 10 ++++++----
 src/Test/VeriFuzz/Types.hs        |  6 +++---
 3 files changed, 12 insertions(+), 11 deletions(-)

(limited to 'src/Test/VeriFuzz')

diff --git a/src/Test/VeriFuzz/CodeGen.hs b/src/Test/VeriFuzz/CodeGen.hs
index 80f813e..d922195 100644
--- a/src/Test/VeriFuzz/CodeGen.hs
+++ b/src/Test/VeriFuzz/CodeGen.hs
@@ -2,10 +2,9 @@
 
 module Test.VeriFuzz.CodeGen where
 
-import Data.Text (Text, empty, pack)
-import Data.Graph.Inductive (Graph, Node, indeg, outdeg, nodes)
-
-import Test.VeriFuzz.Types
+import           Data.Graph.Inductive (Graph, Node, indeg, nodes, outdeg)
+import           Data.Text            (Text, empty, pack)
+import           Test.VeriFuzz.Types
 
 fromNode :: Node -> Text
 fromNode node = pack $ "w" <> show node
diff --git a/src/Test/VeriFuzz/Graph/Random.hs b/src/Test/VeriFuzz/Graph/Random.hs
index 2b91157..d2d41a8 100644
--- a/src/Test/VeriFuzz/Graph/Random.hs
+++ b/src/Test/VeriFuzz/Graph/Random.hs
@@ -1,9 +1,11 @@
 module Test.VeriFuzz.Graph.Random where
 
-import Data.Graph.Inductive (Graph, LNode, LEdge, mkGraph)
-import Test.QuickCheck (Arbitrary, Gen, arbitrary, generate, infiniteListOf, suchThat, listOf, scale, resize)
+import           Data.Graph.Inductive (Graph, LEdge, LNode, mkGraph)
+import           Test.QuickCheck      (Arbitrary, Gen, arbitrary, generate,
+                                       infiniteListOf, listOf, resize, scale,
+                                       suchThat)
 
-import Test.VeriFuzz.Types
+import           Test.VeriFuzz.Types
 
 arbitraryEdge :: (Arbitrary e) => Int -> Gen (LEdge e)
 arbitraryEdge n = do
@@ -21,6 +23,6 @@ randomDAG :: (Arbitrary l, Arbitrary e, Graph gr)
 randomDAG n = do
   list <- generate . infiniteListOf $ arbitrary
   l <- generate . infiniteListOf $ arbitraryEdge n
-  return . mkGraph (nodes list) $ take (2*n) l
+  return . mkGraph (nodes list) $ take (5*n) l
     where
       nodes l = (zip [0..n] $ take n l)
diff --git a/src/Test/VeriFuzz/Types.hs b/src/Test/VeriFuzz/Types.hs
index 0528972..0e6dea8 100644
--- a/src/Test/VeriFuzz/Types.hs
+++ b/src/Test/VeriFuzz/Types.hs
@@ -1,14 +1,14 @@
 module Test.VeriFuzz.Types where
 
-import Test.QuickCheck
-import System.Random
+import           System.Random
+import           Test.QuickCheck
 
 data Gate = And
           | Or
           | Xor
           | Nor
           | Nand
-          deriving (Show, Eq, Enum, Bounded)
+          deriving (Show, Eq, Enum, Bounded, Ord)
 
 instance Random Gate where
   randomR (a, b) g =
-- 
cgit