Wie über Datensatzfelder iterieren?

Question

Ich habe folgende Datentyp als Datensatz definiert

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

ich auf jedes Feld von Config iterieren möchten, wenden Sie eine Funktion String -> String, zum Beispiel tail und in neue Config zurückkehren lassen.

Was ist idiomatische Art, dies zu tun? Vorzugsweise ohne schwere Bibliotheken von Drittanbietern.

Answer 1

Nun, der beste Weg, es wahrscheinlich zu tun

{-# 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