parsing - Haskell - 幸せな数式と変数のパーサー

Question

私は幸せな数学式と変数のパーサーに取り組んでいます。問題は、変数の値を保存して後で使用する方法がわからないことです。何か案は？

これは、式と変数の割り当てを認識する方法です。

genExp   : exp                    { $1 }
         | variable '=' exp            { //here I want to save the value of the variable; something like this: insert variables $1 $3, where 'variables' is a Data.Map }

式には変数を含めることができます。例えば：

a = 2 + 1
a + 2 (now the parser must print 5)

パーサーが行 'a = 2 + 1' を解析しているときに変数 'a' の値を保存し、パーサーが行 'a + 2' を解析しているときに変数 'a' の値を取得する必要があります。