如何约束乙烯基/复合记录？

Question

我有一个可扩展的乙烯基/复合记录（类似于HList，帧...），并且我想生成密钥/值的元组，如

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，它具有良好的深思熟虑的例子，我看到了错误：

这里是复合(reifyDicts):

的硬件refying与同为乙烯(reifyConstraints):

AFAICT，问题是，在类似rmap：

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

的映射FN定义forall x，但我tuplify受到限制，而且我觉得物化应该移动的约束代入式（这是Dict s为因为），但是，唉，至今没有运气。

Answer 1

我不能得到composite相关的东西安装在我的全局堆栈设置，但以下应该仍然工作（我只是复制粘贴相关定义）。也就是说，我认为基于类型的简单的基于类的派发在这里更简单（因为约束是非平凡的）。与所有正确的扩展名启用[1]，你只需要：

​​

然后，在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) 

然后它变得更直tforward使用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  #-}