| Copyright | (C) 2012-16 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | provisional |
| Portability | non-portable |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
Data.Vector.Lens
Description
This module provides lenses and traversals for working with generic vectors.
Synopsis
- toVectorOf :: Getting (Endo [a]) s a -> s -> Vector a
- vector :: forall a b p f. (Profunctor p, Functor f) => p (Vector a) (f (Vector b)) -> p [a] (f [b])
- forced :: forall a b p f. (Profunctor p, Functor f) => p (Vector a) (f (Vector b)) -> p (Vector a) (f (Vector b))
- sliced :: Int -> Int -> Lens' (Vector a) (Vector a)
- ordinals :: [Int] -> IndexedTraversal' Int (Vector a) a
Documentation
toVectorOf :: Getting (Endo [a]) s a -> s -> Vector a Source #
Similar to toListOf, but returning a Vector.
>>>toVectorOf both (8,15) == Vector.fromList [8,15]True
Isomorphisms
vector :: forall a b p f. (Profunctor p, Functor f) => p (Vector a) (f (Vector b)) -> p [a] (f [b]) Source #
Convert a list to a Vector (or back)
>>>[1,2,3] ^. vector == Vector.fromList [1,2,3]True
>>>[1,2,3] ^. vector . from vector[1,2,3]
>>>Vector.fromList [0,8,15] ^. from vector . vector == Vector.fromList [0,8,15]True
forced :: forall a b p f. (Profunctor p, Functor f) => p (Vector a) (f (Vector b)) -> p (Vector a) (f (Vector b)) Source #
Convert a Vector to a version that doesn't retain any extra
memory.
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 == 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