我有兴趣获得zooming我的 monad 变压器堆栈的功能定义如下：
newtype Awesome a = Awesome (StateT AwesomeState (ExceptT B.ByteString IO) a)
deriving (Functor, Applicative, Monad
, MonadIO, MonadError B.ByteString
, MonadState AwesomeState)
My 令人敬畏的状态是深度嵌套的记录，因此使用缩放将极大地帮助我更新某些字段。但问题是缩放对于我的新类型来说不能立即使用。
Couldn't match type ‘Control.Lens.Internal.Zoom.Zoomed Awesome’
with ‘Control.Lens.Internal.Zoom.Zoomed m0’
我找到了一个如何制作 Zoom 的自定义新型 RWST 实例的示例，但尝试使其适应我的新型没有结果
RWST 示例可以在这里找到：http://lpaste.net/87737 http://lpaste.net/87737
有没有一种方法可以开始在我的 monad 变压器堆栈中使用缩放？为了实现这一目标，我需要做什么？如果我应该像 RWST 示例中那样实现 Zoomed/Zoom，那么我需要一个指示如何执行此操作的指针，因为我尝试过但失败了。
我建议做出状态Awesome明确：
{-# LANGUAGE TemplateHaskell, GeneralizedNewtypeDeriving, TypeFamilies,
FlexibleInstances, FunctionalDependencies #-}
import Control.Applicative
import Control.Monad.Error
import Control.Monad.State
import Control.Lens
import Control.Lens.Zoom
import Control.Lens.Internal.Zoom
data AwesomeState = AwesomeState
{ _someRecord :: String
-- ...
}
$(makeLenses ''AwesomeState)
newtype Awesome s a = Awesome (StateT s (ErrorT String IO) a)
deriving ( Functor, Applicative, Monad
, MonadIO, MonadError String
, MonadState s)
然后你可以定义Zoom其实例如下：
type instance Zoomed (Awesome s) = Focusing (ErrorT String IO)
instance Zoom (Awesome s) (Awesome t) s t where
zoom l (Awesome m) = Awesome (zoom l m)
然后你就会有
zoom someRecord :: Awesome String a -> Awesome AwesomeState a
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
