如何限制乙烯基/复合记录？

Question

我有一个可扩展的 Vinyl / Composite 记录（类似于 HList、Frames...），我想生成键/值的元组，例如

tuplify '[String :-> Whatevs, ...] :: [(String, String)]

这非常困难。 original gist.

Solution Gist, thanks to Alec below

type FA = "a" :-> String
type FB = "b" :-> Int
type AB = '[FA, FB]

ab :: Rec Identity AB
ab = "A" :*: 1 :*: RNil

tuplify :: (Show a) => Rec Identity '[a] -> [(String, String)]
tuplify = recordToList . rmap undefined -- ??????
-- tuplify ab = [("a", "A"), ("b", "1")]

如果您想试试我目前所做的工作，请查看gist，它有经过深思熟虑的示例和我看到的错误：

这是用于在 Composite (reifyDicts): 中重新生成的硬件

乙烯基(reifyConstraints):也是如此

AFAICT，问题在于rmap：

rmap :: (forall x. f x -> g x) -> Rec f rs -> Rec g rs

映射的 fn 定义为 forall x，但我的 tuplify 受到约束，我认为具体化应该将约束移动到类型中（这就是 Dicts 的用途），但是，唉，没有运气所以远。

Answer 1

我无法在我的全局 Stack 设置中安装 composite 相关的东西，但以下内容应该仍然有效（我只是复制粘贴了相关定义）。也就是说，我认为基于类型的简单类型类调度在这里更简单（因为约束很重要）。启用所有正确的扩展 [1]，您只需要：

class Tuplify a where
  tuplify :: a -> [(String, String)]

instance Tuplify (Rec Identity '[]) where
  tuplify RNil = []

instance (Show t, KnownSymbol s, Tuplify (Rec Identity rs)) =>
           Tuplify (Rec Identity (s :-> t ': rs)) where
  tuplify (v :*: rs) = (symbolVal (Proxy :: Proxy s), show v) : tuplify rs

然后，在 GHCi 中：

ghci> tuplify ab
[("a","\"A\""),("b","1")]

---

如果你真的想尝试具体化约束方法，你必须首先为你想要的特定约束声明一个类型类和实例：

class ShowField a where 
  showField :: a -> (String, String)                                                                                

instance (KnownSymbol s, Show a) => ShowField (Identity (s :-> a)) where
  showField (Identity (Val v)) = (symbolVal (Proxy :: Proxy s), show v)

那么使用reifyConstraints和rmap就变得更直接了：

tuplify' :: RecAll Identity rs ShowField => Rec Identity rs -> [(String, String)]
tuplify' xs = recordToList
            . rmap (\(Vinyl.Compose (Dict x)) -> Vinyl.Const $ showField x)
            $ reifyConstraint (Proxy :: Proxy ShowField) xs

我想reifyDicts 可以实现类似的事情，尽管我希望它有一个使用ValuesAllHave 定义的变体，而不是仅仅使用AllHave（然后我们可以绕过声明ShowField 类型类并只做所有事情一个函数）。

---

[1] extensions needed for first example

{-# LANGUAGE DataKinds           #-}
{-# LANGUAGE FlexibleContexts    #-}
{-# LANGUAGE FlexibleInstances   #-}
{-# LANGUAGE GADTs               #-}
{-# LANGUAGE RankNTypes          #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies        #-}
{-# LANGUAGE TypeOperators       #-}