如何查找类型类的祖先？

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。