haskell - 是否可以使用 Lenses 构建新记录？

Question

如果我有一个带镜头的记录类型，是否可以在不使用底层记录访问器的情况下构造一个新记录？

{-# LANGUAGE TemplateHaskell #-}

import Control.Lens
import Control.Lens.TH

data Foo = Foo { _s :: String
               , _b :: Bool
               } deriving (Show, Eq)

makeLenses ''Foo

我可以制作 Foo Data.Default 的一个实例然后修改 def使用镜头，但并非所有记录类型都有合理的默认值。 Control.Lens 有自己的方法吗？

Answer 1

不，目前没有办法做到这一点。您必须使用 Foo{} 之类的东西默认或不使用镜头进行记录构建。但是，已经有一个 issue在镜头覆盖这个。