"डेटा पर फ़ैक्टर को कार्यान्वित करते समय" ऑर्ड के लिए कोई उदाहरण नहीं "। मैप.मैप

Question

मैं डेटा.मैप.मैप पर फ़ंक्शन एफएमएपी को कार्यान्वित करने का प्रयास कर रहा हूं, लेकिन मुझे एक त्रुटि मिल रही है। मुझे यकीन है कि इस काम को प्राप्त करने के लिए मुझे मानचित्र को सूची में बदलने की आवश्यकता नहीं है, लेकिन यह अब तक का सबसे अच्छा है।

class Functor' f where 
    fmap' :: (a -> b) -> f a -> f b 

instance Functor' (Map.Map k) where 
    fmap' f m 
     | Map.null m = Map.empty 
     | otherwise = let x:xs = Map.toList m 
          mtail = Map.fromList xs 
          a = fst x 
          b = snd x 
         in Map.insert a (f b) (fmap f mtail) 

त्रुटि:

No instance for (Ord k) 
    arising from a use of `Map.fromList' 
In the expression: Map.fromList xs 
In an equation for `mtail': mtail = Map.fromList xs 
In the expression: 
    let 
    x : xs = Map.toList m 
    mtail = Map.fromList xs 
    a = fst x 
    .... 
    in Map.insert a (f b) (fmap f mtail) 

कोई भी विचार?

Answer 1

त्रुटि ऑर्ड को टाइप-वेरिएबल के लिए आवंटित करने के कारण नहीं है। बस यह करें:

instance Ord k => Functor' (Map.Map k) where