From 7a232b35afd7027d73e91f80bfa687fba24febd6 Mon Sep 17 00:00:00 2001 From: Vaibhav Sagar Date: Fri, 7 Apr 2017 22:29:39 +0700 Subject: [PATCH] Fix warnings --- src/Data/Argonaut/Decode/Class.purs | 10 +++------- src/Data/Argonaut/Encode/Class.purs | 1 - test/Test/Main.purs | 22 +++++++++------------- 3 files changed, 12 insertions(+), 21 deletions(-) diff --git a/src/Data/Argonaut/Decode/Class.purs b/src/Data/Argonaut/Decode/Class.purs index 363b9f6..67f93b6 100644 --- a/src/Data/Argonaut/Decode/Class.purs +++ b/src/Data/Argonaut/Decode/Class.purs @@ -5,22 +5,18 @@ module Data.Argonaut.Decode.Class import Prelude -import Data.Argonaut.Core (Json, JArray, JObject, isNull, foldJsonNull, foldJsonBoolean, foldJsonNumber, foldJsonString, toArray, toNumber, toObject, toString, toBoolean) -import Data.Array (zipWithA) +import Data.Argonaut.Core (Json, JArray, JObject, isNull, foldJsonNull, foldJsonBoolean, foldJsonNumber, foldJsonString, toArray, toObject, toString) import Data.Bifunctor (lmap) import Data.Either (Either(..)) -import Data.Foldable (find) import Data.Int (fromNumber) import Data.List (List(..), (:), fromFoldable) import Data.Map as M import Data.Maybe (maybe, Maybe(..)) -import Data.String (charAt, toChar) +import Data.String (charAt) import Data.StrMap as SM -import Data.Traversable (traverse, for) +import Data.Traversable (traverse) import Data.Tuple (Tuple(..)) -import Type.Proxy (Proxy(..)) - class DecodeJson a where decodeJson :: Json -> Either String a diff --git a/src/Data/Argonaut/Encode/Class.purs b/src/Data/Argonaut/Encode/Class.purs index 23c0649..fa8d88c 100644 --- a/src/Data/Argonaut/Encode/Class.purs +++ b/src/Data/Argonaut/Encode/Class.purs @@ -4,7 +4,6 @@ import Prelude import Data.Argonaut.Core (Json(), jsonNull, fromBoolean, fromNumber, fromString, fromArray, fromObject, jsonEmptyObject, jsonSingletonObject) import Data.Either (Either(), either) -import Data.Foldable (foldr) import Data.Int (toNumber) import Data.List (List(..), (:), toUnfoldable) import Data.Map as M diff --git a/test/Test/Main.purs b/test/Test/Main.purs index 8459bc5..dbfc995 100644 --- a/test/Test/Main.purs +++ b/test/Test/Main.purs @@ -2,25 +2,21 @@ module Test.Main where import Prelude -import Control.Monad.Eff.Console (log, logShow) +import Control.Monad.Eff.Console (log) -import Data.Argonaut.Core (JObject, Json, isObject, toObject, fromObject, fromArray, fromString, fromNumber, fromBoolean, jsonNull) +import Data.Argonaut.Core (JObject, Json, isObject, toObject) import Data.Argonaut.Decode (decodeJson) import Data.Argonaut.Encode (encodeJson, (:=), (~>)) import Data.Argonaut.Gen (genJson) -import Data.Array (zipWith, nubBy, length) import Data.Either (Either(..)) import Data.Foldable (foldl) -import Data.Function (on) -import Data.List (fromFoldable) import Data.Maybe (Maybe(..), maybe, isJust) import Data.StrMap as SM -import Data.Tuple (Tuple(..), fst) +import Data.Tuple (Tuple(..)) import Test.StrongCheck (SC, quickCheck, quickCheck', ()) -import Test.StrongCheck.Arbitrary (class Arbitrary, arbitrary) -import Test.StrongCheck.Data.AlphaNumString (AlphaNumString(..)) -import Test.StrongCheck.Gen (Gen, Size, showSample, sized, frequency, oneOf, vectorOf, suchThat, resize) +import Test.StrongCheck.Arbitrary (class Arbitrary) +import Test.StrongCheck.Gen (suchThat, resize) main :: SC () Unit main = do @@ -80,7 +76,7 @@ combinatorsCheck = do prop_assoc_append (Tuple (Tuple key (TestJson val)) (Obj obj)) = let appended = (key := val) ~> obj in case toObject appended >>= SM.lookup key of - Just val -> true + Just value -> true _ -> false prop_get_jobject_field :: Obj -> Boolean @@ -88,9 +84,9 @@ combinatorsCheck = do maybe false go $ toObject obj where go :: JObject -> Boolean - go obj = - let keys = SM.keys obj - in foldl (\ok key -> ok && isJust (SM.lookup key obj)) true keys + go object = + let keys = SM.keys object + in foldl (\ok key -> ok && isJust (SM.lookup key object)) true keys eitherCheck :: SC () Unit eitherCheck = do