@@ -8,14 +8,13 @@ import Data.Argonaut.Core (stringify)
88import Data.Argonaut.Core as Json
99import Data.Codec.Argonaut.Common as CA
1010import Data.Codec.Argonaut.Record as CAR
11- import Data.Maybe (Maybe (..), fromJust )
11+ import Data.Maybe (Maybe (..))
1212import Data.Newtype (class Newtype , unwrap , wrap )
1313import Data.Profunctor (dimap )
1414import Data.String.Gen (genAsciiString )
1515import Effect (Effect )
1616import Effect.Console (log )
1717import Foreign.Object as Object
18- import Partial.Unsafe (unsafePartial )
1918import Test.QuickCheck (assertEquals , quickCheck , quickCheckGen )
2019import Test.QuickCheck.Gen (Gen )
2120import Test.Util (genInt , propCodec )
@@ -86,14 +85,14 @@ main = do
8685 log " Check optional Nothing is missing from json"
8786 quickCheckGen do
8887 v ← genInner
89- let obj = unsafePartial $ fromJust $ Json .toObject $ CA .encode innerCodec (v { o = Nothing })
90- pure $ assertEquals [ " m" , " n" ] (Object .keys obj)
88+ let obj = Json .toObject $ CA .encode innerCodec (v { o = Nothing })
89+ pure $ assertEquals ( Just [ " m" , " n" ]) (Object .keys <$> obj)
9190
9291 log " Check optional Just is present in the json"
9392 quickCheckGen do
9493 b ← Gen .chooseBool
9594 v ← genInner
96- let obj = unsafePartial $ fromJust $ Json .toObject $ CA .encode innerCodec (v { o = Just b })
97- pure $ assertEquals [ " m" , " n" , " o" ] (Object .keys obj)
95+ let obj = Json .toObject $ CA .encode innerCodec (v { o = Just b })
96+ pure $ assertEquals ( Just [ " m" , " n" , " o" ]) (Object .keys <$> obj)
9897
9998 pure unit
0 commit comments