モナドスタックの操作

Question

モナドのスタックがある場合は、IO,State、Errorと、IOとErrorという関数を使用するといいでしょう。私は私の機能を使用することができるので、スタックから "State"のモナドを "削除"する方法はありますか？注文がIO,Error,Stateの場合、種類に合わせてliftを使用できますが、モナドのスタックにIOとErrorが含まれていて、おそらく他のモナドが何らかの順序で含まれていると、私の機能を使用できます。たとえば、次のように

fun :: ErrorT String IO() 
fun = throwError "error" 

someCode :: ErrorT String (StateT Int IO)() 
someCode = do 
    -- I want to use fun here 

Answer 1

だけfun :: (MonadError String m, MonadIO m) => m()にfunの型シグネチャを変更します。これにより、String Errorを持ち、IOを実行できるすべてのモナドスタック（ErrorT String (StateT Int IO)など）で使用できるようになります。

例：

fun :: (MonadError String m, MonadIO m) => m() 
fun = do 
    liftIO $ putStrLn "in fun" 
    throwError "error" 

someCode :: ErrorT String (StateT Int IO)() 
someCode = do 
    fun 
    -- whatever you want