haskell - 乙烯基：使用需要由所有字段共享的约束的函数进行 rtraverse

Answer 1

你是正确的，reifyConstraint 将解决这个问题。该函数所做的是将（或“具体化”）约束转换为数据类型，即Dict数据类型。例如

>:t reifyConstraint (Proxy :: Proxy Show) mytuple
(reifyConstraint (Proxy :: Proxy Show) mytuple)
  :: Rec (Dict Show :. Identity) '[Integer, Bool]

此记录中的每个元素都将具有 form Dict (Identity _)。Dict定义为

data Dict c x where Dict :: c x => x -> Dict c x

(Dict Show :. Identity) a现在您只需要一个可以将 a作为输入处理的遍历函数。

printi :: Compose (Dict Show) Identity a -> IO (Compose (Dict Show) Identity a) 
printi x@(Compose (Dict a)) = print a >> return x

请注意，您不需要Show约束a-Show类字典存储在Dict数据类型中。您可以使用此功能进行遍历。

main = rtraverse printi (reifyConstraint (Proxy :: Proxy Show) mytuple)