From 79fb00d4855206c3fe25fef565ec5f5405a451e4 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 16 Nov 2018 19:56:07 +0000 Subject: Remove Nor and Nand from types Should add Not to the list, as that will emulate those fine. --- src/Test/VeriFuzz/Types.hs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'src') 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] -- cgit