@@ -3,17 +3,20 @@ module Test.Data.Map where
33import Prelude
44
55import Control.Alt ((<|>))
6- import Control.Monad.Eff.Console (log )
6+ import Control.Monad.Eff (Eff ())
7+ import Control.Monad.Eff.Console (log , CONSOLE ())
8+ import Control.Monad.Eff.Exception (EXCEPTION ())
9+ import Control.Monad.Eff.Random (RANDOM ())
710import Data.Foldable (foldl , for_ )
811import Data.Function (on )
9- import Data.List (List (..), groupBy , length , nubBy , sortBy , singleton , toList )
12+ import Data.List (List (..), groupBy , length , nubBy , sortBy , singleton )
1013import Data.Maybe (Maybe (..), fromMaybe )
1114import Data.Maybe.Unsafe (unsafeThrow )
1215import Data.Tuple (Tuple (..), fst )
1316import Test.QuickCheck ((<?>), quickCheck , quickCheck' )
14- import Test.QuickCheck.Arbitrary (Arbitrary , arbitrary )
17+ import Test.QuickCheck.Arbitrary (class Arbitrary , arbitrary )
1518
16- import qualified Data.Map as M
19+ import Data.Map as M
1720
1821newtype TestMap k v = TestMap (M.Map k v )
1922
@@ -107,6 +110,14 @@ smallKey k = k
107110number :: Int -> Int
108111number n = n
109112
113+ mapTests :: forall t .
114+ Eff
115+ ( console :: CONSOLE
116+ , random :: RANDOM
117+ , err :: EXCEPTION
118+ | t
119+ )
120+ Unit
110121mapTests = do
111122
112123 -- Data.Map
@@ -181,7 +192,7 @@ mapTests = do
181192 in f (f arr) == f (arr :: List (Tuple SmallKey Int )) <?> show arr
182193
183194 log " fromList . toList = id"
184- quickCheck $ \(TestMap m) -> let f m = M .fromList (M .toList m) in
195+ quickCheck $ \(TestMap m) -> let f m' = M .fromList (M .toList m' ) in
185196 M .toList (f m) == M .toList (m :: M.Map SmallKey Int ) <?> show m
186197
187198 log " fromListWith const = fromList"
0 commit comments