git.iko.soy/typeable/http-api-data
on master help sign in
Updated tests.
commit647a20b6835c638a7f0378659250296b182e2b37 authorMomemtumMori <admin@momemtummori.info> dateSun 22 Jun 2014, 12:13 (12 years ago) parent1aa1d78
2 files changed+13−8
compare with master
unifiedsplit
Web/PathPieces.hs+1−1 test/main.hs+12−7
Web/PathPieces.hs+1−1
@@ -1,4 +1,4 @@
1−{-# LANGUAGE FlexibleInstances, TypeSynonymInstances #-}
1+{-# LANGUAGE FlexibleInstances, TypeSynonymInstances, OverloadedStrings #-}
22module Web.PathPieces
33 ( PathPiece (..)
44 , PathMultiPiece (..)
test/main.hs+12−7
@@ -27,17 +27,22 @@ spec = do
2727 Nothing -> null p
2828 Just pConverted -> p == pConverted
2929
30− prop "toPathPiece <=> fromPathPiece String" $ \(p::T.Text) ->
30+ prop "toPathPiece <=> fromPathPiece Text" $ \(p::T.Text) ->
3131 case (fromPathPiece . toPathPiece) p of
3232 Nothing -> T.null p
3333 Just pConverted -> p == pConverted
3434
35− prop "toPathPiece <=> fromPathPiece String" $ \(p::Int) ->
35+ prop "toPathPiece <=> fromPathPiece Int" $ \(p::Int) ->
3636 case (fromPathPiece . toPathPiece) p of
3737 Nothing -> False
3838 Just pConverted -> p == pConverted
3939
40− prop "toPathPiece <=> fromPathPiece String" $ \(p::Bool) ->
40+ prop "toPathPiece <=> fromPathPiece Bool" $ \(p::Bool) ->
41+ case (fromPathPiece . toPathPiece) p of
42+ Nothing -> False
43+ Just pConverted -> p == pConverted
44+
45+ prop "toPathPiece <=> fromPathPiece String" $ \(p::Maybe String) ->
4146 case (fromPathPiece . toPathPiece) p of
4247 Nothing -> False
4348 Just pConverted -> p == pConverted
@@ -46,7 +51,7 @@ spec = do
4651 prop "toPathMultiPiece <=> fromPathMultiPiece String" $ \(p::[String]) ->
4752 p == (fromJust . fromPathMultiPiece . toPathMultiPiece) p
4853
49− prop "toPathMultiPiece <=> fromPathMultiPiece String" $ \(p::[T.Text]) ->
54+ prop "toPathMultiPiece <=> fromPathMultiPiece Text" $ \(p::[T.Text]) ->
5055 p == (fromJust . fromPathMultiPiece . toPathMultiPiece) p
5156
5257
@@ -56,12 +61,12 @@ spec = do
5661 Nothing -> null p
5762 Just pConverted -> p == pConverted
5863
59− prop "toPathPiece <=> fromPathPiece String" $ \(p::T.Text) ->
64+ prop "toPathPiece <=> fromPathPiece Text" $ \(p::T.Text) ->
6065 case (fromPathPiece . toPathPiece) p of
6166 Nothing -> T.null p
6267 Just pConverted -> p == pConverted
6368
64− prop "toPathPiece <=> fromPathPiece String" $ \(p::Int) ->
69+ prop "toPathPiece <=> fromPathPiece Int" $ \(p::Int) ->
6570 case (fromPathPiece . toPathPiece) p of
6671 Nothing -> p < 0
6772 Just pConverted -> p == pConverted
@@ -70,5 +75,5 @@ spec = do
7075 prop "toPathMultiPiece <=> fromPathMultiPiece String" $ \(p::[String]) ->
7176 p == (fromJust . fromPathMultiPiece . toPathMultiPiece) p
7277
73− prop "toPathMultiPiece <=> fromPathMultiPiece String" $ \(p::[T.Text]) ->
78+ prop "toPathMultiPiece <=> fromPathMultiPiece Text" $ \(p::[T.Text]) ->
7479 p == (fromJust . fromPathMultiPiece . toPathMultiPiece) p