モナドのフィールド。 Haskell

Question

type Context = Map.Map VarName (Type, Integer) 
type Memory = Map.Map Integer LitVal 
type Functions = Map.Map VarName (Stmt, Context) 

data InterpreterM stmts a = ExeInterpreter stmts a | PropInterpreter stmts a 

newtype InterpreterMT stmts m a = InterpreterMT { runInterpreterMT :: stmts -> m (InterpreterM stmts a) } 

type Interpreter = InterpreterMT Stmts (StateT (Memory, Functions) (ReaderT (Context, Context) (ErrorT String IO))) 



instance (Monad m) => Monad (InterpreterMT s m) where 
    return x = InterpreterMT $ \stmts -> return (ExeInterpreter stmts x) 
    x >>= f = InterpreterMT $ \stmts -> do 
     m <- runInterpreterMT x stmts 
     case m of 
      (ExeInterpreter ss a) -> (runInterpreterMT (f a) ss) 

data Stmts = Statements Stmt Stmts | EmptyStmts 

    nextStatement :: <HERE> 

こんにちは、 ご覧のとおり、Stmtsには再帰的な定義があります。今、私はnextStatementの機能を実装したいと思いますが、私はモナドでそれを行う方法を想像できません。 モナドを超えて、それは簡単ですが、その後、文は私が意味する、提供する必要があります。

nextStatement :: Stmts -> Stmt 
nextStatement (Statements s ss) = s 
nextStatement EmptyStatement = EmptyStatement 

Answer 1

私はあなたがおそらくこのような何かしたいと思います。特にInterpreterで

nextStatement :: MonadError String m => Stmts -> m Stmt 
nextStatement (Statements s _) = return s 
nextStatement EmptyStmts = throwError "nextStatement EmptyStmts" 

はMonadError Stringのインスタンスであるので、これはタイプStmts -> Interpreter Stmtとすることもできます。あなたは（私はちょうど1を選んだ私は適切であるかわからない）ExeInterpreterまたは適切なPropInterpreterのいずれかで注釈を付け、通常のState様の方法でInterpreterMT変圧器からStmtsを取得することができます。

getStmts :: Monad m => InterpreterMT stmts m stmts 
getStmts = InterpreterMT (\stmts -> return (ExeInterpreter stmts stmts)) 

あなたがすべきおそらくInterpreterMTの通常のインターフェイスを実装して、MonadTrans (InterpreterMT stmts)のインスタンスと、たぶんMonadError e m => MonadError e (InterpreterMT stmts m)のいくつかの+ mtlクラスのインスタンスを実装します。そして、あなたは `EmptyStatement`は` Stmt`、ない単一 `Stmt`のリストのようなものですので、なぜそれが` nextStatement`からの戻り値として有効であることが表示されます

getStmts >>= nextStatement :: MonadError String m => InterpreterMT Stmts m Stmt