好资源导航 » 文章资讯 » Haskell遍历

Haskell遍历

2024-04-13 09:30:03 402

示例

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。