File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -3,7 +3,7 @@ module Tests.Vector (tests) where
3
3
import Boilerplater
4
4
import Utilities as Util
5
5
6
- import Data.Traversable (Traversable (.. ))
6
+ import qualified Data.Traversable as T (Traversable (.. ))
7
7
import Data.Foldable (Foldable (foldMap ))
8
8
9
9
import qualified Data.Vector.Generic as V
@@ -73,7 +73,7 @@ import Control.Monad.Trans.Writer
73
73
instance Foldable ((,) a ) where
74
74
foldMap f (_, b) = f b
75
75
76
- instance Traversable ((,) a ) where
76
+ instance T. Traversable ((,) a ) where
77
77
traverse f (a, b) = fmap ((,) a) $ f b
78
78
#endif
79
79
@@ -233,7 +233,7 @@ testPolymorphicFunctions _ = $(testProperties [
233
233
= (\ n _ _ -> n < 1000 ) ===> V. iterateN `eq` (\ n f -> take n . iterate f)
234
234
235
235
prop_createT :: P ((a , v a ) -> (a , v a ))
236
- prop_createT = (\ v -> V. createT (traverse V. thaw v)) `eq` id
236
+ prop_createT = (\ v -> V. createT (T. mapM V. thaw v)) `eq` id
237
237
238
238
prop_head :: P (v a -> a ) = not . V. null ===> V. head `eq` head
239
239
prop_last :: P (v a -> a ) = not . V. null ===> V. last `eq` last
You can’t perform that action at this time.
0 commit comments