[Haskell] instance Bounded Double

Frederik Eaton frederik at ugcs.caltech.edu
Sun Mar 13 17:20:58 EST 2005


Interesting. In that case, I would agree that portability seems like
another reason to define a Bounded instance for Double. That way users
could call 'maxBound' and 'minBound' rather than 1/0 and -(1/0)...

Frederik

On Fri, Mar 11, 2005 at 11:10:33AM +0100, Lennart Augustsson wrote:
> Haskell does not guarantee that 1/0 is well defined,
> nor that -(1/0) is different from 1/0.
> While the former is true for IEEE floating point numbers,
> the latter is only true when using affine infinities.
> 
> 	-- Lennart
> 
> Frederik Eaton wrote:
> >Shouldn't Double, Float, etc. be instances of Bounded?
> >
> >I've declared e.g.
> >
> >instance Bounded Double where
> >    minBound = -(1/0)
> >    maxBound = 1/0
> >
> >in a module where I needed it and there doesn't seem to be any issue
> >with the definition...
> >
> >Frederik
> >
> 
> 

-- 
http://ofb.net/~frederik/


More information about the Haskell mailing list