Question

import Control.Monad.Reader
import Control.Monad.State
import Control.Monad.Error

data Context
data Memory 
data Functions

data InterpreterM a = ExeInterpreter a | PropInterpreter a

newtype InterpreterMT m a = InterpreterMT { runInterpreterMT :: m (InterpreterM a) }
type Interpreter = InterpreterMT (StateT (Memory, Functions) (ReaderT (Context, Context) (ErrorT String IO)))

data Stmt
data Stmts = EmptyStmts | Statements Stmt Stmts

interpretStmt :: Stmt -> Interpreter Context

interpreter :: Stmts -> Interpreter ()
interpreter EmptyStmts = return () 
interpreter (Statements s stmts) = do
    currEnv <- interpretStmt s
    local (\(prev, _) -> (prev, currEnv)) $ interpreter stmts

问题出在最后一行 - 没有提升 - 我知道。但我不知道如何把电梯放在这里，因为我的实验也给了我错误。我正在寻求帮助。

Answer 1

如果要将诸如local之类的函数提升为内部monad，则需要map...T类函数。

例如，如果您有WriterT [String] (ReaderT Int (Either String)) a，并且想在其他阅读器环境中运行something：

mapWriterT (local (+1)) something

提升Monad Reader本地

1 个答案: