(in gmail, I just use reply all).<div><br></div><div>Yeah, that&#39;s certainly a valid solution, but ugly like you said.</div><div><br></div><div>Would a record like this work better for you?</div><div><br></div><div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace">data Foo = { root :: Root, oct :: Oct, mode :: Mode }</font></div>

<div><br></div><div>It accomplishes the same thing.  Each field can have at most one value, you can update any field, and you can leave any fields uninitialized like this:</div><div><br></div><div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace">initFoo = Foo { root = error &quot;root is not initialized&quot;,</font></div>

<div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace">                oct  = error &quot;oct is not initialized&quot;,</font></div><div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace">                mode = error &quot;mode is not initialized&quot;</font></div>

<div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace">              }</font></div><div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace"><br></font></div><div><div class="gmail_quote">

On Wed, May 26, 2010 at 1:35 PM, Tom Jordan <span dir="ltr">&lt;<a href="mailto:viresh53@gmail.com">viresh53@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

Sorry that I couldn&#39;t respond to the previous thread.. I&#39;m using Gmail and not an email client so I couldn&#39;t use the reply button. I&#39;ll try to resolve this issue soon !<div><br><div>Thanks Phillip for responding so quickly,</div>


<div><br></div><div>I tried Data.Map first and ran into the issue you mentioned..</div><div><br></div><div>I&#39;ve found a way to get around it, but it&#39;s ugly and verbose..</div><div><br></div><div>Instead, I&#39;m wondering if there is a way to use the constructors for the &quot;Val&quot; types below, in place of the keys such as:</div>


<div><br></div><div>data Val = Root Root | Oct Oct | Mode Mode deriving (Show, Eq, Ord)</div><div><br></div><div>And matching against the constructors, instead of resorting to this:</div><div><br></div><div><br></div><div>


<div>import IO</div><div>import qualified Data.Map as Map</div><div><br></div><div>type Root = String</div><div>type Oct  = Integer</div><div>type Mode = Integer</div><div><br></div><div>data Key = Root | Oct | Mode deriving (Show, Eq, Ord)</div>


<div>data Val = Root_v Root | Oct_v Oct | Mode_v Mode deriving (Show, Eq, Ord)</div><div><br></div><div>test = Map.insert Oct (Oct_v 3) . Map.insert Mode (Mode_v 0) . Map.insert Root (Root_v &quot;2&quot;) $ Map.empty</div>


<div><br></div><div>main = print test</div><div><br></div><div>--  ----&gt;  fromList [(Root,Root_v &quot;2&quot;),(Oct,Oct_v 3),(Mode,Mode_v 0)]</div><div><br></div><div><br></div><div>Many Thanks,</div><div><br></div><font color="#888888"><div>


Tom</div></font></div></div>
<br>_______________________________________________<br>
Haskell mailing list<br>
<a href="mailto:Haskell@haskell.org">Haskell@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell" target="_blank">http://www.haskell.org/mailman/listinfo/haskell</a><br>
<br></blockquote></div><br></div>