@@ -31,26 +31,22 @@ import Prelude
3131
3232import Control.Lazy as Lazy
3333
34- import Data.Eq1 (eq1 )
35- import Data.Ord1 (compare1 )
36- import Data.Argonaut.Encode (class EncodeJson , encodeJson )
3734import Data.Argonaut.Decode (class DecodeJson , decodeJson )
38-
35+ import Data.Argonaut.Encode (class EncodeJson , encodeJson )
36+ import Data.Array as A
37+ import Data.Eq1 (eq1 )
3938import Data.Functor.Mu as Mu
4039import Data.HugeNum as HN
41- import Data.List as L
40+ import Data.Json.Extended.Signature as Sig
4241import Data.Map as Map
4342import Data.Maybe as M
43+ import Data.Ord1 (compare1 )
4444import Data.StrMap as SM
4545import Data.Tuple as T
46-
47- import Test.StrongCheck as SC
46+ import Test.StrongCheck.Arbitrary as SC
4847import Test.StrongCheck.Gen as Gen
49-
5048import Text.Parsing.Parser as P
5149
52- import Data.Json.Extended.Signature as Sig
53-
5450newtype EJson = EJson (Mu.Mu Sig.EJsonF )
5551
5652getEJson
@@ -189,9 +185,9 @@ array ∷ Array EJson → EJson
189185array = roll <<< Sig.Array
190186
191187object ∷ Map.Map EJson EJson → EJson
192- object = roll <<< Sig.Object <<< L .fromList <<< Map .toList
188+ object = roll <<< Sig.Object <<< A .fromFoldable <<< Map .toList
193189
194190object' ∷ SM.StrMap EJson → EJson
195- object' = roll <<< Sig.Object <<< map go <<< L .fromList <<< SM .toList
191+ object' = roll <<< Sig.Object <<< map go <<< A .fromFoldable <<< SM .toList
196192 where
197193 go (T.Tuple a b) = T.Tuple (string a) b
0 commit comments