haskell - 将 "bare"数字分配给新类型

Question

请注意此 GHCi session 中的第二行。允许我使用“裸”数字作为值而不是调用构造函数的 Latitude 类型是什么？我想对我自己的一些类型做类似的事情。

λ> :m + Data.Geo.GPX.Type.Latitude                                                                                                   
λ> let t = 45 :: Latitude                                                                                                            
λ> t                                                                                                                                 
45.0

我检查了 Latitude 类型的源代码，但一开始我很难弄清楚。最终我找到了答案，所以我想我会在这里记录下来。请看下面我的回答。

Answer 1

使这项工作有效的原因是类型是 Num。最简单的方法是使用“派生 Num”，在这种情况下，我需要语言编译指示 GeneralizedNewtypeDeriving。所以我可以创建一个像下面这样的类型，

newtype Seconds = Seconds Double deriving (Eq, Ord, Enum, Num, Fractional, Floating, Real, RealFrac, RealFloat, Show)

然后在 GHCi 中，

λ> let s = 5 :: Seconds                                                                                                              
λ> s                                                                                                                                 
Seconds 5.0

或者，我可以显式地实现 Num。