Skip to content
Snippets Groups Projects
Commit 0123efde authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Add elemDVarEnv

I need this in a later patch
parent f04f1188
No related branches found
No related tags found
No related merge requests found
......@@ -32,7 +32,7 @@ module VarEnv (
dVarEnvElts,
extendDVarEnv, extendDVarEnv_C,
extendDVarEnvList,
lookupDVarEnv,
lookupDVarEnv, elemDVarEnv,
isEmptyDVarEnv, foldDVarEnv,
mapDVarEnv,
modifyDVarEnv,
......@@ -571,6 +571,9 @@ delDVarEnvList = delListFromUDFM
isEmptyDVarEnv :: DVarEnv a -> Bool
isEmptyDVarEnv = isNullUDFM
elemDVarEnv :: Var -> DVarEnv a -> Bool
elemDVarEnv = elemUDFM
extendDVarEnv_C :: (a -> a -> a) -> DVarEnv a -> Var -> a -> DVarEnv a
extendDVarEnv_C = addToUDFM_C
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment