Control.Monad.Morph.hoist क्यों एक मोनाद बाधा है?

Question

Control.Monad.Morph

class MFunctor t where 
    hoist :: Monad m => (forall a. m a -> n a) -> t m b -> t n b 

शामिल जहाँ तक मेरा बता सकते हैं, शामिल उदाहरणों में से कोई भी Monad m बाधा का उपयोग करें। कोई ऐसा कैसे कर सकता है? क्या वैध उदाहरण हैं जो बाधा का उपयोग करते हैं (यह कल्पना करना मेरे लिए थोड़ा मुश्किल है कि hoist id = id दिया गया)? m पर बाधा का महत्व क्या है और n नहीं है?

Answer 1

Control.Monad.Morphpipes से एक spinoff है, इसलिए मुझे लगता है कि चाहते हैं यह वहाँ है, क्योंकि Proxy के लिए MFunctor उदाहरण यह की जरूरत है ... और यकीन है कि पर्याप्त यह used there है।

instance MFunctor (Proxy a' a b' b) where 
    hoist nat p0 = go (observe p0) 
     where 
     go p = case p of 
      Request a' fa -> Request a' (\a -> go (fa a)) 
      Respond b fb' -> Respond b (\b' -> go (fb' b')) 
      M   m -> M (nat (m >>= \p' -> return (go p'))) 
      Pure r  -> Pure r 

मुझे नहीं लगता कि यह हालांकि आवश्यक है है। m >>= return . ffmap f m है। यह शायद Functor बाधा होना चाहिए और वह कोड मोनैड-आवेदक प्रस्ताव के कार्यान्वयन की भविष्यवाणी करता है।