diff options
| -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] |