Commit 1064ab02 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Comments only

parent 6af8d617
......@@ -125,6 +125,9 @@ instance TrieMap UniqFM where
%* *
%************************************************************************
If m is a map from k -> val
then (MaybeMap m) is a map from (Maybe k) -> val
\begin{code}
data MaybeMap m a = MM { mm_nothing :: Maybe a, mm_just :: m a }
......
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