Wo ist Haskell's if 'Funktion?

Question

Wenn Sie pointfree auf den Code \b t f -> if b then t else f verwenden, erhalten Sie die Antwort if'.

Wo ist if' definiert?

Answer 1

Nach Hayoo, wird es in den folgenden drei Pakete definiert:

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

1. utility-ht - Data.Bool.HT

   if-then-else als Funktion.

   Beispiel:

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

2. plailude - Plailude

   Wenn True dann der erste Wert, sonst die zweite.

3. CLASE - Data.Cursor.CLASE.Util

Die beiden wichtigsten Suchmaschinen für Haskell, die ich kenne sind Hoogle und Hayoo.

Answer 2

Es ist erwähnenswert, dass die if' Funktion in base seit Version 4.7 existiert, aber es ist bool genannt (in der Art mit either und maybe).

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

ist definiert in Data.Bool.