toRational :: Real a => a -> Rational

This, combined with fromRational :: Fractional a => Rational -> a forms realToFrac :: (Real a, Fractional b) => a -> b On Thu, Dec 12, 2013 at 2:29 PM, Niklas Haas wrote:

On Thu, 12 Dec 2013 20:19:35 +0100, EatsKittens < temporalabstraction@gmail.com> wrote:

...

Is there a way to add a method to a typeclass like num to implement this concept? A function that converts any number to floats? Non-text part: text/html _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

The typeclass Real has this in a slightly different form:

toRational :: Real a => a -> Rational

You can use fromRational :: Rational -> Float together with this to implement your function. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Ah, I had no ideal the real typeclass existed, that completely solves my issue. On 12 December 2013 20:39, Ben Gamari wrote:

EatsKittens writes:

...

Is there a way to add a method to a typeclass like num to implement this concept? A function that converts any number to floats?

Does the following do what you expect?

realToFrac :: (Fractional b, Real a) => a -> b

realToFrac' :: (Real a) => a -> Float realToFrac' = realToFrac :: (Real a) => a -> Float

Cheers,

- Ben