-- >>> delete b 1 :: Vec2 Int
-- fromList [1,3]
--
-delete :: (Vector v a, Vector w a, Dim v ~ S (Dim w)) => v a -> Int -> w a
+delete :: (Vector v a,
+ Vector w a,
+ Dim v ~ S (Dim w))
+ => v a
+ -> Int
+ -> w a
delete v1 idx =
- fromList $ (lhalf ++ rhalf')
+ fromList (lhalf ++ rhalf')
where
(lhalf, rhalf) = splitAt idx (toList v1)
rhalf' = tail rhalf