Data.Dependent.Map示例

Question

是否有任何关于如何使用该DMap类型的例子？包文档是非常有用的,我知道它仅供参考,但它对于一个入门是非常无益的.谷歌没有透露任何我能看到的东西.

Answer 1

来自更新的 README.md 示例拉取请求。需要实现GADTGEq和实例：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