diff options
author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-17 11:41:38 +0000 |
---|---|---|
committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-17 11:41:38 +0000 |
commit | 0ea6e208f2c3c41922f8334174fc8e81a21d67f4 (patch) | |
tree | 3c4889aff5a85f58f7d4db296d7f2f26b8ad031f /src/VeriFuzz/Random.hs | |
parent | 08b2b306ae1accfa0b84dc3d327ba54add10a284 (diff) | |
download | verismith-0ea6e208f2c3c41922f8334174fc8e81a21d67f4.tar.gz verismith-0ea6e208f2c3c41922f8334174fc8e81a21d67f4.zip |
Brittany formatting
Diffstat (limited to 'src/VeriFuzz/Random.hs')
-rw-r--r-- | src/VeriFuzz/Random.hs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/VeriFuzz/Random.hs b/src/VeriFuzz/Random.hs index 9cfb570..e5d2c68 100644 --- a/src/VeriFuzz/Random.hs +++ b/src/VeriFuzz/Random.hs @@ -21,8 +21,7 @@ import qualified Test.QuickCheck as QC import VeriFuzz.Circuit 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 @@ -40,8 +39,7 @@ 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 |