रिकॉर्ड फ़ील्ड पर फिर से कैसे चलें?

Question

मैं डेटाप्रकार निम्नलिखित रिकॉर्ड

data Config = Config 
    { field1 :: String 
    , field2 :: String 
    , field3 :: String 
    } 

मैं Config के प्रत्येक क्षेत्र से अधिक पुनरावृति करना चाहते हैं के रूप में परिभाषित किया है, उदाहरण के tail के लिए, कुछ समारोह String -> String लागू करते हैं और में नए Config वापसी मिलता है।

ऐसा करने के लिए बेवकूफ तरीका क्या है? अधिमानतः, भारी तृतीय पक्ष पुस्तकालयों के बिना।

Answer 1

ठीक है, ऐसा करने के लिए यह शायद

{-# LANGUAGE DeriveFunctor #-} 

type Config = Config' String 
data Config' a = Config 
    { field1 :: a 
    , field2 :: a 
    , field3 :: a 
    } deriving (Functor) 

configHeads :: Config -> Config' Char 
configHeads = fmap head