Haskell遍历
示例
ATraversal'sa显示其中s包含0到许多a的。
toListOf :: Traversal' s a -> (s -> [a])
任何类型的t，其是Traversable自动具有traverse::Traversal(ta)a。
我们可以使用Traversal来设置或映射所有这些a值
> set traverse 1 [1..10] [1,1,1,1,1,1,1,1,1,1] > over traverse (+1) [1..10] [2,3,4,5,6,7,8,9,10,11]
Af::Lens'sa表示的a内部恰好有一个s。Ag::Prism'ab表示中有0或1b秒a。写作f.g给了我们Traversal'sb，因为下面f再g怎么也有0到1所示bSINs。