Kayıt alanları üzerinde nasıl yineleme yapılır?

Ben veri türü aşağıdaki kayıtKayıt alanları üzerinde nasıl yineleme yapılır?

Ben Config her alanın üzerine yineleme istiyorum

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

olarak tanımladık, örneğin tail için, bazı fonksiyon String -> String uygulamak ve içinde Config yeni return olsun.

Bunu yapmanın deyimsel yolu nedir? Tercihen, ağır 3. parti kütüphaneleri olmadan.

kaynak

2015-10-07 Filip van Hoft

'head' işlevi' Char' döndürür olacağını yapmanın en iyi yolu. Sağlanan işlevin ne kadar geri döndüğüne bağlı olarak alanlarınızın türünün değişmesini istediğinizi anlıyor musunuz? –

uniplate, muhtemelen bunu kolayca yapabilecek hafif bir jenerik kitaplığıdır. – jberryman

@MichaelSteele benim hatam, aynı tür 'String' döndürecek' tail' gibi bir şey. Sorularımı güncelledim –

Evet, muhtemelen

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

kaynak

2015-10-07 18:14:08 leftaroundabout

tek yönlü bir alternatif olurdu. –

Dizeler için, bu gitmek için bariz bir yol gibi görünüyor. Bu yaklaşımın, bazı diğer durumlarda iyi optimizasyonları önlediği talihsiz bir durumdur. – dfeuer

Kayıt alanları üzerinde nasıl yineleme yapılır?

cevap

İlgili konular