Haskeline içinde basit IO'yu InputT monad içinde gerçekleştirin, güvensizPerformio'ya başvurmak zorunda kalmadan,

Question

Aşağıdaki konsept kodunun kanıtı göz önüne alındığında,işlevlerimi Paul! dizesi çıktısını alma olasılığına sahip olmak istiyorum.monad-transformatör içinde unsafePerformIO kullanmadan dönüş değerini almak için runExceptT'dan sonra IO sarmalayıcısını kaldırın.

Burada bariz bir şey eksik miyim? InputT IO yana

Answer 1

bu tip liftIO kullanabilirsiniz bir MonadIO geçerli: Yani

liftIO :: IO a -> InputT IO a 

,

do ... 
    x <- liftIO $ runExceptT $ foo input 
    case x of 
    Left err -> ... 
    Right res -> ... 

Alternatif yerine Control.Monad.Trans.lift kullanın.