Haskell的“功能”在哪里？

Question

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

if'定义在哪里？

Answer 1

值得一提的是，if'函数自版本4.7起存在base，但它被称为bool（带有either和maybe的样式）。

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

在Data.Bool中定义。

Answer 2

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

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

1. utility-ht - Data.Bool.HT

   if-then-else作为功能。

   示例：

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

2. plailude - Plailude

   如果True则为第一个值，否则为第二个值。

3. CLASE - Data.Cursor.CLASE.Util

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