क्या मैं हास्केल में डेटा कंस्ट्रक्टर वाइल्डकार्ड से मेल खाता हूं?

Question

मैं

data Foo = X (String, Int) | A String | B String | C String | D String -- ... 

है और

f (X (s, _)) =s 
f (A s) = s 
f (B s) = s 
f (C s) = s 
f (D s) = s 
-- ... 

परिभाषित किया है लेकिन

f (X (s, _)) =s 
f (_ s) = s 

की तरह कुछ लिखने के लिए सक्षम होने के लिए पसंद करेंगे लेकिन इस (मैं ऐसा करने का कोई तरीका नहीं हो रहा है _ से जुड़े "पार्स त्रुटि" प्राप्त करें)।

क्या हास्केल में डेटा कंस्ट्रक्टर वाइल्डकार्ड से मिलान करने का कोई तरीका है?

Answer 1

नहीं। लेकिन आप इसे लिख सकते हैं:

data Foo 
    = X { name :: String, age :: Int } 
    | A { name :: String } 
    | B { name :: String } 
    | C { name :: String } 
    | D { name :: String } 

और उसके बाद name :: Foo -> String है। आप भी इस पर विचार कर सकते: @ DanielWagner के जवाब देने के लिए

data Tag = A | B | C | D 
data Foo = X String Int | Tagged Tag String 

f (X s _) = s 
f (Tagged _ s) = s 

Answer 2

इसके अलावा, एक विकल्प का उपयोग करने के Scrap your boilerplate (उर्फ "SYB") है। यह आपको किसी दिए गए प्रकार के पहले उपमहाद्वीप को खोजने की अनुमति देता है। तो तुम

{-# LANGUAGE DeriveDataTypeable #-} 

import Control.Monad 
import Data.Data 
import Data.Generics.Schemes 
import Data.Typeable 

data Foo = X (String, Int) | A String | B String | C String | D String 
    deriving (Show, Eq, Ord, Data, Typeable) 

fooString :: Foo -> Maybe String 
fooString = msum . gmapQ cast 

निर्धारित कर सकते हैं और fooString अपने निर्माताओं की पहली String तर्क वापस आ जाएगी। फंक्शन castString एस और gmapQ फ़िल्टर करता है सभी तत्काल उपखंडों के लिए फ़िल्टर किए गए मान प्राप्त करता है।

हालांकि, इस X से String वापस नहीं होगा, क्योंकि X तत्काल कोई String subterm है, यह प्रकार (String, Int) का केवल एक ही subterm है। आदेश अवधि पदानुक्रम में कहीं भी पहले String पाने के लिए, आप इस्तेमाल कर सकते हैं everywhere:

fooString' :: Foo -> Maybe String 
fooString' = everything mplus cast 

ध्यान दें कि इस दृष्टिकोण से थोड़ा कमजोर है: यह बस सभी String यह पाता है, हमेशा आप क्या चाहते हैं नहीं हो सकता है जिसमें शामिल , विशेष रूप से, यदि आप बाद में अपना डेटा प्रकार (या कुछ डेटा प्रकार जो संदर्भित करते हैं) का विस्तार करते हैं।