[reactive] Representation Details of Events
camior at gmail.com
Wed Nov 19 17:07:27 EST 2008
Consider these two events:
a = 
b = [(+infty, _|_)]
Semantically, a and b are different values. Consider their
representations in reactive:
a = Event (Future ((Max MaxBound), (_|_)))
b = Event (Future ((Max MaxBound), (_|_ `Stepper` a))))
At the end of an event, the second element of the future tuple is
bottom. Conversely, the second element of the future tuple is never
bottom when not at the end of an event.
There's no particular point to this post, just musing on my discovery
of the above facts.
More information about the Reactive