{-
Copyright (C) 2018 Dr. Alistair Ward
This file is part of BishBosh.
BishBosh is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
BishBosh is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with BishBosh. If not, see .
-}
{- |
[@AUTHOR@] Dr. Alistair Ward
[@DESCRIPTION@] Defines /QuickCheck/-properties.
-}
module BishBosh.Test.QuickCheck.Data.Integral (
-- * Constants
results
) where
import Control.Arrow((&&&))
import qualified BishBosh.Data.Integral as Data.Integral
import qualified Data.Word
import qualified Test.QuickCheck
-- | The constant test-results.
results :: IO [Test.QuickCheck.Result]
results = sequence [
let
f :: Data.Word.Word -> Test.QuickCheck.Property
f = Test.QuickCheck.label "Integral.prop_stringToUnsignedDecimal" . uncurry (==) . (Data.Integral.stringToUnsignedDecimal . show &&& id)
in Test.QuickCheck.quickCheckWithResult Test.QuickCheck.stdArgs { Test.QuickCheck.maxSuccess = 256 } f
]