You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, Data.Vector.Mutable.Linear and Data.Vector.Mutable.Array have separate, but similar implementations. We can remove some duplication via implementing the Vector in terms of Array.
Arrays should be ordinary arrays with read and write functions working with indexes and with an explicit resize functionality.
Vectors should growable arrays supporting push and pop operations efficiently by maintaining some spare capacity.
The text was updated successfully, but these errors were encountered:
Currently,
Data.Vector.Mutable.Linear
andData.Vector.Mutable.Array
have separate, but similar implementations. We can remove some duplication via implementing theVector
in terms ofArray
.read
andwrite
functions working with indexes and with an explicitresize
functionality.push
andpop
operations efficiently by maintaining some spare capacity.The text was updated successfully, but these errors were encountered: