module Bit where
+import Test.QuickCheck
+
+
data Bit = None | Zero | One
deriving (Eq)
show Zero = "0"
show One = "1"
-
+
+instance Arbitrary Bit where
+ arbitrary = elements [ Zero, One ]
+
+
bit_to_int :: Bit -> Int
bit_to_int None = -1
bit_to_int Zero = 0