मैं डेटा के उदाहरण उत्पन्न करने के लिए जीएचसी कैसे प्राप्त कर सकता हूं। संदर्भ में टाइप करने योग्य जीएडीटी के लिए उपयुक्त?

Question

मान लीजिए मैं निम्नलिखित कोड है:

{-# LANGUAGE GADTs, DeriveDataTypeable, StandaloneDeriving #-} 
import Data.Typeable 

class Eq t => OnlyEq t 
class (Eq t, Typeable t) => BothEqAndTypeable t 

data Wrapper a where 
    Wrap :: BothEqAndTypeable a => a -> Wrapper a 

deriving instance Eq (Wrapper a) 
deriving instance Typeable1 Wrapper 

तब, निम्न उदाहरण घोषणा काम करता है, बिनाt पर एक बाधा:

instance OnlyEq (Wrapper t) 

और मैं इसे करने की उम्मीद क्या करता है।

---

लेकिन निम्नलिखित उदाहरण घोषणा काम नहीं करता:

instance BothEqAndTypeable (Wrapper t) 

GHC के बाद से - - मैं 7.6.1 का उपयोग कर रहा है कि शिकायत:

No instance for (Typeable t) 
    arising from the superclasses of an instance declaration 
Possible fix: 
    add (Typeable t) to the context of the instance declaration 
In the instance declaration for `BothEqAndTypeable (Wrapper t)' 

संदर्भ के लिए Typeable t जोड़ना काम करता है, ज़ाहिर है। लेकिन इसलिए निम्न उदाहरण जोड़ना:

instance Typeable (Wrapper t) where 
    typeOf (Wrap x) = typeOf1 (Wrap x) `mkAppTy` typeOf x 

क्या जीएचसी मेरे लिए यह बाद का उदाहरण लिखने का कोई तरीका है? यदि हां, तो कैसे? यदि नहीं, तो क्यों नहीं?

मुझे उम्मीद थी GHC Wrap निर्माता पर संदर्भ से Typeable बाधा खींचने के लिए, बस के रूप में यह Eq बाधा के साथ किया था सक्षम होगा। मुझे लगता है कि मेरी समस्याएं इस तथ्य को उबालती हैं कि जीएचसी स्पष्ट रूप से deriving instance Typeable (Wrapper t) लिखने की अनुमति नहीं देता है, और मानक (Typeable1 s, Typeable a) => Typeable (s a) उदाहरण Typeable a शब्दकोश खोजने के लिए s a पर 'अंदर देखो' नहीं हो सकता है।

Answer 1

मुझे उम्मीद थी GHC यदि यह एक Wrap निर्माता था Wrap निर्माता

पर संदर्भ से Typeable बाधा खींचने में सक्षम हो सकता है, यह इसे से Typeable बाधा खींच सकता है।

लेकिन इसमें Wrap कन्स्ट्रक्टर नहीं है।

अंतर यह है कि Eq उदाहरण मान का उपयोग करता है, इसलिए यह या तो एक Wrap something, जहां Wrap निर्माता लिपटे प्रकार के लिए Eq शब्दकोश उपलब्ध बनाता है, और सब कुछ ठीक है, या यह ⊥ है, और फिर सब कुछ भी ठीक है , x == y बोतलों का मूल्यांकन।

ध्यान दें कि व्युत्पन्न

instance Eq (Wrapper a) 

करता नहीं प्रकार चर a पर एक Eq बाधा है।

Prelude DerivT> (undefined :: Wrapper (Int -> Int)) == undefined 
*** Exception: Prelude.undefined 
Prelude DerivT> (undefined :: (Int -> Int)) == undefined 

<interactive>:3:29: 
    No instance for (Eq (Int -> Int)) arising from a use of `==' 
    Possible fix: add an instance declaration for (Eq (Int -> Int)) 
    In the expression: (undefined :: Int -> Int) == undefined 
    In an equation for `it': 
     it = (undefined :: Int -> Int) == undefined 

लेकिन Typeable उदाहरण मूल्य का उपयोग नहीं करना होगा, ताकि कोई बाहर bottoming अगर आपूर्ति मूल्य एक Wrap something नहीं है नहीं है।

इस प्रकार व्युत्पन्न instance Typeable1 Wrapper आपूर्ति

instance Typeable t => Typeable (Wrapper t) 

लेकिन अबाधित नहीं

instance Typeable (Wrapper t) 

और उस स्वेच्छापूर्ण उदाहरण GHC द्वारा प्राप्त नहीं किया जा सकता।

इसलिए आप या अबाधित

instance Typeable (Wrapper t) 

खुद के लिए या तो एक विवश

instance Typeable t => BothEqAndTypeable (Wrapper t) 

प्रदान करने के लिए है।