haskell - 是否有一些方法可以为没有下划线标识符的镜头构建记录值？

Question

例如我有以下记录

data Rec = Rec
    { _a :: Int
    , _b :: Int
    , _c :: Int
    } deriving (Show, Eq)

makeLenses ''Rec

我只看到了两种构建新值的方法：

• Rec{_a=1,_b=2,_c=3}
• Rec 1 2 3

如果记录字段的数量超过一对并且下划线在第一个中看起来不自然，则第二个变体看起来不太好。

还有其他方法可以构造记录值吗？

Answer 1

如果这对您的类型有意义，那么Default实例可能是一个好方法。然后你可以做

   def & a.~1
       . b.~2
       . c.~3