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

Question

我正在阅读A Little Lens Starter Tutorial,他们使用了一个看似神奇的功能forall:

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

这个函数究竟做了什么,更重要的是它是什么包.我用Hoogle等找不到它

Answer 1

哈哈,尴尬的作者在这里.

我发明forall了mime quickCheck并且直观感觉,但不是可执行的.在我的辩护中,我从Little Schemer那里获得灵感,在他们可执行之前很快就引入了语法和语义,以便通过练习建立直觉.

当然,除了我forall实际上根本不可执行,它导致了很多混乱.

所以,我对任何好奇的人的建议是quickcheck作为一个替身进行调查forall.我现在对自己的建议是编辑教程,注意我的艺术执照.

对不起任何麻烦抱歉.