镜头库中是否有这样的快捷方式?
\x -> liftM (^. x) get
也许这是一个愚蠢的问题,但它感觉就像一个基本的结构,应该有一个捷径。
镜头库中是否有这样的快捷方式?
\x -> liftM (^. x) get
也许这是一个愚蠢的问题,但它感觉就像一个基本的结构,应该有一个捷径。
尝试 use
use :: MonadState s m => Getting a s a -> m a
use = gets . view
尝试 use
use :: MonadState s m => Getting a s a -> m a
use = gets . view