| Copyright | (C) 2012-15 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | provisional |
| Portability | MPTCs, Rank2Types, LiberalTypeSynonyms |
| Safe Haskell | Safe-Inferred |
| Language | Haskell98 |
Data.Array.Lens
Contents
Description
- ixmapped :: (IArray a e, Ix i, Ix j) => (i, i) -> IndexPreservingSetter (a j e) (a i e) i j
Setters
ixmapped :: (IArray a e, Ix i, Ix j) => (i, i) -> IndexPreservingSetter (a j e) (a i e) i j Source
This setter can be used to derive a new IArray from an old IAarray by
applying a function to each of the indices to look it up in the old IArray.
This is a contravariant Setter.
ixmap≡over.ixmappedixmapped≡setting.ixmapover(ixmappedb) f arr!i ≡ arr!f ibounds(over(ixmappedb) f arr) ≡ b