Haskell实例约束(JSTypeString~jstype)=>

时间:2016-02-10 09:23:08

标签: haskell typeclass

我正在阅读一些与Yesod(http://www.yesodweb.com/blog/2012/04/client-side)相关的博客帖子,当时出现了一个带有约束的狂野实例声明,我甚至不知道如何命名。

print(i ?? "nil"))

有人能告诉我波士顿在约束地点到底做了什么吗?我猜这意味着像"nil"这样的东西必须是instance (JSTypeString ~ jstype) => IsString (JSValue jstype) where 类型,但我不确定。这个名字也很高兴知道。

提前致谢!

0 个答案:

没有答案