镜头库中是否有此快捷方式？
\x -> liftM (^. x) get
也许这是一个愚蠢的问题，但感觉就像一个足够基本的结构，应该有一条捷径。
问问题
293 次
1 回答
13
尝试use
use :: MonadState s m => Getting a s a -> m a
use = gets . view
于 2014-03-23T19:29:44.730 回答