<div class="gmail_quote">On Tue, Sep 11, 2012 at 3:39 PM, Corentin Dupontwrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">@Oleg: Yes the set of events is closed and I would be much happier with a GADT! But no matter how hard I tried I couldn't manage.<br>
Here is the full problem:<br><br><i>{-# LANGUAGE ExistentialQuantification, TypeFamilies, DeriveDataTypeable #-}<br><br>import Data.Typeable<br><br>-- | Define the events and their related data<br>class (Eq e, Typeable e, Show e) => Event e where<br>
data EventData e<br><br>-- | Groups of events<br>data PlayerEvent = Arrive | Leave deriving (Typeable, Show, Eq)<br><br>-- | events types<br>data Player = Player PlayerEvent deriving (Typeable, Show, Eq)<br>
data Message m = Message String deriving (Typeable, Show, Eq)<br>
<br>-- | event instances<br>instance Event Player where data EventData Player = PlayerData {playerData :: Int}<br>instance (Typeable m) => Event (Message m) where data EventData (Message m) = MessageData {messageData :: m}<br>
<br>-- | structure to store an event<br>data EventHandler = forall e . (Event e) =><br> EH {eventNumber :: Int,<br> event :: e,<br> handler :: (EventData e) -> IO ()} deriving Typeable<br><br>-- store a new event with its handler in the list<br>
addEvent :: (Event e) => e -> (EventData e -> IO ()) -> [EventHandler] -> [EventHandler]<br>addEvent event handler ehs = undefined<br><br>-- trigger all the corresponding events in the list, passing the </i><i><i>data to the </i>handlers<br>
triggerEvent :: (Event e) => e -> (EventData e) -> [EventHandler] -> IO ()<br>triggerEvent event edata ehs = undefined<br><br>--Examples:<br>msg :: Message Int<br>msg = Message "give me a number"<br>
myList = addEvent msg (\(MessageData n) -> putStrLn $ "Your number is: " ++ show n) []<br>trigger = triggerEvent msg (MessageData 1) </i><i><i>myList</i> --Yelds "Your number is: 1"</i><br><br>Has you can see this allows me to associate an arbitrary data type to each event with the type family "EventData". Furthermore some events like "Message" let the user choose the data type using the type parameter. This way I have nice signatures for the functions "addEvent" and "triggerEvent". The right types for the handlers and the data passed is enforced at compilation time. <br>
But I couldn't find any way to convert this into a GATD and get rid of the "Event" class......<br></blockquote><div><br></div><div>Would this work?</div><div><br></div><div><font face="courier new, monospace">data Player = Arrive | Leave</font></div>
<div><font face="courier new, monospace">data Message m = Message String</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">data Data a where</font></div><div><font face="courier new, monospace"> PlayerData :: Int -> Data Player</font></div>
<div><font face="courier new, monospace"> MessageData :: m -> Data (Message m)</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">data Handler where</font></div>
<div><font face="courier new, monospace"> Handler :: Int -> e -> (Data e -> IO ()) -> Handler</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">addEvent :: e -> (Data e -> IO ()) -> [Handler] -> [Handler]</font></div>
<div><font face="courier new, monospace">addEvent = undefined</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">triggerEvent :: e -> Data e -> [Handler] -> IO ()</font></div>
<div><font face="courier new, monospace">triggerEvent = undefined</font></div><div><br></div><div>Regards,</div><div>Sean</div></div>