what coercion can i use to get the below program to compile?
i see
class (Real a, Fractional a) = RealFrac a where
round :: (Integral b) = a - b
and
class (Fractional a) = Floating a where
sqrt :: a - a
fillK_ :: Int - Int
fillK_ x = round (sqrt x) -- line 2
what coercion can i use to get the below program to
compile?
i see
class (Real a, Fractional a) = RealFrac a where
round :: (Integral b) = a - b
and
class (Fractional a) = Floating a where
sqrt :: a - a
fillK_ :: Int - Int
fillK_ x = round (sqrt x) -- line
what coercion can i use to get the below program to
compile?
i see
class (Real a, Fractional a) = RealFrac a where
round :: (Integral b) = a - b
and
class (Fractional a) = Floating a where
sqrt :: a - a
various combinations of fromInteger, toInteger do not
help.
James,
Untested:
fnK_ :: Int - Int
fnK_ n = round (sqrt $ fromInteger x :: Double)
HTH,
Stefan
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
fnK_ :: Int - Int
fnK_ = round . sqrt . fromIntegral
james pentland wrote:
what coercion can i use to get the below program to
compile?
i see
class (Real a, Fractional a) = RealFrac a where
round :: (Integral b) = a - b
and
class (Fractional a) = Floating a where
sqrt
james pentland wrote:
what coercion can i use to get the below program to compile? ... various combinations of fromInteger, toInteger do not help.
Did you try fromIntegral?
fromIntegral :: (Integral a, Num b) = a - b
fnK_ :: Int - Int
fnK_ x = round (sqrt x) -- line 2
--
Thomas H