임의 모나드 변압기 스택

Question

가 나는 동안, 지정된 스택의 상단과 하단으로, 모나드 변압기 스택을 받아들이는 기능을 만들려고하고있는 다음 코드

본질적으로

import Control.Monad.Trans 
import Control.Monad.Trans.Except 
import Control.Monad.Trans.State 

newtype MyTransT m a = MyTransT (m a) 

foo :: (MonadTrans t, Monad (t (Either e))) => MyTransT (t (Either e)) a -> a 
foo = undefined 

bar :: MyTransT (StateT Int (Either e)) a 
bar = undefined 

baz :: MyTransT (StateT Int (StateT Int (Either e))) a 
baz = undefined 

x = foo bar -- works 

y = foo baz -- doesn't work 

을 고려 중간은 뭐든지 될 수 있습니다.

foo baz이 Couldn't match type ‘StateT Int (Either e1)’ with ‘Either e0’으로 거부되는 이유에 관해서는 잠시 동안 내 머리를 긁적 후, 마침내 그 경우에, 나는 t가이 제대로 입력하지 만이 아닌 MonadTrans하지 않은 StateT Int (StateT Int) 것을 가정 것을 나에게 발생/kinded.

내가하려는 일을 수행 할 방법이 있습니까? 아니면 다른 접근 방식을 시도 할 시간입니까?

Answer 1

t이 Either e 모나드 이상의 변압기가 아니기 때문에 모나드 이상의 변압기이기 때문에 foo baz이 유형 검사를하지 않는 이유는 다음과 같습니다. 여기

은 구문 분석하는 방법이다 : m 양식 Either e의 하지입니다

baz :: MyTransT (StateT Int (StateT Int (Either e))) a 
        \________/ \_____________________/ 
         t   m     a 

하는 것으로.

새 변압기를 만들 수 있습니다. 이 같은 StateTIntStateTInt, 쓰기 바즈 :

baz :: MyTransT (StateTIntStateInt (Either e)) a 

후 수표를 입력합니다. 예를 들어 :

그러나

type StateTIntStateTInt = StateT (Int,Int) 

baz' :: MyTransT (StateTIntStateTInt (Either e)) a 
baz' = undefined 

test = foo baz' 

, 당신은 내가 의심 유형의 문제를 해결하더라도 당신은 기능 foo을 쓸 수 을 것입니다.

bar0 :: MyTransT (StateT Int (Either String)) Int 
bar0 = MyTransT $ lift $ Left "blather" 

무엇 int 값해야 foo bar0 반환 : bar이 특정 값을 무엇을 반환해야 고려?