为大和类型编写Hashable实例

Question

我有一大笔钱

data Value
= VNull
| VDouble !Double
| VSci !Scientific
| VInt !Int
| VText !Text
| VTexts ![Text]
| VByteString !BS.ByteString
| VUTCTime !UTCTime
-- This goes on for quite a few more lines

我需要此数据类型的Hashable实例。 我当然可以手动输入实例，但是幸运的是，基于泛型的hashWithSalt有一个默认实现。

不幸的是-就我所知-这要求可以在Value类型内“打包”的任何类型都具有Hashable实例。 好吧，UTCTime没有。

这样看来，我可以在两个“次优”解决方案之间进行选择：

1. 手动键入Hashable实例。
2. 编写Hashable UTCTime的孤立实例

我认为应该有第三种“最佳”方式：只为无法自动执行的值构造函数编写实现，即执行以下操作：

instance Hashable Value where
    hashWithSalt (VUTCTime t) = ... -- custom implementation
    hashWithSalt _ = ... -- use the default implementation

当然可以更普遍地问这个问题：在某些值构造函数的情况下，如何重用现有的实例实现，而在特定情况下具有自己的实现， 而不必为每个值构造函数编写样板 。

Answer 1

对于这种特殊情况，您应该只使用hashable-time包 ，该包在标准化的位置定义了孤立实例。

通常，对于这种情况，我会：

• 将有问题的类型包装为newtype ，这样您就可以在本地定义实例，而不会冒造成孤立实例麻烦的风险。
• 只需编写孤立实例即可。 如果其他人不太可能提供有冲突的实例（即，当类和类型都属于不太可能被其他人使用的模糊软件包时），那么这并不是人们真正需要担心的事情（即使重复实例错误会发生在某些时候，这是很容易解决，并且会实际上是一件好事，去除冗余，一个newtype将给）。
• 将实例添加到它最初来自的库中。 如果任一类或类型从一个很普通的图书馆来了，那么它很可能是有意义的不常见的库定义实例。 如果是开源的，则在其中添加实例，然后向作者发送拉取请求。

Answer 2

我希望添加一个孤立实例。 无论如何，您可以避免以下情况。

定义此辅助类型

data ValueNotTime
= VNull
| VDouble !Double
| VSci !Scientific
| VInt !Int
| VText !Text
| VTexts ![Text]
| VByteString !BS.ByteString

并自动派生Hashable。 然后，写一个同构

iso :: Value -> Either ValueNotTime UTCTime
osi :: Either ValueNotTime UTCTime -> Value

以明显的方式。 然后，

instance Hashable Value where
    hashWithSalt v = case iso v of
       Left valueNoTime -> use derived implementation (hashWithSalt valueNoTime)
       Right utcTime    -> use custom implementation

Answer 3

这似乎是从以下位置获取孤立实例的好地方： https : //hackage.haskell.org/package/hashable-time

---

如果导出了一个通用实现（例如genericHashWithSalt （但当前不是https://github.com/tibbe/hashable/issues/148 ），则可以这样做

data Value_ utctime
  = ...
  | VUTCTime utctime
  deriving (Generic, Functor)
type Value = Value_ UtcTime

instance Hashable Value where
  hashWithSalt s (VUTCTime t) = (my custom implementation) s t
  hashWithSalt s v = genericHashWithSalt s (fmap (\_ -> ()) v)

而且，如果您不想破坏类型，还可以在调用genericHashWithSalt之前修改Value的通用表示形式，作为另一种隐藏VUTCTime方法。

 data Value = ...  -- the original one

 instance Hashable Value where
   hashWithSalt s (VUTCTime t) = (my custom implementation) s t
   hashWithSalt s t = genericHashWithSalt s (genericHideLastConstructor t)
   -- something like that...

Answer 4

您可以使用“ hole”创建类型，并在hashWithSalt填充该孔。 所以：

{-# LANGUAGE DeriveFunctor, DeriveGeneric, DeriveAnyClass #-}
import Data.Hashable
import Data.Text (Text)
import Data.Time
import GHC.Generics
import qualified Data.ByteString as BS
data ValueF a
    = VNull
    | VDouble !Double
    | VInt !Int
    | VText !Text
    | VTexts ![Text]
    | VByteString !BS.ByteString
    | VUTCTime !a
    deriving (Hashable, Functor, Generic)

newtype Value = Value (ValueF UTCTime)

instance Hashable Value where
    hashWithSalt s (Value (VUTCTime t)) = {- whatever you're going to do here -}
    hashWithSalt s (Value v) = hashWithSalt s (() <$ v)
    -- OR
    -- hashWithSalt s (Value v) = hashWithSalt s (unsafeCoerce v :: Value ())