Czy można skonstruować nowy rekord za pomocą soczewek?

Question

Jeśli mam typ rekordów z soczewkami, czy możliwe jest skonstruowanie nowego rekordu bez korzystania z podstawowych akcesorów rekordów?

{-# LANGUAGE TemplateHaskell #-} 

import Control.Lens 
import Control.Lens.TH 

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

makeLenses ''Foo 

I mógłby zrobić Foo instancję Data.Default a następnie modifiy def obiektywy, ale nie wszystkie typy rekordów będzie mieć sensowne domyślne. Czy Control.Lens ma na to swój własny sposób?

Answer 1

Nie, obecnie nie ma sposobu, aby to zrobić. Będziesz musiał użyć domyślnie czegoś takiego jak Foo{} lub nie używać obiektywu do konstrukcji rekordów. Jednak w tym obiektywie znajduje się już obiektyw issue.