哪裏來自RealFrac？

Question

我在哪裏可以找到fromRealFrac功能？根據the gentle intro該函數應該存在，並從一些谷歌搜索，我認爲它應該在前奏 - 但ghci抱怨說，它不在範圍內。

我暫時使用fromRational . toRational，因爲按照溫柔的介紹，fromRealFrac是如何定義的。

Answer 1

以前稱爲「fromRealFrac」的函數在Haskell 98報告中重命名爲「realToFrac」。

在Haskell 1.4 Prelude我們發現

fromRealFrac :: (RealFrac a, Fractional b) => a -> b 
fromRealFrac = fromRational . toRational 

然而，Haskell 98它被稱爲

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

這種變化列在Haskell 98 Report Errata：

[Apr 2001] Page 84, Section 6.4, Fig 7; and bottom of page 86, Section 6.4.6. 
    fromRealFrac :: (RealFrac a, Fractional b) => a -> b 
should be replaced by 
    realToFrac :: (Real a, Fractional b) => a -> b 

最近提交我可以找到的是this e報告回購。

Answer 2

根據Hoogle，標準庫中有no function named fromRealFrac。 也許這是溫柔介紹的作者自己編寫的一個函數？ 查看鏈接後，他們肯定會建議它在圖書館的某個地方......我也很困惑。

Answer 3

It appears該函數在GHC Prelude中被稱爲realToFrac。