@@ -701,8 +701,8 @@ exchange v i x = checkIndex Bounds i (length v) $ unsafeExchange v i x
701
701
unsafeRead :: (PrimMonad m , MVector v a ) => v (PrimState m ) a -> Int -> m a
702
702
{-# INLINE unsafeRead #-}
703
703
unsafeRead v ! i = checkIndex Unsafe i (length v)
704
- $ stToPrim
705
- $ basicUnsafeRead v i
704
+ $ stToPrim
705
+ $ basicUnsafeRead v i
706
706
-- Why do we need ! before i?
707
707
-- The reason is that 'basicUnsafeRead' is a class member and, unless 'unsafeRead' was
708
708
-- already specialised to a specific v, GHC has no clue that i is most certainly
@@ -712,16 +712,16 @@ unsafeRead v !i = checkIndex Unsafe i (length v)
712
712
unsafeWrite :: (PrimMonad m , MVector v a ) => v (PrimState m ) a -> Int -> a -> m ()
713
713
{-# INLINE unsafeWrite #-}
714
714
unsafeWrite v ! i x = checkIndex Unsafe i (length v)
715
- $ stToPrim
716
- $ basicUnsafeWrite v i x
715
+ $ stToPrim
716
+ $ basicUnsafeWrite v i x
717
717
718
718
-- | Modify the element at the given position. No bounds checks are performed.
719
719
unsafeModify :: (PrimMonad m , MVector v a ) => v (PrimState m ) a -> (a -> a ) -> Int -> m ()
720
720
{-# INLINE unsafeModify #-}
721
721
unsafeModify v f ! i = checkIndex Unsafe i (length v)
722
- $ stToPrim
723
- $ basicUnsafeRead v i >>= \ x ->
724
- basicUnsafeWrite v i (f x)
722
+ $ stToPrim
723
+ $ basicUnsafeRead v i >>= \ x ->
724
+ basicUnsafeWrite v i (f x)
725
725
726
726
-- | Modify the element at the given position using a monadic
727
727
-- function. No bounds checks are performed.
@@ -730,7 +730,7 @@ unsafeModify v f !i = checkIndex Unsafe i (length v)
730
730
unsafeModifyM :: (PrimMonad m , MVector v a ) => v (PrimState m ) a -> (a -> m a ) -> Int -> m ()
731
731
{-# INLINE unsafeModifyM #-}
732
732
unsafeModifyM v f ! i = checkIndex Unsafe i (length v)
733
- $ stToPrim . basicUnsafeWrite v i =<< f =<< stToPrim (basicUnsafeRead v i)
733
+ $ stToPrim . basicUnsafeWrite v i =<< f =<< stToPrim (basicUnsafeRead v i)
734
734
735
735
-- | Swap the elements at the given positions. No bounds checks are performed.
736
736
unsafeSwap :: (PrimMonad m , MVector v a ) => v (PrimState m ) a -> Int -> Int -> m ()
0 commit comments