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
Проблема в последней строке - подъема нет - я это знаю. Но я не знаю, как поставить здесь подъемную силу, потому что мои эксперименты тоже дают мне ошибки. Я прошу помощи.
Interpreter
не являетсяMonad
. - person arrowd   schedule 12.05.2016Interpreter
не является монадой? - person Gilgamesz   schedule 12.05.2016