bookhound-0.1.25.0: test/Bookhound/Parsers/NumberSpec.hs

module Bookhound.Parsers.NumberSpec where

import Test.Hspec
import Test.Hspec.QuickCheck

import Test.QuickCheck                ((==>))
import Test.QuickCheck.Instances.Text ()

import Bookhound.Parser
import Bookhound.Parsers.Number
import Data.Text                (pack)



spec :: Spec
spec = do

  describe "posInt" $

    prop "parses a positive Int" $
      \(x :: Integer) -> x > 0 ==>
        runParser posInt (pack $ show x)
       `shouldBe`
        Right x

  describe "negInt" $

    prop "parses a negative Int" $
      \(x :: Integer) -> x < 0 ==>
        runParser negInt (pack $ show x)
       `shouldBe`
        Right x

  describe "int" $

    prop "parses an Int" $
      \(x :: Integer) ->
        runParser int (pack $ show x)
       `shouldBe`
        Right x


  describe "double" $

    prop "parses a Double" $
      \(x :: Double) ->
        runParser double (pack $ show x)
       `shouldBe`
        Right x