haskell - 将 Lens 组合成元组的 Lens

Question

给定

data Person = Person { _name :: String }
makeClassy ''Person

它创建了一个

name :: Lens' Person String

我可以定义以下在元组内使用name的镜头。

sndPerson :: Lens' (a, Person) (a, String)
sndPerson = lens
    (\(a, p) -> (a, p ^. name)) 
    (\(_, p) (a, n) -> (a, p & name .~ n))

是否有更好/规范的方法来定义上面的 sndPerson ？

Answer 1

alongside将一对镜片变成一个可在一对镜片上工作的镜片。

因为在示例中您不关注第一个组件，所以您可以简单地将 id 作为第一个镜头传递。

sndPerson :: Lens' (a, Person) (a, String)
sndPerson = alongside id name