module MatchEnv (
MatchEnv, nullMEnv, mkMEnv,
- lookupMEnv, insertMEnv,
+ isEmptyMEnv, lookupMEnv, insertMEnv,
mEnvToList
) where
nullMEnv :: MatchEnv a b
nullMEnv = EmptyME
+isEmptyMEnv EmptyME = True
+isEmptyMEnv _ = False
+
mkMEnv :: [(key, value)] -> MatchEnv key value
+mkMEnv [] = EmptyME
mkMEnv stuff = ME stuff
mEnvToList :: MatchEnv key value -> [(key, value)]
-mEnvToList EmptyME = []
+mEnvToList EmptyME = []
mEnvToList (ME stuff) = stuff
\end{code}