レンズを使用して新しいレコードを作成することはできますか？

Question

レンズでレコードタイプを使用している場合、基礎となるレコードアクセサを使用せずに新しいレコードを作成することは可能ですか？

{-# LANGUAGE TemplateHaskell #-} 

import Control.Lens 
import Control.Lens.TH 

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

makeLenses ''Foo 

私はFooData.Defaultのインスタンスを作成して、レンズとdefをmodifiyはなく、すべてのレコードタイプは、適切なデフォルト値を持つことになりますことができます。 Control.Lensには独自の方法がありますか？

Answer 1

いいえ、現在、その方法はありません。デフォルトではFoo{}のようなものを使用するか、レンズを記録用に使用しないでください。しかし、これをカバーするレンズには既にissueがあります。