@@ -2,25 +2,21 @@ module Test.Main where
2
2
3
3
import Prelude
4
4
5
- import Control.Monad.Eff.Console (log , logShow )
5
+ import Control.Monad.Eff.Console (log )
6
6
7
- import Data.Argonaut.Core (JObject , Json , isObject , toObject , fromObject , fromArray , fromString , fromNumber , fromBoolean , jsonNull )
7
+ import Data.Argonaut.Core (JObject , Json , isObject , toObject )
8
8
import Data.Argonaut.Decode (decodeJson )
9
9
import Data.Argonaut.Encode (encodeJson , (:=), (~>))
10
10
import Data.Argonaut.Gen (genJson )
11
- import Data.Array (zipWith , nubBy , length )
12
11
import Data.Either (Either (..))
13
12
import Data.Foldable (foldl )
14
- import Data.Function (on )
15
- import Data.List (fromFoldable )
16
13
import Data.Maybe (Maybe (..), maybe , isJust )
17
14
import Data.StrMap as SM
18
- import Data.Tuple (Tuple (..), fst )
15
+ import Data.Tuple (Tuple (..))
19
16
20
17
import 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 )
24
20
25
21
main :: SC () Unit
26
22
main = do
@@ -80,17 +76,17 @@ combinatorsCheck = do
80
76
prop_assoc_append (Tuple (Tuple key (TestJson val)) (Obj obj)) =
81
77
let appended = (key := val) ~> obj
82
78
in case toObject appended >>= SM .lookup key of
83
- Just val -> true
79
+ Just value -> true
84
80
_ -> false
85
81
86
82
prop_get_jobject_field :: Obj -> Boolean
87
83
prop_get_jobject_field (Obj obj) =
88
84
maybe false go $ toObject obj
89
85
where
90
86
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
94
90
95
91
eitherCheck :: SC () Unit
96
92
eitherCheck = do
0 commit comments