MVector data instances are exposed from Unboxed and Unboxed.Mutable

[meooow25]

vector/vector/src/Data/Vector/Unboxed.hs

Lines 61 to 63 in 6b8bbc3

	module Data.Vector.Unboxed (
	-- * Unboxed vectors
	Vector(V_UnboxAs, V_UnboxViaPrim), MVector(..), Unbox,

vector/vector/src/Data/Vector/Unboxed/Mutable.hs

Lines 17 to 19 in 6b8bbc3

	module Data.Vector.Unboxed.Mutable (
	-- * Mutable vectors of primitive types
	MVector(..), IOVector, STVector, Unbox,

I was confused as to why Vector data instances are not exposed but MVector instances are.

Then I found #49 (comment) which explains why exposing them is unsafe, which is fair. But then there is no reason to expose the MVector instances. This wasn't answered in #49.

I would expect this to consistent between Vector and MVector. Or perhaps this issue is known but the MVector instances are not hidden to avoid breakage?

[Shimuuar]

Yes mutable vector were exposed early in the development for some reason. And yes hiding them is a breaking change

[meooow25]

Thanks, that answers the question! Please close this if there is nothing to be done about it.