我应该将ReaderT与StateT一起使用还是仅与StateT monad一起使用？

问题描述

我具有以下数据类型：

data CheckState = CheckState { envs :: [Env],curPos :: SrcSpan,inLoop :: Bool,sourceCode :: Text
                             }

现在在StateT monad中使用此数据类型：

func :: (MonadState CheckState m,MonadError Text m) => m a

但是它的两个记录可以放在ReaderT monad中：

data CheckState = CheckState { envs :: [Env],curPos :: SrcSpan
                             }

data CheckContext = CheckContext { inLoop :: Bool,sourceCode :: Text
                                 }

func :: (MonadReader CheckContext m,MonadState CheckState m,MonadError Text m) 
     => m a

我应该使用哪种方法，第一种还是第二种？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）