Haskell的if'函数在哪里？

Question

如果您在代码\b t f -> if b then t else f上使用pointfree，则得到的答案是if'。 if'定义在哪里？

- user1002430

Answer 1

值得一提的是，自版本4.7起，在 base 中已经存在了 if' 函数，但它被称为 bool（与 either 和 maybe 的风格相似）。

bool :: a -> a -> Bool -> a
bool f _ False = f
bool _ t True  = t

定义在Data.Bool中。

- kqr

---

注意，在执行“then”分支之前，会执行“else”分支。这是为了与其他类似于maybe和either的构造器一致，它们按照构造函数声明的顺序接收参数。 - chi

Answer 2

根据Hayoo，它被定义在以下三个包中：

if' :: Bool -> a -> a -> a

1. utility-ht - Data.Bool.HT

   if-then-else as function.

   Example:

   if' (even n) "even" $
   if' (isPrime n) "prime" $
   "boring"
   

2. plailude - Plailude

   If True then the first value, else the second.

3. CLASE - Data.Cursor.CLASE.Util

我知道的两个Haskell主要搜索引擎是Hoogle和Hayoo。

- Aadit M Shah

---

Hayoo通常比Hoogle具有更好的搜索结果。 - Aadit M Shah

FP Complete的Hoogle是两全其美的最佳选择 :-) - luqui

@luqui 但是他们的 Haddock 在类型类实例声明中没有源链接。 :( - kqr