Hey Chris!<br>Values for PlayerNumber are acquired at evaluation time, from the state of the system.<br><br>I have not included the evaluation of AllPlayers.<br>Here how it looks:<br><br>evalObs AllPlayers = return . pure =<< gets players<br>
<br>But when you build your Obs, you have yet no idea how much players it will be. <br>This is just symbolic at this stage.<br><br>To give you a better insight, here is want I want to do with Map:<br><br>everybodyVote :: Obs [Bool]<br>
everybodyVote = Map (Vote (Konst "Please vote")) AllPlayers<br><br>In memory, everybodyVote is just a tree.<br>This rule can be executed latter whenever I want to perform this democratic vote ;)<br><br>Hope this answer to your question.<br>
Corentin<br><br><br><div class="gmail_quote">On Tue, Oct 26, 2010 at 7:17 PM, Christopher Done <span dir="ltr"><<a href="mailto:chrisdone@googlemail.com">chrisdone@googlemail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div class="im">On 26 October 2010 18:07, Dupont Corentin <<a href="mailto:corentin.dupont@gmail.com">corentin.dupont@gmail.com</a>> wrote:<br>
> But how can I write the evaluator for Map?<br>
<br>
</div>Where do values for PlayerNumber come from? Unless I'm mistaken, the<br>
only thing that Map can be used with is Obs [PlayerNumber], a list of<br>
values PlayerNumber which we have no means of acquiring in order to<br>
provide to the Map function.<br>
</blockquote></div><br>