msakai / toysolver / 524

coverage: 69.32% (-0.7%) from 70.001%
524

push

github

web-flow 
Merge 7b4eae581 into 79456f7ed

48 of 336 new or added lines in 11 files covered. (14.29%)

68 existing lines in 10 files now uncovered.

9989 of 14410 relevant lines covered (69.32%)

0.69 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

50.0
/src/ToySolver/Internal/JSON.hs
1 
{-# OPTIONS_GHC -Wall #-}
2 
{-# LANGUAGE OverloadedStrings #-}
3 
module ToySolver.Internal.JSON where
4 









5



import Control.Monad










6



import qualified Data.Aeson as J










7



import qualified Data.Aeson.Types as J










8



import Data.Aeson ((.:))










9












10



withTypedObject :: String -> (J.Object -> J.Parser a) -> J.Value -> J.Parser a











NEW


11



withTypedObject name k = J.withObject name $ \obj -> do




×








12



  t <- obj .: "type"




1✔






NEW


13



  unless (t == name) $ fail ("expected type " ++ show name ++ ", but found type " ++ show t)




×








14



  k obj




1✔



















    

  • 

    •