@@ -2,25 +2,21 @@ module Test.Main where
22
33import Prelude
44
5- import Control.Monad.Eff.Console (log , logShow )
5+ import Control.Monad.Eff.Console (log )
66
7- import Data.Argonaut.Core (JObject , Json , isObject , toObject , fromObject , fromArray , fromString , fromNumber , fromBoolean , jsonNull )
7+ import Data.Argonaut.Core (JObject , Json , isObject , toObject )
88import Data.Argonaut.Decode (decodeJson )
99import Data.Argonaut.Encode (encodeJson , (:=), (~>))
1010import Data.Argonaut.Gen (genJson )
11- import Data.Array (zipWith , nubBy , length )
1211import Data.Either (Either (..))
1312import Data.Foldable (foldl )
14- import Data.Function (on )
15- import Data.List (fromFoldable )
1613import Data.Maybe (Maybe (..), maybe , isJust )
1714import Data.StrMap as SM
18- import Data.Tuple (Tuple (..), fst )
15+ import Data.Tuple (Tuple (..))
1916
2017import Test.StrongCheck (SC , quickCheck , quickCheck' , (<?>))
21- import Test.StrongCheck.Arbitrary (class Arbitrary , arbitrary )
22- import Test.StrongCheck.Data.AlphaNumString (AlphaNumString (..))
23- import Test.StrongCheck.Gen (Gen , Size , showSample , sized , frequency , oneOf , vectorOf , suchThat , resize )
18+ import Test.StrongCheck.Arbitrary (class Arbitrary )
19+ import Test.StrongCheck.Gen (suchThat , resize )
2420
2521main :: SC () Unit
2622main = do
@@ -80,17 +76,17 @@ combinatorsCheck = do
8076 prop_assoc_append (Tuple (Tuple key (TestJson val)) (Obj obj)) =
8177 let appended = (key := val) ~> obj
8278 in case toObject appended >>= SM .lookup key of
83- Just val -> true
79+ Just value -> true
8480 _ -> false
8581
8682 prop_get_jobject_field :: Obj -> Boolean
8783 prop_get_jobject_field (Obj obj) =
8884 maybe false go $ toObject obj
8985 where
9086 go :: JObject -> Boolean
91- go obj =
92- let keys = SM .keys obj
93- in foldl (\ok key -> ok && isJust (SM .lookup key obj )) true keys
87+ go object =
88+ let keys = SM .keys object
89+ in foldl (\ok key -> ok && isJust (SM .lookup key object )) true keys
9490
9591eitherCheck :: SC () Unit
9692eitherCheck = do
0 commit comments