@@ -8,14 +8,13 @@ import Data.Argonaut.Core (stringify)
8
8
import Data.Argonaut.Core as Json
9
9
import Data.Codec.Argonaut.Common as CA
10
10
import Data.Codec.Argonaut.Record as CAR
11
- import Data.Maybe (Maybe (..), fromJust )
11
+ import Data.Maybe (Maybe (..))
12
12
import Data.Newtype (class Newtype , unwrap , wrap )
13
13
import Data.Profunctor (dimap )
14
14
import Data.String.Gen (genAsciiString )
15
15
import Effect (Effect )
16
16
import Effect.Console (log )
17
17
import Foreign.Object as Object
18
- import Partial.Unsafe (unsafePartial )
19
18
import Test.QuickCheck (assertEquals , quickCheck , quickCheckGen )
20
19
import Test.QuickCheck.Gen (Gen )
21
20
import Test.Util (genInt , propCodec )
@@ -86,14 +85,14 @@ main = do
86
85
log " Check optional Nothing is missing from json"
87
86
quickCheckGen do
88
87
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)
91
90
92
91
log " Check optional Just is present in the json"
93
92
quickCheckGen do
94
93
b ← Gen .chooseBool
95
94
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)
98
97
99
98
pure unit
0 commit comments