Tôi có thể hỏi một Cho dù đó là Trái (hay Phải)?

Question

Tôi biết tôi có thể thường chỉ mô hình phù hợp, nhưng đôi khi tôi sẽ tìm thấy những chức năng hữu ích:

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

Có một cái gì đó như thế trong thư viện chuẩn?

Answer 1

Trong khi điều này khá cũ, hãy đăng ở đây để tham khảo.

này bây giờ là trong thư viện chuẩn dưới Data.Either từ 4.7:

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

isLeft :: Either a b -> Bool

Return True nếu giá trị nhất định là một trái giá trị, False khác.

isRight :: Either a b -> Bool

Return True nếu giá trị nhất định là một giá trị Đúng, sai khác.

Answer 2

Không, không có, afaik.

Nhưng bạn có thể xác định các chức năng này thậm chí còn dễ dàng hơn *:

isLeft (Left _) = True 
isLeft _  = False 

cùng đi cho isRight, tất nhiên.

EDIT: * Được rồi, tôi đoán đó là đáng tranh cãi nếu đó là dễ dàng hơn hay không, vì nó đòi hỏi nhiều dòng mã ...

Answer 3

Không, nhưng bạn có thể viết:

import Data.Either 

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

Answer 4

As far as Tôi biết, không có gì giống như thế này trong thư viện chuẩn. Tuy nhiên, bạn có thể tự xác định nó một cách dễ dàng.

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

isLeft (Left _) = True 
isLeft _  = False 

isRight (Right _) = True 
isRight _   = False 

Answer 5

Vì mọi người đã chỉ ra, không có chức năng như vậy trong thư viện chuẩn và bạn có thể triển khai thực hiện theo nhiều cách khác nhau.

Tuy nhiên, lưu ý rằng các câu hỏi của biểu mẫu "Có phải X trong thư viện chuẩn không?" được một cách dễ dàng nhất đã trả lời bởi Hoogle, vì ngay cả khi bạn không biết tên của một hàm, bạn có thể tìm kiếm nó bằng cách của nó loại.

Hoogle cũng đủ thông minh để biết rằng thứ tự đối số không quan trọng và cũng sẽ hiển thị kết quả có loại tương tự (ví dụ: chung chung hơn) so với loại bạn đã tìm kiếm.

Trong trường hợp này, hãy tìm kiếm Either a b -> Booldoes not yield any promising matches, vì vậy đó là một chỉ báo tốt cho thấy nó không tồn tại trong thư viện chuẩn.