Есть ли ярлык для этого в библиотеке объективов?
\x -> liftM (^. x) get
Может быть, это глупый вопрос, но кажется, что это достаточно простая конструкция, и для нее должен быть ярлык.
Есть ли ярлык для этого в библиотеке объективов?
\x -> liftM (^. x) get
Может быть, это глупый вопрос, но кажется, что это достаточно простая конструкция, и для нее должен быть ярлык.
Попробуйте use
use :: MonadState s m => Getting a s a -> m a
use = gets . view