नियंत्रण क्या है। आवेदन। लिफ्ट के लिए उपयोगी है?

Question

मैंने हाल ही में ब्लॉग पोस्ट में transformers लिखा था, और किसी ने पूछा "लोग Control.Applicative.Lift का उपयोग किसके लिए करते हैं?" मैं इसका उत्तर देने में सक्षम नहीं था, इसलिए मैं स्टैक ओवरफ्लो को प्रश्न गूंजता हूं - Control.Applicative.Lift के लिए उपयोग किया जाता है?

मुझे पैकेज में इसका एक उदाहरण उपयोग दिखाई देता है, लेकिन ऐसा लगता है कि यह पूरी तरह से पार्स करने में सक्षम नहीं है। क्या किसी को जंगली में किसी अन्य उदाहरण को पता है?

data Lift f a = Pure a | Other (f a) 

है यही कारण है, एक functor f दिया, आप एक शुद्ध मूल्य के साथ f रचना करके एक नया functor प्राप्त कर सकते हैं:

Answer 1

Lift एक अपेक्षाकृत नया योगदान है।

पैकेज खुद ही एक उदाहरण देता है:

-- | An applicative functor that collects a monoid (e.g. lists) of errors. 
-- A sequence of computations fails if any of its components do, but 
-- unlike monads made with 'ErrorT' from "Control.Monad.Trans.Error", 
-- these computations continue after an error, collecting all the errors. 
type Errors e = Lift (Constant e) 

-- | Report an error. 
failure :: Monoid e => e -> Errors e a 
failure e = Other (Constant e) 

मैं इस के किसी भी इन-द-जंगली का उपयोग करता है के बारे में पता नहीं है, लेकिन।