haskell - Haskell 函数 forall 的作用是什么？它在哪里定义？

Question

我正在阅读A Little Lens Starter Tutorial他们使用了一个看似神奇的函数forall，如下所示:

>>> forall $ \tuple -> view _1 tuple == fst tuple
True

这个函数到底是做什么的，更重要的是它来自哪个包。我无法使用 Hoogle 找到它等

Answer 1

哈哈，作者尴尬了。

我发明了 forall 来模拟 quickCheck 并具有直观意义，但不是可执行的。在我的辩护中，我从《小计划者》中获得了灵感，它很高兴地在语法和语义可执行之前就引入了它们，以便通过实践建立直觉。

当然，除了我的 forall 实际上根本无法执行，它导致了很多困惑。

因此，我对任何好奇的人的建议是研究一下 quickcheck 作为 forall 的替代品。我给自己的建议，now carried out ，是编辑教程以记下我的艺术许可。

很抱歉给您带来任何麻烦。