Craft3e-0.2.0.1: Code for Haskell: the Craft of Functional Programming, 3rd ed.
Safe HaskellSafe-Inferred
LanguageHaskell2010

QCStoreTest

Documentation

prop_Update1 :: Char -> Integer -> Store -> Bool Source #

prop_Update2 :: Char -> Char -> Integer -> Store -> Bool Source #

prop_Initial :: Char -> Bool Source #