Data.Vector.Generic.Lens

Similar to toListOf, but returning a Vector.

>>> (toVectorOf both (8,15) :: Vector.Vector Int) == Vector.fromList [8,15]True

Convert a Vector to a version that doesn't retain any extra memory.

Convert a list to a Vector (or back.)

>>> ([1,2,3] ^. vector :: Vector.Vector Int) == Vector.fromList [1,2,3]True

>>> Vector.fromList [0,8,15] ^. from vector[0,8,15]

Convert a Vector to a finite Bundle (or back.)

Convert a Vector to a finite Bundle from right to left (or back.)

Convert a Vector back and forth to an initializer that when run produces a copy of the Vector.

Different vector implementations are isomorphic to each other.

sliced i n provides a Lens that edits the n elements starting at index i from a Lens.

This is only a valid Lens if you do not change the length of the resulting Vector.

Attempting to return a longer or shorter vector will result in violations of the Lens laws.

>>> Vector.fromList [1..10] ^. sliced 2 5 == Vector.fromList [3,4,5,6,7]True

>>> (Vector.fromList [1..10] & sliced 2 5 . mapped .~ 0) == Vector.fromList [1,2,0,0,0,0,0,8,9,10]True

This Traversal will ignore any duplicates in the supplied list of indices.

>>> toListOf (ordinals [1,3,2,5,9,10]) $ Vector.fromList [2,4..40][4,8,6,12,20,22]

Like ix but polymorphic in the vector type.

Indexed vector traversal for a generic vector.