haskell - Data.Dependent.Map 示例

Question

是否有任何关于如何使用 DMap 的示例类型？该软件包的文档非常有学问，我知道它仅供引用，但对于入门来说却毫无帮助。 Google 没有透露任何我能看到的信息。

Answer 1

来自Updated README.md example拉取请求。需要为 GADT 实现 GEq 和 GCompare 实例:

data Foo a where
  AnInt   :: Foo Int
  AString :: Foo String

deriveGEq      ''Foo
deriveGCompare ''Foo

dmap1 :: DMap Foo Identity
dmap1 = fromList [AnInt ==> 1, AString ==> "bar"]

main = do
  print $ dmap1 ! AnInt
  print $ dmap1 ! AString