如何让GHC发出给定函数的警告?

这就是它的类型。用于时间的类型应反映要对其表示的值施加的约束。

例如,您可以包装 UTCTime 像这样:

newtype UTCTimeMicroseconds = UTCTimeMicroseconds { picos :: UTCTime }

microsecondsFromPicos :: UTCTime -> UTCTimeMicroseconds
microsecondsFromPicos = ...

getCurrentTimeMilliseconds :: IO UTCTimeMicroseconds
getCurrentTimeMilliseconds = microsecondsFromPicos <$> getCurrentTime

并且在包中的任何地方都使用新类型,您需要多次才能拥有此属性。

如果你想对它严格,不要导出 UTCTimeMicroseconds 构造函数,因此获取这些值之一的唯一方法是使用 microsecondsFromPicos 执行您的要求。

这使得任何误用都是一个错误,而不是警告,但在大多数情况下,这就是你想要的。

当你想用的时候 统一时间 有了完整的分辨率,或者只是不关心,您可以像往常一样使用这种类型。在代码库中很容易找到发生这种情况的地方,因为它们是 只有 地点在哪里 统一时间 使用。

我现在想不出一种方法来做这件事,但我认为你能得到的最接近的是:

• 创建新包 my-time 这取决于 time

• 重新导出带有警告注释的填充函数,例如

  import qualified Data.Time as Time
  {-# WARNING getCurrentTime "you should prefer getCurrentTimeMicroseconds" #-}
  getCurrentTime = Time.getCurrentTime
  

• 依靠 我的时间 在你的包裹里

显然,这并不能让你强制执行 不 进口 Data.Time.getCurrentTime 当您想要填充的代码在前奏曲或 base .