@@ -166,7 +166,7 @@ mapTests = do
166166 in M .lookup k tree == Just v <?> (" instrs:\n " <> show instrs <> " \n k:\n " <> show k <> " \n v:\n " <> show v)
167167
168168 log " Singleton to list"
169- quickCheck $ \k v -> M .toList (M .singleton k v :: M.Map SmallKey Int ) == singleton (Tuple k v)
169+ quickCheck $ \k v -> M .toUnfoldable (M .singleton k v :: M.Map SmallKey Int ) == singleton (Tuple k v)
170170
171171 log " fromFoldable [] = empty"
172172 quickCheck (M .fromFoldable [] == (M .empty :: M.Map Unit Unit )
@@ -190,17 +190,12 @@ mapTests = do
190190 quickCheck (M .lookup 1 nums == Just 2 <?> " invalid lookup - 1" )
191191 quickCheck (M .lookup 2 nums == Nothing <?> " invalid lookup - 2" )
192192
193- log " sort . toList . fromFoldable = sort (on lists without key-duplicates)"
193+ log " sort . toUnfoldable . fromFoldable = sort (on lists without key-duplicates)"
194194 quickCheck $ \(list :: List (Tuple SmallKey Int )) ->
195195 let nubbedList = nubBy ((==) `on` fst) list
196- f x = M .toList (M .fromFoldable x)
196+ f x = M .toUnfoldable (M .fromFoldable x)
197197 in sort (f nubbedList) == sort nubbedList <?> show nubbedList
198198
199- log " fromFoldable . toList = id"
200- quickCheck $ \(TestMap (m :: M.Map SmallKey Int )) ->
201- let f m' = M .fromFoldable (M .toList m')
202- in f m == m <?> show m
203-
204199 log " fromFoldable . toUnfoldable = id"
205200 quickCheck $ \(TestMap (m :: M.Map SmallKey Int )) ->
206201 let f m' = M .fromFoldable (M .toUnfoldable m' :: List (Tuple SmallKey Int ))
@@ -317,5 +312,6 @@ mapTests = do
317312 quickCheck $ \(TestMap m :: TestMap String Int ) -> let
318313 f k v = k <> show v
319314 resultViaMapWithKey = m # M .mapWithKey f
320- resultViaLists = m # M .toList # map (\(Tuple k v) → Tuple k (f k v)) # M .fromFoldable
315+ toList = M .toUnfoldable :: forall k v . M.Map k v -> List (Tuple k v )
316+ resultViaLists = m # toList # map (\(Tuple k v) → Tuple k (f k v)) # M .fromFoldable
321317 in resultViaMapWithKey === resultViaLists
0 commit comments