Data.Dependent.Map示例
Data.Dependent.Map示例
提问于 2017-05-18 14:23:50
有没有关于如何使用DMap类型的示例？软件包文档非常精通，如果仅供参考，我知道这一点，但它对入门毫无帮助。谷歌没有透露任何我能看到的信息。
回答 1
Stack Overflow用户
发布于 2018-06-13 08:30:06
从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页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/44040082
复制相关文章
相似问题
腾讯云开发者
