diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-15 20:17:54 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-15 20:17:54 +0000 |
commit | 86bc5c8596085d308df5d2c6ae5522bfb0ba50e0 (patch) | |
tree | 6da9414225048a9ec4f2812d7f514b4f093a3ac7 /src/Test/VeriFuzz/Types.hs | |
parent | 46170b588d4f926693b372428ba0b66ba2db39f2 (diff) | |
download | verismith-86bc5c8596085d308df5d2c6ae5522bfb0ba50e0.tar.gz verismith-86bc5c8596085d308df5d2c6ae5522bfb0ba50e0.zip |
Rename types to circuit
Diffstat (limited to 'src/Test/VeriFuzz/Types.hs')
-rw-r--r-- | src/Test/VeriFuzz/Types.hs | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/Test/VeriFuzz/Types.hs b/src/Test/VeriFuzz/Types.hs deleted file mode 100644 index 78fde7d..0000000 --- a/src/Test/VeriFuzz/Types.hs +++ /dev/null @@ -1,22 +0,0 @@ -module Test.VeriFuzz.Types where - -import Data.Graph.Inductive -import System.Random -import Test.QuickCheck - -data Gate = And - | Or - | Xor - deriving (Show, Eq, Enum, Bounded, Ord) - -newtype Circuit = Circuit { getCircuit :: Gr Gate () } - -instance Random Gate where - randomR (a, b) g = - case randomR (fromEnum a, fromEnum b) g of - (x, g') -> (toEnum x, g') - - random = randomR (minBound, maxBound) - -instance Arbitrary Gate where - arbitrary = elements [And, Or, Xor] |