假设我有这两个函数:
errorm :: ( MonadError String m ) => Bool -> m Int
errorm cond = if cond then return 1 else throwError "this is an error"
errorms :: ( MonadError String m ) => Bool -> m String
errorms cond = if cond then return "works" else throwError "does not work"
如您所见,一个在安全案例中返回一个字符串,而另一个返回一个int
我现在想在另一个monad中一起使用它们 . 平凡:
errErr :: MonadError String m => Bool -> Bool -> m (Int, String)
errErr b1 b2 = do
a <- errorm b1
b <- errorms b2
return (a,b)
这里的函数签名是由GHC派生的,我不知道如何使用这个函数 . 我试过这个:
runErrorT ( runErrorT ( errErr1 True True ) ) -- should give me (Right 1, Right "works")
但相反它给了我:
Ambiguous type variable `e0' in the constraint:
(Error e0) arising from a use of `errErr1'
Probable fix: add a type signature that fixes these type variable(s)
In the first argument of `runErrorT', namely `(errErr1 True True)'
In the first argument of `runErrorT', namely
`(runErrorT (errErr1 True True))'
In the expression: runErrorT (runErrorT (errErr1 True True))
一般来说,这只是我问题的一个例子 . 我觉得我并没有理解如何堆叠两个具有相同类别但具有不同类型参数的monadT . 另一个例子可能是堆叠这对函数:
f :: ( MonadState Int m ) => m ()
g :: ( MonadState String m ) => m ()
-------------------------------------------------- - 更新----------------------------------------------- -----
根据下面的Daniel的评论,我从上面添加了函数f和g的具体实例 . 但感谢Tikhon的回答,我想我已经明白了 .
type Counter = Int
type Msg = String
incr :: (MonadState Counter m) => Counter -> m ()
incr i = modify (+i)
addMsg :: ( MonadState Msg m ) => Msg -> m()
addMsg msg = modify ( ++ msg )
incrMsg:: (MonadTrans t, MonadState Msg m, MonadState Counter (t m)) => t m ()
incrMsg = do
lift . addMsg $ "one"
incr 1
return ()
incrMsgt = runIdentity $ runStateT ( runStateT incrMsg 1 ) "hello" :: (((), Int), String)
1 回答
在这种特殊情况下,您不需要堆叠两个变换器 - 因为它们都是
MonadError String
,它们可以用作相同的monad . 您可以一起使用errorm
和errorms
,就像在任何其他monad中使用两个值一样 .作为一个更具体的解释,忽略变换器一秒钟:你可以想象这些值只是
Either String Int
和Either String String
. 显然,你可以一起使用它们 . 这就是为什么你最后只需要一个runErrorT
而不是两个:两个值都在同一个monad中 .现在,你的实际问题是:你如何堆叠两个monad变换器?它就像组合任何两个monad变换器一样工作 . 彼此堆叠的两个状态变压器看起来就像两个不同的变压器堆叠在一起 .
现在,使用它们有点棘手 . 根据您使用的是哪一个,您需要以不同的方式使用
lift
. 如果您在基本monad中有值,则需要提升两次 . 如果内部状态monad中有值,则需要使用一次 . 如果你有一个在外层,你根本不需要它 . 这就像普通的变压器一样 .回到你的错误示例,让我们想象你实际上想要堆叠两个不同的错误monad变换器而不是将它们用作一个 . 这意味着如果你想在内部错误中抛出错误,你必须编写
lift (throwError "message")
. 如果你实际上已经完成了这个并且有两个堆叠的错误变换器,那么两次使用runErrorT
就会有效 .