Hi<br>How many handlers for each type of event in the list of handlers ?<br>If you have only one handler for each type , it should go in the typeclass, and you don&#39;t need typeable.<br>If you have more than one maybe you can avoid using type indexing at all, because it doesn&#39;t resolve the handler selection issue.<br>
By the way , it&#39;s not clear to me why you don&#39;t have a simple Event datatype describing all the possible events in advance.<br><br>Regards <br><br>paolino<br><br><div class="gmail_quote">2012/7/3 Corentin Dupont <span dir="ltr">&lt;<a href="mailto:corentin.dupont@gmail.com" target="_blank">corentin.dupont@gmail.com</a>&gt;</span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi all,<br>I read somewhere (here: <a href="http://stackoverflow.com/questions/2300275/how-to-unpack-a-haskell-existential-type" target="_blank">http://stackoverflow.com/questions/2300275/how-to-unpack-a-haskell-existential-type</a>) that it&#39;s bad to try to unbox an existential type using a cast. OK, but without I really can&#39;t figure out how to do what I want:<br>

<br><i>data NewPlayer = NewPlayer deriving (Typeable, Eq)<br>data NewRule = NewRule deriving (Typeable, Eq)<br><br>class (Eq e, Typeable e) =&gt; Event e where<br>    data EventData e<br><br>instance Event NewPlayer where<br>

    data EventData NewPlayer = P Int<br><br>instance Event NewRule where<br>    data EventData NewRule = R Int<br><br>instance Typeable1 EventData where <br>    typeOf1 _ = mkTyConApp (mkTyCon &quot;EventData&quot;) []<br>

<br>data EventHandler = forall e . (Event e) =&gt; EH e (EventData e -&gt; IO ())<br><br>addEvent :: (Event e) =&gt; e -&gt; (EventData e -&gt; IO ()) -&gt; [EventHandler] -&gt; [EventHandler] <br>addEvent e h ehs = (EH e h):ehs<br>

<br>triggerEvent :: (Event e) =&gt; e -&gt; (EventData e) -&gt; [EventHandler] -&gt; IO ()<br>triggerEvent e d ehs = do<br>    let r = find (\(EH myEvent _) -&gt; cast e == Just myEvent) ehs<br>    case r of<br>       Nothing -&gt; return ()<br>

       Just (EH _ h) -&gt; case cast h of<br>        Just castedH -&gt; castedH d<br>        Nothing -&gt; return ()</i><br><br>How to remove the casts from triggerEvent? All that I want is to apply the handler found on the data passed in parameter.<br>

I tried to add a function apply in the class, without success:<br><i>apply :: (EventData e -&gt; IO ()) -&gt; (EventData e) -&gt; IO ()<br>apply = ($)</i><br><br><br>Thanks!<span class="HOEnZb"><font color="#888888"><br>
Corentin<br>
</font></span><br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br>