haskell - Data.Fixed 回合的问题

Question

我在 myfile.hs 中定义了以下类型：

{-# LANGUAGE DeriveDataTypeable #-}
import Data.Typeable
import Data.Fixed

data E18 = E18 deriving (Typeable)
instance HasResolution E18 where resolution _ = 10^18
type MyDouble = Fixed E18

--myRound :: MyDouble > MyDouble 
--myRound x  = round x

而 round 函数在 ghci 中运行良好：

Prelude Data.Fixed> :load myfile.hs
Prelude Data.Fixed> round (3.1::MyDouble)
3
Prelude Data.Fixed>

如果我将以下代码附加到文件中：

myRound :: MyDouble -> MyDouble 
myRound x  = round x

我收到以下编译错误：

Prelude Data.Fixed> :load myfile.hs
No instance for (Integral MyDouble)
  arising from a use of round

有人可以告诉我如何在函数内调用 round 吗？

PS：你可能猜到了，我是 Haskell 的初学者

Answer 1

round取一个RealFrac并产生一个Integral：

round :: (Integral b, RealFrac a) => a -> b

您的类型应该与:myRound相同，然后生成. 所以应该不是，因为（我猜）你最终需要的是一个.roundMyDoubleIntMyDouble -> Int -> MyDoubleMyDouble -> IntInt

还要注意而不是写

myRound x = round x

你可以说

myRound = round

如果你想myRound给你一个MyDouble，那么

myRound :: MyDouble -> MyDouble 
myRound  = fromIntegral . round

应该管用。