代码之家 › 专栏 › 技术社区 › Saurabh Nanda

如何使用镜头修改与条件匹配的元素?

lens haskell

Saurabh Nanda · 技术社区 · 6 年前

我正试着用镜头写一个具有以下类型签名的函数,但是茫然地盯着 filtered 显然不行!

modifyElem
  :: (a -> Bool)      -- predicate function
  -> (a -> a)         -- modification to apply
  -> [a]
  -> [a]

如果可能的话,还可以进一步概括如下:

modifyElem
  :: (Foldable t)     -- or (Traversable t)
  -> (a -> Bool)
  -> (a -> a)
  -> t a
  -> t a

1 回复 | 直到 6 年前

rampion 6 年前

试试这个:

modifyElem :: Traversable t => (a -> Bool) -> (a -> a) -> t a -> t a
modifyElem predicate transform target =
  target & traverse . filtered predicate %~ transform

推荐文章

Azathoth · 当使用过滤器不删除任何案例时,涉及空列表的案例不会编译

3 年前

Ethan Smallwood · Haskell从列表中的记录获取数据

3 年前

trpnd · 如何定义由两个任意单声道变压器组成的单声道变压器?

3 年前

Delfin · Haskell从do符号到Applicative符号的传递(第2部分)

3 年前

Fabus1184 · Haskell mapM_不打印

3 年前

Gotthold · 基于范数约束向量的类型

3 年前

dmcdo · 有没有一种干净的方法可以在一个表达式中得到列表的开头和结尾?

3 年前

jian · haskell将另一个函数用作输入参数

3 年前

Jocafrei · 用Haskell函数实现最大公约数函数

7 年前

pcoppi · 尝试在Haskell和根据-Wall编写函数时,我需要一个匹配(\u:\ u:\ u)的模式。这个模式意味着什么,为什么我需要它?

7 年前