@@ -3,7 +3,7 @@ module Test.Main where
3
3
import Prelude
4
4
5
5
import Control.Monad.Gen as Gen
6
- import Data.Argonaut.Core (Json , foldJson , foldJsonArray , foldJsonBoolean , foldJsonNull , foldJsonNumber , foldJsonObject , foldJsonString , fromArray , fromBoolean , fromNumber , fromObject , fromString , isArray , isBoolean , isNull , isNumber , isObject , isString , jsonNull , stringify , toArray , toBoolean , toNull , toNumber , toObject , toString )
6
+ import Data.Argonaut.Core (Json , caseJson , caseJsonArray , caseJsonBoolean , caseJsonNull , caseJsonNumber , caseJsonObject , caseJsonString , fromArray , fromBoolean , fromNumber , fromObject , fromString , isArray , isBoolean , isNull , isNumber , isObject , isString , jsonNull , stringify , toArray , toBoolean , toNull , toNumber , toObject , toString )
7
7
import Data.Argonaut.Gen (genJson )
8
8
import Data.Argonaut.Parser (jsonParser )
9
9
import Data.Array as A
@@ -35,15 +35,15 @@ isTest = do
35
35
36
36
foldTest :: Effect Unit
37
37
foldTest = do
38
- assert (foldFn thisIsNull == " null" <?> " Error in foldJson null" )
39
- assert (foldFn thisIsBoolean == " boolean" <?> " Error in foldJson boolean" )
40
- assert (foldFn thisIsNumber == " number" <?> " Error in foldJson number" )
41
- assert (foldFn thisIsString == " string" <?> " Error in foldJson string" )
42
- assert (foldFn thisIsArray == " array" <?> " Error in foldJson array" )
43
- assert (foldFn thisIsObject == " object" <?> " Error in foldJson object" )
38
+ assert (foldFn thisIsNull == " null" <?> " Error in caseJson null" )
39
+ assert (foldFn thisIsBoolean == " boolean" <?> " Error in caseJson boolean" )
40
+ assert (foldFn thisIsNumber == " number" <?> " Error in caseJson number" )
41
+ assert (foldFn thisIsString == " string" <?> " Error in caseJson string" )
42
+ assert (foldFn thisIsArray == " array" <?> " Error in caseJson array" )
43
+ assert (foldFn thisIsObject == " object" <?> " Error in caseJson object" )
44
44
45
45
foldFn :: Json -> String
46
- foldFn = foldJson
46
+ foldFn = caseJson
47
47
(const " null" )
48
48
(const " boolean" )
49
49
(const " number" )
@@ -63,43 +63,43 @@ cases =
63
63
64
64
foldXXX :: Effect Unit
65
65
foldXXX = do
66
- assert ((foldJsonNull " not null" (const " null" ) <$> cases) ==
66
+ assert ((caseJsonNull " not null" (const " null" ) <$> cases) ==
67
67
[" null" , " not null" , " not null" , " not null" , " not null" , " not null" ] <?>
68
- " Error in foldJsonNull " )
69
- assert ((foldJsonBoolean " not boolean" (const " boolean" ) <$> cases) ==
68
+ " Error in caseJsonNull " )
69
+ assert ((caseJsonBoolean " not boolean" (const " boolean" ) <$> cases) ==
70
70
[" not boolean" , " boolean" , " not boolean" , " not boolean" , " not boolean" , " not boolean" ] <?>
71
- " Error in foldJsonBoolean " )
72
- assert ((foldJsonNumber " not number" (const " number" ) <$> cases) ==
71
+ " Error in caseJsonBoolean " )
72
+ assert ((caseJsonNumber " not number" (const " number" ) <$> cases) ==
73
73
[" not number" , " not number" , " number" , " not number" , " not number" , " not number" ] <?>
74
- " Error in foldJsonNumber " )
74
+ " Error in caseJsonNumber " )
75
75
76
- assert ((foldJsonString " not string" (const " string" ) <$> cases) ==
76
+ assert ((caseJsonString " not string" (const " string" ) <$> cases) ==
77
77
[" not string" , " not string" , " not string" , " string" , " not string" , " not string" ] <?>
78
- " Error in foldJsonString " )
78
+ " Error in caseJsonString " )
79
79
80
- assert ((foldJsonArray " not array" (const " array" ) <$> cases) ==
80
+ assert ((caseJsonArray " not array" (const " array" ) <$> cases) ==
81
81
[" not array" , " not array" , " not array" , " not array" , " array" , " not array" ] <?>
82
- " Error in foldJsonArray " )
83
- assert ((foldJsonObject " not object" (const " object" ) <$> cases) ==
82
+ " Error in caseJsonArray " )
83
+ assert ((caseJsonObject " not object" (const " object" ) <$> cases) ==
84
84
[" not object" , " not object" , " not object" , " not object" , " not object" , " object" ] <?>
85
- " Error in foldJsonObject " )
85
+ " Error in caseJsonObject " )
86
86
87
87
88
88
fromTest :: Effect Unit
89
89
fromTest = do
90
- assert ((foldJsonNull false (const true ) jsonNull) <?> " Error in fromNull" )
91
- quickCheck (\bool -> foldJsonBoolean Nothing Just (fromBoolean bool) == Just bool <?> " Error in fromBoolean" )
92
- quickCheck (\num -> foldJsonNumber Nothing Just (fromNumber num) == Just num <?> " Error in fromNumber" )
93
- quickCheck (\str -> foldJsonString Nothing Just (fromString str) == Just str <?> " Error in fromString" )
90
+ assert ((caseJsonNull false (const true ) jsonNull) <?> " Error in fromNull" )
91
+ quickCheck (\bool -> caseJsonBoolean Nothing Just (fromBoolean bool) == Just bool <?> " Error in fromBoolean" )
92
+ quickCheck (\num -> caseJsonNumber Nothing Just (fromNumber num) == Just num <?> " Error in fromNumber" )
93
+ quickCheck (\str -> caseJsonString Nothing Just (fromString str) == Just str <?> " Error in fromString" )
94
94
quickCheck (\num ->
95
95
let arr :: Array Json
96
96
arr = A .singleton (fromNumber num)
97
- in (foldJsonArray Nothing Just (fromArray arr) == Just arr)
97
+ in (caseJsonArray Nothing Just (fromArray arr) == Just arr)
98
98
<?> " Error in fromArray" )
99
99
quickCheck (\(Tuple str num) ->
100
100
let sm :: Obj.Object Json
101
101
sm = Obj .singleton str (fromNumber num)
102
- in (foldJsonObject Nothing Just (fromObject sm) == Just sm)
102
+ in (caseJsonObject Nothing Just (fromObject sm) == Just sm)
103
103
<?> " Error in fromObject" )
104
104
105
105
toTest :: Effect Unit
@@ -136,9 +136,9 @@ main :: Effect Unit
136
136
main = do
137
137
log " isXxx tests"
138
138
isTest
139
- log " foldJson tests"
139
+ log " caseJson tests"
140
140
foldTest
141
- log " foldJsonXxx tests"
141
+ log " caseJsonXxx tests"
142
142
foldXXX
143
143
log " fromXxx tests"
144
144
fromTest
0 commit comments