Skip to content

Commit 7c33e77

Browse files
committed
Add test for Either instance
1 parent 95b4e0e commit 7c33e77

File tree

1 file changed

+11
-0
lines changed

1 file changed

+11
-0
lines changed

test/Test/Main.purs

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -183,7 +183,18 @@ genericsCheck = do
183183
}]}
184184

185185

186+
eitherCheck = do
187+
log "Test EncodeJson/DecodeJson Either instance"
188+
quickCheck \(x :: Either String String) ->
189+
case decodeJson (encodeJson x) of
190+
Right decoded ->
191+
decoded == x
192+
<?> ("x = " <> show x <> ", decoded = " <> show decoded)
193+
Left err ->
194+
false <?> err
195+
186196
main = do
197+
eitherCheck
187198
encodeDecodeCheck
188199
combinatorsCheck
189200
genericsCheck

0 commit comments

Comments
 (0)