diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-16 19:56:07 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-16 19:56:07 +0000 |
| commit | 79fb00d4855206c3fe25fef565ec5f5405a451e4 (patch) | |
| tree | f24a29087eb0bdec8813b166c30bc9d59d5d16cc | |
| parent | d040d341ea06509139e64fee21cf9f214c8d87e0 (diff) | |
| download | verismith-79fb00d4855206c3fe25fef565ec5f5405a451e4.tar.gz verismith-79fb00d4855206c3fe25fef565ec5f5405a451e4.zip | |
Remove Nor and Nand from types
Should add Not to the list, as that will emulate those fine.
| -rw-r--r-- | src/Test/VeriFuzz/Types.hs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/Test/VeriFuzz/Types.hs b/src/Test/VeriFuzz/Types.hs index 0e6dea8..3b17b8c 100644 --- a/src/Test/VeriFuzz/Types.hs +++ b/src/Test/VeriFuzz/Types.hs @@ -6,8 +6,6 @@ import Test.QuickCheck data Gate = And | Or | Xor - | Nor - | Nand deriving (Show, Eq, Enum, Bounded, Ord) instance Random Gate where @@ -15,7 +13,7 @@ instance Random Gate where case randomR (fromEnum a, fromEnum b) g of (x, g') -> (toEnum x, g') - random g = randomR (minBound, maxBound) g + random = randomR (minBound, maxBound) instance Arbitrary Gate where - arbitrary = elements [And, Or, Xor, Nor, Nand] + arbitrary = elements [And, Or, Xor] |