如何查找類型類的祖先？

Question

在下面的圖片我們可以看到，RealFloat是浮動的，這又是分數等的實例的實例...

對於Haskell中任何類型的類，我們怎樣才能找到所有的「父母」？

Answer 1

只需使用ghci的解釋。爲了證明你的例子：

λ> :i RealFloat 
class (RealFrac a, Floating a) => RealFloat a where 
    floatRadix :: a -> Integer 
    floatDigits :: a -> Int 
    ..... 
instance Floating Float -- Defined in `GHC.Float' 
instance Floating Double -- Defined in `GHC.Float' 
λ> :i Floating 
class Fractional a => Floating a where 
    pi :: a 
    exp :: a -> a 
    ..... 

從上面的例子，你可以看到RealFloat如何與RealFrac和Floating以及如何Floating有關Fractional。