トランススタックの中央にモナドを追加する

Question

(ExceptT Error IO Foo)を(ExceptT Error (StateT Bar IO) Baz)に「セミリフト」しようとしています。

私は試しましたlift、fmap lift、およびfmap return、そして何もありません。ここに標準的なイディオムはありますか？

> import Control.Monad.Except 
> import Control.Monad.State 
> data Error 
> data Foo 
> data Bar 
> data Baz 
> x = undefined :: ExceptT Error IO Foo 
> y = undefined :: (ExceptT Error (StateT Bar IO) Baz) -> a 

> f = ??? -- This is what I'm trying to find. 

> :t y (f x) 
y (f x) :: a 

Answer 1

ExceptT newtypesを無視して、あなたは

IO (Either Error Foo) 

を持っていて、私はあなたがBazで欲しいものが表示されない（

StateT Bar IO (Either Error Foo) 

をしたいので、私はそれを無視しています。 ）

これはちょうどliftです。だから私はあなたがAlec notedとして

ExceptT . lift . runExceptT 

を使用することができるはずと信じて、これはmapExceptTを使って書くことができます：// hackage：

mapExceptT lift