git.iko.soy/typeable/http-api-data
on master help sign in
[#77] Add `checkEncodedUrlPiece` tests to `Data.Fixed` types
83a8825Alexandre Baldé
test/Web/Internal/HttpApiDataSpec.hs+9
compare with master
unifiedsplit
@@ -3,6 +3,7 @@
3module Web.Internal.HttpApiDataSpec (spec) where
3module Web.Internal.HttpApiDataSpec (spec) where
4
4
5import Control.Applicative
5import Control.Applicative
6+import qualified Data.Fixed as F
6import Data.Int
7import Data.Int
7import Data.Word
8import Data.Word
8import Data.Time
9import Data.Time
@@ -136,6 +137,14 @@ spec = do
136 checkEncodedUrlPiece (Proxy :: Proxy Natural) "Natural"
137 checkEncodedUrlPiece (Proxy :: Proxy Natural) "Natural"
137#endif
138#endif
138
139
140+ checkEncodedUrlPiece (Proxy :: Proxy F.Uni) "Uni"
141+ checkEncodedUrlPiece (Proxy :: Proxy F.Deci) "Deci"
142+ checkEncodedUrlPiece (Proxy :: Proxy F.Centi) "Centi"
143+ checkEncodedUrlPiece (Proxy :: Proxy F.Milli) "Milli"
144+ checkEncodedUrlPiece (Proxy :: Proxy F.Micro) "Micro"
145+ checkEncodedUrlPiece (Proxy :: Proxy F.Nano) "Nano"
146+ checkEncodedUrlPiece (Proxy :: Proxy F.Pico) "Pico"
147+
139 it "bad integers are rejected" $ do
148 it "bad integers are rejected" $ do
140 parseUrlPieceMaybe (T.pack "123hello") `shouldBe` (Nothing :: Maybe Int)
149 parseUrlPieceMaybe (T.pack "123hello") `shouldBe` (Nothing :: Maybe Int)
141
150