Haskell的if‘函数在哪里？

Question

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

if'是在哪里定义的？

Answer 1

根据海尤，它被定义为以下三个包：

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

1. 公用事业-ht - Data.Bool.HT 以if-then-else为功能。 示例： 如果‘(偶数n)’偶数“$ if‘(isPrime n)”素“$”无聊“
2. 节肢动物 - 柏拉图 如果是True，则为第一个值，否则为第二个。
3. 克莱斯 - Data.Cursor.CLASE.Util

据我所知，Haskell的两个主要搜索引擎是胡格尔和海尤。

Answer 2

值得一提的是，if'函数自4.7版本以来就存在于base中，但它被称为bool (与either和maybe一起使用样式)。

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

在Data.Bool中定义。