Digit-0.0.3: A data-type representing digits 0-9

Test.Data.Digit

Documentation

main :: IO ()Source

digitTests :: [Test]Source

prop_fold :: Digit -> BoolSource

prop_if :: Int -> Int -> Digit -> BoolSource

prop_even_odd :: Int -> Int -> Digit -> BoolSource