राइटर मोनैड

Question

में लिखित डेटा को बदलना Writer मोनैड एक्शन दिया गया है, मैं इसे मोनाड एक्शन के अंदर लिखित डेटा पर फ़ंक्शन मैप करके संशोधित करना चाहता हूं।

कुछ की तरह:

retell :: (w -> w') -> Writer w a -> Writer w' a 

इस तरह के एक समारोह को पहले से ही पुस्तकालयों में मौजूद है? यदि नहीं, तो कैसे परिभाषित किया जा सकता है?

Answer 1

retell f = Writer . second f $ runWriter 

वहाँ भी पुस्तकालयों द्वारा प्रदान की एक mapWriter कार्य है। तो अगर आप ऐसा कर सकता है:

retell = mapWriter . second 

second समारोह Control.Arrow में है, लेकिन आप इस तरह यह अपने आप का एक कम सामान्य संस्करण को परिभाषित कर सकते हैं:

second f (a, b) = (a, f b)