Moduleoptics-extra-0.4.2.1Haskell2010

Data.Vector.Optics

This module provides lenses and traversals for working with vectors.

valuetoVectorOf :: Is k A_Fold => Optic' k is s a -> s -> Vector a

Similar to toListOf, but returning a Vector.

Example1 expression

>>> toVectorOf each (8,15) == Vector.fromList [8,15]True

Isomorphisms

2 declarations

valuevector :: Iso [a] [b] (Vector a) (Vector b)

Convert a list to a Vector (or back)

Example1 expression

>>> [1,2,3] ^. vector == Vector.fromList [1,2,3]True

Example1 expression

>>> [1,2,3] ^. vector % re vector[1,2,3]

Example1 expression

>>> Vector.fromList [0,8,15] ^. re vector % vector == Vector.fromList [0,8,15]True

valueforced :: Iso (Vector a) (Vector b) (Vector a) (Vector b)

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

1 declaration

valuesliced

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.

Example1 expression

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

Example1 expression

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

1 declaration

valueordinals :: [Int] -> IxTraversal' Int (Vector a) a

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

Example1 expression

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