为函子组合定义 Show

Question

如果这个问题已经被问到，我深表歉意。 Show 是一个非常常见的关键字，让我很难消除噪音。如果我为functor composition 定义了一个类型，如下所示，我不知道如何为该类型定义Show 实例：

newtype FComp f g a = C { unC :: f (g a) }

--- Incomplete Show definition for FComp
instance Show (FComp f g a) where
  show (C x) = "FComp" ++ show ??? --- Given a type say FComp Maybe Maybe Int, should print out "FComp Maybe Maybe Int"

还有：

$ :t show
show :: Show a => a -> String

所以，看来 show 需要一个值，并返回相应的字符串。将x 插入show ??? 将不起作用，因为仍需要为f (g a) 类型定义Show 实例。

Answer 1

是的，您只需将其添加为实例的约束

instance (Show (f (g a))) => Show (FComp f g a) where
  show (C f) = "FComp " ++ show f

这只是意味着我们有一个 FComp 的显示实例，而我们有一个 f (g a) 的显示实例

您还需要启用 -XFlexibleContexts 才能使其工作，但我不会担心这一点，它只是放宽了对 GHC 允许的上下文的限制，并且没有争议。