我可以問一個是否它是左（或右）？

Question

我知道我可以通常只是模式匹配，但有時候我會發現這些功能很有用：

isLeft = either (const True) (const False) 
isRight = either (const False) (const True) 

有沒有這樣的事情在標準庫？

Answer 1

雖然這是相當古老，張貼在這裏作爲參考。

這是現在在Data.Either下的標準庫，因爲4.7：

https://hackage.haskell.org/package/base-4.7.0.0/docs/Data-Either.html

isLeft :: Either a b -> Bool

返回真，如果給定的值是一個左值，否則假。如果給定的值是右值，否則假

isRight :: Either a b -> Bool

返回true。

Answer 2

不，沒有，afaik。

但是你可以定義這些功能更容易*：

isLeft (Left _) = True 
isLeft _  = False 

也是如此isRight，當然。

編輯：*好吧，我想這是值得商榷的，如果說得容易與否，因爲它需要更多的代碼...

Answer 3

沒有，但你可以寫：

import Data.Either 

isLeft = null . rights . return 
isRight = null . lefts . return 

Answer 4

至於我知道，標準庫中沒有這樣的東西。但是，您可以輕鬆定義它。

either l _ (Left a) = l a 
either _ r (Right b) = r b 

isLeft (Left _) = True 
isLeft _  = False 

isRight (Right _) = True 
isRight _   = False 

Answer 5

正如人們已經指出，有標準庫沒有這樣的功能，你可以通過多種方式實現自己的。

但是，請注意形式爲的問題「標準庫中是X嗎？」最容易被Hoogle回答，因爲即使您不知道名稱的某個功能，您可以通過其類型進行搜索。

Hoogle也很聰明，知道參數順序無關緊要，並且還會顯示類型與搜索類型相似（例如更一般）的結果。

在這種情況下，搜索Either a b -> Booldoes not yield any promising matches，這是一個很好的指標，它不存在於標準庫中。