टाइपक्लास विधियों के लिए आप फिर से लिखने के नियम कैसे लिखते हैं?

Question

मन निम्नलिखित वर्ग:

class ListIsomorphic l where 
    toList :: l a -> [a] 
    fromList :: [a] -> l a 

मैं भी कि toList . fromList == id मांग करते हैं। जीएचसी को उस प्रतिस्थापन को बताने के लिए मैं फिर से लिखने के नियम कैसे लिखूं?

Answer 1

आप इस सरलीकरण लागू करने के लिए एक RULES pragma उपयोग कर सकते हैं, लेकिन आप a bit of extra work करना सुनिश्चित करें इससे पहले कि तुम्हारा करने का मौका दिया सामान्य विधि पुनर्लेखन नियम आग नहीं करना है:

{-# RULES 
    "protect toList" toList = toList'; 
    "protect fromList" fromList = fromList'; 
    "fromList/toList" forall x . fromList' (toList' x) = x; #-} 

{-# NOINLINE [0] fromList' #-} 
fromList' :: (ListIsomorphic l) => [a] -> l a 
fromList' = fromList 

{-# NOINLINE [0] toList' #-} 
toList' :: (ListIsomorphic l) => l a -> [a] 
toList' = toList 

यहां एक मूर्खतापूर्ण उदाहरण है पता चलता है कि यह काम करता है:

instance ListIsomorphic Maybe where 
    toList = error "toList" 
    fromList = error "fromList" 

test1 :: Maybe a -> Maybe a 
test1 x = fromList (toList x) 

main = print $ test1 $ Just "Hello" 

यह Just "Hello" प्रिंट बाहर erroring के बजाय। इसके अलावा, आप नियमों को फायरिंग देख सकते हैं:

$ ghc -O -ddump-rule-firings --make rewrite-method.hs 
[1 of 1] Compiling Main    (rewrite-method.hs, rewrite-method.o) 
Rule fired: protect toList 
Rule fired: protect fromList 
Rule fired: unpack 
Rule fired: unpack 
Rule fired: protect toList 
Rule fired: protect fromList 
Rule fired: fromList/toList 
Rule fired: unpack 
Rule fired: Class op show 
Rule fired: ># 
Rule fired: tagToEnum# 
Rule fired: Class op showsPrec 
Rule fired: Class op showList 
Rule fired: ++ 
Rule fired: unpack-list 
Rule fired: foldr/app 
Rule fired: unpack-list 
Rule fired: unpack-list 
Linking rewrite-method.exe ...