Portability | non-portable |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Trustworthy |
This module provides lenses and traversals for working with generic vectors.
- toVectorOf :: Vector v a => Getting (Endo [a]) s a -> s -> v a
- forced :: Vector v a => Iso' (v a) (v a)
- vector :: Vector v a => Iso' [a] (v a)
- asStream :: Vector v a => Iso' (v a) (Stream a)
- asStreamR :: Vector v a => Iso' (v a) (Stream a)
- cloned :: Vector v a => Iso' (v a) (New v a)
- sliced :: Vector v a => Int -> Int -> Lens' (v a) (v a)
- ordinals :: Vector v a => [Int] -> IndexedTraversal' Int (v a) a
Documentation
toVectorOf :: Vector v a => Getting (Endo [a]) s a -> s -> v aSource
Isomorphisms
forced :: Vector v a => Iso' (v a) (v a)Source
Convert a Vector
to a version that doesn't retain any extra
memory.
vector :: Vector v a => Iso' [a] (v a)Source
Convert a list to a Vector
(or back.)
>>>
[1,2,3] ^. vector :: Vector.Vector Int
fromList [1,2,3]
>>>
Vector.fromList [0,8,15] ^. from vector
[0,8,15]
Lenses
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
fromList [3,4,5,6,7]
>>>
Vector.fromList [1..10] & sliced 2 5 . mapped .~ 0
fromList [1,2,0,0,0,0,0,8,9,10]