haskell - Haskell的Lens库中ix和element有什么区别

Question

在 Haskell 的镜头库中，ix和 element两者都可以使用 Int ，例如在某个索引处读取或写入列表元素，如下所示

ghci> [1..10] ^? ix 4
Just 5
ghci> [1..10] & ix 4 .~ 1
[1,2,3,4,1,6,7,8,9,10]

同样:

ghci> [1..10] ^? element 4
Just 5
ghci> [1..10] & element 4 .~ 1
[1,2,3,4,1,6,7,8,9,10]

element 和有什么区别和 ix ?

Answer 1

与 ix您不仅可以按数字索引，还可以按例如索引在 map 中键入。 element Traverse 中的索引命令。

λ> let m = Map.fromList [("foo", 'f'), ("bar", 'b')]
λ> m ^? ix "foo"
Just 'f'

λ> m ^? element 0 -- Map is ordered container!
Just 'b'

例如，差异更加明显。 IntMap

λ> let im = IntMap.fromList [(1, "one"), (2, "two")]
λ> im ^? ix 1
Just "one"
λ> im ^? element 1
Just "two"