I'm using the bounds for event occurrence times. Or, from another angle, for times associated with when values can become known. Pure values have time minBound, while eternally unknowable values (non-occurring events) have time maxBound. Hm. Now that I put it that way, I realize that I don't want to use existing minBound and maxBound if they're finite. (My event types are temporally polymorphic.) I'm mainly interested in Float/Double times, which have infinities in practice but apparently not guaranteed by the language standard. I guess I'll either (a) bake in Double (temporally monomorphic) and rely on infinities not guaranteed by the standard, or (b) keep temporal polymorphism and add infinities to time parameter. For now, (b).
<br><br>Cheers, - Conal<br><br><br><div class="gmail_quote">On Dec 2, 2007 1:08 PM, Henning Thielemann <<a href="mailto:email@example.com" target="_blank">
firstname.lastname@example.org</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div><br>On Sun, 2 Dec 2007, Conal Elliott wrote:
<br><br>> Oops -- I'd incorrectly assumed that Haskell guarantees Float & Double to<br>> have infinities. Thanks, - Conal<br><br></div>Aside from that - what do you intend to do with the bounds?<br></blockquote>