ну и чем тебя этот вариант не устраивает?
view $ _someField . to f
или сюда view дописать
Спасибо. Исходный правда лучше
все варианты эквивалентны (при условии что _someField это линза над полем someField), скомпилируются в один и тот же код, нужно только выбрать что больше всего нравится a <- asks (f . (.someField)) a <- asks (f . view _someField) a <- asks (view (_someField . to f)) a <- view (_someField . to f) -- * a <- f <$> asks (.someField) a <- f <$> view _someField a <- asks \x -> f x.someField -- имхо лучший a <- views _someField f -- еще один лучший * этот работает потому что view getting обобщен до MonadReader, и использование его как функции это просто частный случай
(.someField) и someField это не одно и тоже?
в данном случае тут под _someField я тут имел в виду _someField :: Lens' X A, там в начале сообщения написано
Это я понял. Чем FieldSelectors так плохи?
захламляют скоуп, из-за чего например ты не сможешь сделать data User = MkUser { id :: Int } и иметь id функцию при этом
+ asks \SomeCons{..} -> f someField
Тим Тоуди ликует
Обсуждают сегодня