क्या मैं किसी से पूछ सकता हूं कि यह बाएं (या दाएं) है या नहीं?

Question

मैं जानता हूँ कि मैं आम तौर पर सिर्फ पैटर्न मैच कर सकते हैं, लेकिन कभी कभी मैं इन कार्यों उपयोगी पाते हैं:

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

वहाँ मानक पुस्तकालय में ऐसा ही कुछ है?

Answer 1

हालांकि यह बहुत पुराना है, संदर्भ के लिए यहां पोस्ट करना।

यह 4.7 के बाद से Data.Either के तहत मानक लाइब्रेरी में है:

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

isLeft :: Either a b -> Bool

वापसी सच है अगर दिए गए मूल्य एक वाम मूल्य, झूठी अन्यथा है।

isRight :: Either a b -> Bool

वापसी सच है अगर दिए गए मूल्य एक राइट-मूल्य, झूठी अन्यथा है।

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

के रूप में लोगों की ओर इशारा किया गया है, मानक पुस्तकालय में ऐसी कोई समारोह नहीं है, और आप विभिन्न तरीकों से अपनी खुद की लागू कर सकते हैं।

हालांकि, ध्यान दें कि प्रपत्र के सवाल "मानक पुस्तकालय में है एक्स?" को Hoogle द्वारा आसानी से उत्तर दिया जाता है, भले ही आपको नाम फ़ंक्शन के नाम से पता न हो, तो आप इसे टाइप से खोज सकते हैं।

Hoogle भी बहुत चालाक पता चला है कि तर्क क्रम मायने नहीं रखता है, और यह भी परिणाम जिसका प्रकार समान (जैसे अधिक सामान्य) प्रकार आप के लिए खोज की तुलना में कर रहे हैं दिखा देंगे।

इस मामले में, Either a b -> Booldoes not yield any promising matches के लिए खोज रहे हैं, तो यह एक अच्छा संकेतक है कि यह मानक पुस्तकालय में मौजूद नहीं है।