Haskell功能有什么作用，它在哪里定义？

Question

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

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

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

Answer 1

哈哈，尴尬的作者在这里。

我发明了forall来模仿quickCheck并且直觉，但不是可执行的。在我的辩护中，我从Little Schemer那里获得了灵感，在他们可执行之前，他们愉快地介绍了语法和语义，以便通过练习建立直觉。

当然，我的forall实际上根本不可执行，而且会导致很多混乱。

所以，我建议任何好奇的人都要调查quickcheck作为forall的替身。我对自己的建议now carried out是编辑教程，注意我在那里的艺术执照。

抱歉有任何问题。

Answer 2

这实际上不是可执行代码。请参阅此答案：https://twitter.com/vh4x0r/status/429256064245067777