Hi,<br><br><div class="gmail_quote">On 1 December 2011 22:38, Philippe Sismondi <span dir="ltr">&lt;<a href="mailto:psismondi@arqux.com">psismondi@arqux.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

Is it possible to discover the data constructor used to make a value without doing pattern matching?</blockquote><div><br></div><div>Yes, it is.</div><div><br></div><div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace">constrName :: Data a =&gt; a -&gt; String</font></div>

<div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace">constrName = show . toConstr</font></div><div><br></div><div><a href="http://hackage.haskell.org/packages/archive/base/latest/doc/html/Data-Data.html#v:toConstr">http://hackage.haskell.org/packages/archive/base/latest/doc/html/Data-Data.html#v:toConstr</a></div>

</div><br>
<div>(You can derive <i>Data</i> for your data type using the language extension <i>DeriveDataTypeable</i>)</div><div><br></div><div>Hope this helps,</div><div>Ozgur</div><div><br></div>