mirror of
https://github.com/typeable/wai.git
synced 2024-12-29 09:04:33 +03:00
27 lines
981 B
Haskell
27 lines
981 B
Haskell
module ReadIntSpec (main, spec) where
|
|
|
|
import Data.ByteString (ByteString)
|
|
import Test.Hspec
|
|
import Network.Wai.Handler.Warp.ReadInt
|
|
import qualified Data.ByteString.Char8 as B
|
|
import qualified Test.QuickCheck as QC
|
|
|
|
main :: IO ()
|
|
main = hspec spec
|
|
|
|
spec :: Spec
|
|
spec = describe "readInt64" $ do
|
|
it "converts ByteString to Int" $ QC.property (prop_read_show_idempotent readInt64)
|
|
|
|
-- A QuickCheck property. Test that for a number >= 0, converting it to
|
|
-- a string using show and then reading the value back with the function
|
|
-- under test returns the original value.
|
|
-- The functions under test only work on Natural numbers (the Conent-Length
|
|
-- field in a HTTP header is always >= 0) so we check the absolute value of
|
|
-- the value that QuickCheck generates for us.
|
|
prop_read_show_idempotent :: (Integral a, Show a) => (ByteString -> a) -> a -> Bool
|
|
prop_read_show_idempotent freader x = px == freader (toByteString px)
|
|
where
|
|
px = abs x
|
|
toByteString = B.pack . show
|