Commit 11818da7 authored by batterseapower's avatar batterseapower
Browse files

Document NameEnv

parent 0b72ea61
......@@ -6,7 +6,11 @@
\begin{code}
module NameEnv (
NameEnv, mkNameEnv,
-- * Var, Id and TyVar environments (maps)
NameEnv,
-- ** Manipulating these environments
mkNameEnv,
emptyNameEnv, unitNameEnv, nameEnvElts, nameEnvUniqueElts,
extendNameEnv_C, extendNameEnv_Acc, extendNameEnv,
extendNameEnvList, extendNameEnvList_C,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment